Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 2867541637] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s182 geometric_solution 4.28010648 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.877736187796 0.668789379427 0 0 2 2 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195020564217 0.159103273116 1 3 1 4 2310 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326518480784 1.674504368690 5 2 4 5 0132 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379159498589 0.778720749286 5 3 2 5 2310 1230 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379159498589 0.778720749286 3 4 4 3 0132 2310 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.494567172159 1.038061902378 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 411561690544398632148999/1582772333547397666817920*c_0101_5^16 - 622325809399799520830721/1582772333547397666817920*c_0101_5^15 - 747593062055224833531513/197846541693424708352240*c_0101_5^14 + 2188347358486128768453617/791386166773698833408960*c_0101_5^13 + 1212879467270713774784929/56527583340978488100640*c_0101_5^12 - 3598144962489253037869167/395693083386849416704480*c_0101_5^11 - 35241543340156389609371557/395693083386849416704480*c_0101_5^10 + 22484402381617906328738291/1582772333547397666817920*c_0101_5^9 + 2332199903590940075934771/7293881721416579109760*c_0101_5^8 - 992378786353840174354505/79138616677369883340896*c_0101_5^7 - 1239456175938495895995544809/1582772333547397666817920*c_0101_5^6 - 48196398641252748065598669/791386166773698833408960*c_0101_5^5 + 380828369068478415647743209/395693083386849416704480*c_0101_5^4 + 11288089983562149215443387/39569308338684941670448*c_0101_5^3 - 29149102690592133164457421/98923270846712354176120*c_0101_5^2 - 357344134119874544373195/2473081771167808854403*c_0101_5 - 404956684368059962058981/24730817711678088544030, c_0011_0 - 1, c_0011_2 - 383107236826069938813/226110333363913952402560*c_0101_5^16 + 116550217311948199789/28263791670489244050320*c_0101_5^15 + 5009358327456005919223/226110333363913952402560*c_0101_5^14 - 9170392056333208529803/226110333363913952402560*c_0101_5^13 - 13544538823770977182697/113055166681956976201280*c_0101_5^12 + 41093966046100174863761/226110333363913952402560*c_0101_5^11 + 114009942304162756852291/226110333363913952402560*c_0101_5^10 - 134642846061960066788647/226110333363913952402560*c_0101_5^9 - 14080382859035773051779/7293881721416579109760*c_0101_5^8 + 21614068821571372740203/11305516668195697620128*c_0101_5^7 + 66489517051962079240193/14131895835244622025160*c_0101_5^6 - 56392446265667875742399/14131895835244622025160*c_0101_5^5 - 41221373339920414766031/7065947917622311012580*c_0101_5^4 + 4006755507818451728793/1413189583524462202516*c_0101_5^3 + 5913913734881314621844/1766486979405577753145*c_0101_5^2 - 127384980674194099977/706594791762231101258*c_0101_5 - 2083286212812481845704/1766486979405577753145, c_0011_4 + 537824445637599706557/226110333363913952402560*c_0101_5^16 - 1182395216960132554423/226110333363913952402560*c_0101_5^15 - 7021046695741295257547/226110333363913952402560*c_0101_5^14 + 2639049829830284957843/56527583340978488100640*c_0101_5^13 + 37040636903397464471581/226110333363913952402560*c_0101_5^12 - 43604939600494856957479/226110333363913952402560*c_0101_5^11 - 38064939067625498290981/56527583340978488100640*c_0101_5^10 + 32859418644468899160067/56527583340978488100640*c_0101_5^9 + 1134915758147348716001/455867607588536194360*c_0101_5^8 - 81690604964573553543695/45222066672782790480512*c_0101_5^7 - 325874914084877693803743/56527583340978488100640*c_0101_5^6 + 190822654415394121086389/56527583340978488100640*c_0101_5^5 + 84342883739318440358603/14131895835244622025160*c_0101_5^4 - 585740813702848123775/353297395881115550629*c_0101_5^3 - 7582859204161532698949/7065947917622311012580*c_0101_5^2 + 96629841574332325077/706594791762231101258*c_0101_5 + 328883163756637484851/1766486979405577753145, c_0101_0 + 224011131905843441031/452220666727827904805120*c_0101_5^16 - 270174680358187098053/56527583340978488100640*c_0101_5^15 - 1309918026813851751061/452220666727827904805120*c_0101_5^14 + 30904052220501308833281/452220666727827904805120*c_0101_5^13 + 3665119249189873448899/226110333363913952402560*c_0101_5^12 - 172464132418004267695107/452220666727827904805120*c_0101_5^11 - 47005949117510072963497/452220666727827904805120*c_0101_5^10 + 683835276786422949665909/452220666727827904805120*c_0101_5^9 + 10278921837645522162153/14587763442833158219520*c_0101_5^8 - 119740240910747852022709/22611033336391395240256*c_0101_5^7 - 68038661160863013221501/28263791670489244050320*c_0101_5^6 + 368521067975606453974823/28263791670489244050320*c_0101_5^5 + 64194938879546676210737/14131895835244622025160*c_0101_5^4 - 43181099234774071920043/2826379167048924405032*c_0101_5^3 - 9695021975492321278644/1766486979405577753145*c_0101_5^2 + 1244300869227396026438/353297395881115550629*c_0101_5 + 2795064686427032119104/1766486979405577753145, c_0101_1 + 1090262206401321993849/452220666727827904805120*c_0101_5^16 - 979677117463768283043/226110333363913952402560*c_0101_5^15 - 13505726957423121864179/452220666727827904805120*c_0101_5^14 + 10724922693738580248969/452220666727827904805120*c_0101_5^13 + 262194200687722249212/1766486979405577753145*c_0101_5^12 - 18328086711749705813393/452220666727827904805120*c_0101_5^11 - 273272204405220843186433/452220666727827904805120*c_0101_5^10 - 10057514626280546062539/452220666727827904805120*c_0101_5^9 + 30510386207189914011097/14587763442833158219520*c_0101_5^8 + 15294617114603782459563/45222066672782790480512*c_0101_5^7 - 28916133605705204423941/7065947917622311012580*c_0101_5^6 - 76713545453729457106063/28263791670489244050320*c_0101_5^5 + 22225144334621879840919/7065947917622311012580*c_0101_5^4 + 4572928993236012037461/706594791762231101258*c_0101_5^3 + 4534225009403852510623/3532973958811155506290*c_0101_5^2 - 648909100736722856111/353297395881115550629*c_0101_5 - 1027271649185500164149/1766486979405577753145, c_0101_5^17 - 4/3*c_0101_5^16 - 15*c_0101_5^15 + 25/3*c_0101_5^14 + 262/3*c_0101_5^13 - 67/3*c_0101_5^12 - 1097/3*c_0101_5^11 + 1/3*c_0101_5^10 + 3931/3*c_0101_5^9 + 484/3*c_0101_5^8 - 3276*c_0101_5^7 - 768*c_0101_5^6 + 12896/3*c_0101_5^5 + 1824*c_0101_5^4 - 5312/3*c_0101_5^3 - 1024*c_0101_5^2 + 512/3*c_0101_5 + 512/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB