Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 1014866138] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1861 geometric_solution 5.49616339 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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.512867063877 0.313411072093 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 1 -1 0 1 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.067467582556 0.554140915184 1 4 4 5 0132 0132 3201 0132 0 0 0 0 0 -1 1 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 1 -1 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.767848097699 0.508262919401 5 4 4 1 0132 2310 1023 0132 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 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.767848097699 0.508262919401 2 2 3 3 2310 0132 1023 3201 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 -1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.094435347195 0.599421858985 3 6 2 6 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.125459554413 0.647584347665 5 5 6 6 3201 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563190869556 0.232632515700 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 2295451681967842524229912972831124365358/46737658975394531257144059\ 1580934316941*c_0110_6^15 + 146789834322029014353737483507575303956\ 29/133536168501127232163268740451695519126*c_0110_6^14 - 1378440523920828354232321472456355102433339/93475317950789062514288\ 1183161868633882*c_0110_6^13 + 201037979135364683265001221341336559\ 9267901/155792196584648437523813530526978105647*c_0110_6^12 - 24160776100952273613678677482088694373401275/3115843931692968750476\ 27061053956211294*c_0110_6^11 + 15309885429613300006111975192284608\ 7588452129/467376589753945312571440591580934316941*c_0110_6^10 - 900529247713166415417384367141904526777323411/934753179507890625142\ 881183161868633882*c_0110_6^9 + 18111776354967523023193014612901445\ 61213363649/934753179507890625142881183161868633882*c_0110_6^8 - 175188276886724721997425632879618938931597281/667680842505636160816\ 34370225847759563*c_0110_6^7 + 363772308111060536331417512585723381\ 198562942/155792196584648437523813530526978105647*c_0110_6^6 - 596709166592179386880850453366620699574467775/467376589753945312571\ 440591580934316941*c_0110_6^5 + 30923643997834823379026512137558868\ 1032773019/934753179507890625142881183161868633882*c_0110_6^4 + 12500646873141522650816569477020348847701383/3115843931692968750476\ 27061053956211294*c_0110_6^3 - 842079747309026988178954972479153328\ 8323992/155792196584648437523813530526978105647*c_0110_6^2 + 6917345785052809874765340773997381206828986/46737658975394531257144\ 0591580934316941*c_0110_6 - 178101295511784352388828855146827694552\ 1267/934753179507890625142881183161868633882, c_0011_0 - 1, c_0011_1 - 1275925686089463009665966865/97906181051981519494995092029*c\ _0110_6^15 + 27224115661982943165623109981/979061810519815194949950\ 92029*c_0110_6^14 - 354448384217843579386877891739/9790618105198151\ 9494995092029*c_0110_6^13 + 2977626174645534306684957858898/9790618\ 1051981519494995092029*c_0110_6^12 - 16975941524888962377469703445290/97906181051981519494995092029*c_01\ 10_6^11 + 66879218117107857861145578812301/979061810519815194949950\ 92029*c_0110_6^10 - 177636660128481776485170162608272/9790618105198\ 1519494995092029*c_0110_6^9 + 306818904313154229128004080743277/979\ 06181051981519494995092029*c_0110_6^8 - 331701749313159049310942663135318/97906181051981519494995092029*c_0\ 110_6^7 + 208424788276639693790285739623578/97906181051981519494995\ 092029*c_0110_6^6 - 56238260525417557905096094918607/97906181051981\ 519494995092029*c_0110_6^5 - 12175129907929694372512158782697/97906\ 181051981519494995092029*c_0110_6^4 + 12280700632878178623579605489367/97906181051981519494995092029*c_01\ 10_6^3 - 2488067676249132500325165985288/97906181051981519494995092\ 029*c_0110_6^2 + 95434875907193966915134527180/97906181051981519494\ 995092029*c_0110_6 + 112999286852550384158396619002/979061810519815\ 19494995092029, c_0101_0 + 2628086528098041260810167100734/4885518434493877822800255092\ 2471*c_0110_6^15 - 55639479087143468399788282382666/488551843449387\ 78228002550922471*c_0110_6^14 + 721294447135856892641999778229463/4\ 8855184344938778228002550922471*c_0110_6^13 - 6022603958818424854753325911913697/48855184344938778228002550922471\ *c_0110_6^12 + 34081852867215383390065127898693827/4885518434493877\ 8228002550922471*c_0110_6^11 - 133026631952499222568455763055353491\ /48855184344938778228002550922471*c_0110_6^10 + 348843361932538915195946534747291447/488551843449387782280025509224\ 71*c_0110_6^9 - 592642075148355849247817777305017155/48855184344938\ 778228002550922471*c_0110_6^8 + 62956975470318529111881927715639858\ 7/48855184344938778228002550922471*c_0110_6^7 - 391292076831914057781907414057667849/488551843449387782280025509224\ 71*c_0110_6^6 + 108743105149426697495717630095631848/48855184344938\ 778228002550922471*c_0110_6^5 + 16215167223323227478434577059125725\ /48855184344938778228002550922471*c_0110_6^4 - 18751878544984816988074502880783363/4885518434493877822800255092247\ 1*c_0110_6^3 + 4027065781500499031349760756636000/48855184344938778\ 228002550922471*c_0110_6^2 - 360216006857053598919086193444329/4885\ 5184344938778228002550922471*c_0110_6 - 118028232417765377718173925689290/48855184344938778228002550922471, c_0101_1 + 3124249473863585079141066513/97906181051981519494995092029*c\ _0110_6^15 - 66675638148136367597126578309/979061810519815194949950\ 92029*c_0110_6^14 + 868291087457190183489239737734/9790618105198151\ 9494995092029*c_0110_6^13 - 7296614224555678645160159950971/9790618\ 1051981519494995092029*c_0110_6^12 + 41620792849517169309718395547959/97906181051981519494995092029*c_01\ 10_6^11 - 164110003615521362920668474098906/97906181051981519494995\ 092029*c_0110_6^10 + 436552334447249641284278604265496/979061810519\ 81519494995092029*c_0110_6^9 - 756251805134908428615713438793563/97\ 906181051981519494995092029*c_0110_6^8 + 822335938585467338453511007613253/97906181051981519494995092029*c_0\ 110_6^7 - 522713457707124529161299493952272/97906181051981519494995\ 092029*c_0110_6^6 + 145865631062534332556719946085876/9790618105198\ 1519494995092029*c_0110_6^5 + 26804924988317296947611272569973/9790\ 6181051981519494995092029*c_0110_6^4 - 28979647659924214066495925326809/97906181051981519494995092029*c_01\ 10_6^3 + 5735263777076987868493083790221/97906181051981519494995092\ 029*c_0110_6^2 - 226038064227045246303639214165/9790618105198151949\ 4995092029*c_0110_6 - 134679631640666102618364700085/97906181051981\ 519494995092029, c_0101_3 - 195596919078707938224978028/97906181051981519494995092029*c_\ 0110_6^15 + 4150424639185521322796457258/97906181051981519494995092\ 029*c_0110_6^14 - 53818592449263467586767654019/9790618105198151949\ 4995092029*c_0110_6^13 + 449585097747079999923269517314/97906181051\ 981519494995092029*c_0110_6^12 - 2542902908984725831770685410912/97\ 906181051981519494995092029*c_0110_6^11 + 9904774093807480201170779360673/97906181051981519494995092029*c_011\ 0_6^10 - 25836238508078968610008822807665/9790618105198151949499509\ 2029*c_0110_6^9 + 43317880560543507746437967633941/9790618105198151\ 9494995092029*c_0110_6^8 - 44774270562092306365798942190223/9790618\ 1051981519494995092029*c_0110_6^7 + 26794837861339217381628549973754/97906181051981519494995092029*c_01\ 10_6^6 - 7720617340281601134946594087658/97906181051981519494995092\ 029*c_0110_6^5 - 61360109429199324046078755135/97906181051981519494\ 995092029*c_0110_6^4 + 736129402732998503792849954773/9790618105198\ 1519494995092029*c_0110_6^3 - 396896335624962632304460164555/979061\ 81051981519494995092029*c_0110_6^2 + 81838704867244557652933283674/97906181051981519494995092029*c_0110_\ 6 + 13980145589641775974022344941/97906181051981519494995092029, c_0101_4 - 3467004645935454233204771888795/4885518434493877822800255092\ 2471*c_0110_6^15 + 73071033738021916671882041502988/488551843449387\ 78228002550922471*c_0110_6^14 - 944766522776077659163910534121225/4\ 8855184344938778228002550922471*c_0110_6^13 + 7858668894792402100435754233804745/48855184344938778228002550922471\ *c_0110_6^12 - 44256137306445097823575915635418902/4885518434493877\ 8228002550922471*c_0110_6^11 + 171614186044672702783598534882725536\ /48855184344938778228002550922471*c_0110_6^10 - 445624121845997776039447906182372191/488551843449387782280025509224\ 71*c_0110_6^9 + 745597220741035078354334027718343952/48855184344938\ 778228002550922471*c_0110_6^8 - 77335506388675022291688534933402283\ 5/48855184344938778228002550922471*c_0110_6^7 + 460311982352985683660756273458177072/488551843449387782280025509224\ 71*c_0110_6^6 - 110887248007810948585086261779451374/48855184344938\ 778228002550922471*c_0110_6^5 - 30611956185160157354284692987648278\ /48855184344938778228002550922471*c_0110_6^4 + 24127302145727528652757833605359956/4885518434493877822800255092247\ 1*c_0110_6^3 - 4004790669955185631375516648539369/48855184344938778\ 228002550922471*c_0110_6^2 + 153945311040280073517384893557803/4885\ 5184344938778228002550922471*c_0110_6 + 137704222567485354996878756242350/48855184344938778228002550922471, c_0110_6^16 - 22*c_0110_6^15 + 292*c_0110_6^14 - 2519*c_0110_6^13 + 14866*c_0110_6^12 - 61349*c_0110_6^11 + 174576*c_0110_6^10 - 334981*c_0110_6^9 + 424680*c_0110_6^8 - 343456*c_0110_6^7 + 158974*c_0110_6^6 - 22902*c_0110_6^5 - 14813*c_0110_6^4 + 7814*c_0110_6^3 - 1205*c_0110_6^2 - 4*c_0110_6 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB