Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 2513701239] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0542 geometric_solution 4.56412312 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -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.424974422156 0.042737101017 0 2 0 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.712753641360 0.622924868838 1 1 3 3 3201 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 0 -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.607198303290 2.541342122915 2 4 5 2 3201 0132 0132 0132 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 0 0 0 -1 0 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.408747530491 0.171817736305 5 3 5 6 2031 0132 2103 0132 0 0 0 0 0 0 0 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 -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.796353447040 0.764578824597 4 6 4 3 2103 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.796353447040 0.764578824597 6 5 4 6 3201 0132 0132 2310 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 0 -1 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.953901273709 0.479021491081 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : 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' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : 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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_5'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_5'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1191688442235920515689830/238792674393842027560981*c_1001_3^15 - 1669500866924932587745/19321358879670040259*c_1001_3^14 - 126890416304622628962793820/238792674393842027560981*c_1001_3^13 - 290903775618669591643569770/238792674393842027560981*c_1001_3^12 + 100365915279486868999767834/238792674393842027560981*c_1001_3^11 + 1428048182106661761206663122/238792674393842027560981*c_1001_3^10 + 1709873044510970483119379577/238792674393842027560981*c_1001_3^9 - 1096812246006931369197279841/238792674393842027560981*c_1001_3^8 - 4591596452850413229641386093/238792674393842027560981*c_1001_3^7 - 1075627319435396454650106317/238792674393842027560981*c_1001_3^6 + 4441098975374658479591752491/238792674393842027560981*c_1001_3^5 - 191122327230488691596213543/21708424944894729778271*c_1001_3^4 + 1968774097120484485707647001/238792674393842027560981*c_1001_3^3 - 587454496225660150387851676/238792674393842027560981*c_1001_3^2 - 314425722422673049640085324/238792674393842027560981*c_1001_3 + 59014282884012154653178874/238792674393842027560981, c_0011_0 - 1, c_0011_3 + 59883923118640770039983/898984185953287633170752*c_1001_3^15 + 721287680225726492729/618283484149441288288*c_1001_3^14 + 6590355927588726555393129/898984185953287633170752*c_1001_3^13 + 16028712464620418048019975/898984185953287633170752*c_1001_3^12 - 296022421671748635636741/224746046488321908292688*c_1001_3^11 - 35052053824996857079233739/449492092976643816585376*c_1001_3^10 - 98896404921825634315089443/898984185953287633170752*c_1001_3^9 + 2662981087430277784075099/81725835086662512106432*c_1001_3^8 + 111794907584754366190761295/449492092976643816585376*c_1001_3^7 + 11777033267477794918516467/112373023244160954146344*c_1001_3^6 - 2888677404410206976044452/14046627905520119268293*c_1001_3^5 + 44689562386860583145232087/449492092976643816585376*c_1001_3^4 - 88769627621949765511027289/898984185953287633170752*c_1001_3^3 + 7441520894996006448901637/449492092976643816585376*c_1001_3^2 + 13446197048633081266204465/898984185953287633170752*c_1001_3 - 3309758592405540842537327/898984185953287633170752, c_0011_5 - 161150811964141566843301/1797968371906575266341504*c_1001_3^\ 15 - 1927362440248230299395/1236566968298882576576*c_1001_3^14 - 17378758809579480637647875/1797968371906575266341504*c_1001_3^13 - 3708761564478857363608295/163451670173325024212864*c_1001_3^12 + 2378197492699733867461599/449492092976643816585376*c_1001_3^11 + 95525159925253618037772297/898984185953287633170752*c_1001_3^10 + 244060136544295334396340609/1797968371906575266341504*c_1001_3^9 - 121317451546382776887577955/1797968371906575266341504*c_1001_3^8 - 305504251211692964158287445/898984185953287633170752*c_1001_3^7 - 22958783340330259749596021/224746046488321908292688*c_1001_3^6 + 17511517545955323173839053/56186511622080477073172*c_1001_3^5 - 136228138085966924331747341/898984185953287633170752*c_1001_3^4 + 252128542037180301557330195/1797968371906575266341504*c_1001_3^3 - 32301109845179315120988439/898984185953287633170752*c_1001_3^2 - 39910757426871697842759355/1797968371906575266341504*c_1001_3 + 9707497465071855617027973/1797968371906575266341504, c_0101_0 - 117211035624000083513357/898984185953287633170752*c_1001_3^1\ 5 - 1397847211481198376651/618283484149441288288*c_1001_3^14 - 12536367945649533643047547/898984185953287633170752*c_1001_3^13 - 28995618622916901140963925/898984185953287633170752*c_1001_3^12 + 2180385229544856520852175/224746046488321908292688*c_1001_3^11 + 69757712854364464987552129/449492092976643816585376*c_1001_3^10 + 170997778017703076735059177/898984185953287633170752*c_1001_3^9 - 9094521787726039229846801/81725835086662512106432*c_1001_3^8 - 222933484090505612614935501/449492092976643816585376*c_1001_3^7 - 14127593344477396690893801/112373023244160954146344*c_1001_3^6 + 6611412507246137776464538/14046627905520119268293*c_1001_3^5 - 105374648733369996313811909/449492092976643816585376*c_1001_3^4 + 189087015121894812189819723/898984185953287633170752*c_1001_3^3 - 26157462585716546129430287/449492092976643816585376*c_1001_3^2 - 29715763300138514876257619/898984185953287633170752*c_1001_3 + 7504993024639030738528973/898984185953287633170752, c_0101_1 - 95987290076412970099973/1797968371906575266341504*c_1001_3^1\ 5 - 1146674439436809001635/1236566968298882576576*c_1001_3^14 - 10316063604175881510081955/1797968371906575266341504*c_1001_3^13 - 24060575201154074531304141/1797968371906575266341504*c_1001_3^12 + 1590668881008225340087231/449492092976643816585376*c_1001_3^11 + 57147126923569843142523369/898984185953287633170752*c_1001_3^10 + 143543812980386186043501921/1797968371906575266341504*c_1001_3^9 - 76908342450510757927249155/1797968371906575266341504*c_1001_3^8 - 183582625225160108174205365/898984185953287633170752*c_1001_3^7 - 13118368052768140791685461/224746046488321908292688*c_1001_3^6 + 10678589011941663405372525/56186511622080477073172*c_1001_3^5 - 79767767284212776632683053/898984185953287633170752*c_1001_3^4 + 154863629965338556728148915/1797968371906575266341504*c_1001_3^3 - 22446060510466268940848695/898984185953287633170752*c_1001_3^2 - 24030388078295554205892699/1797968371906575266341504*c_1001_3 + 4718198517884243014764773/1797968371906575266341504, c_0101_6 + 7568859919294976804479/449492092976643816585376*c_1001_3^15 + 90669450070147391089/309141742074720644144*c_1001_3^14 + 820744236239074953906761/449492092976643816585376*c_1001_3^13 + 1953909804156807819602199/449492092976643816585376*c_1001_3^12 - 73024286156587263950145/112373023244160954146344*c_1001_3^11 - 4347238164693426626815523/224746046488321908292688*c_1001_3^10 - 11534173685785550747502915/449492092976643816585376*c_1001_3^9 + 4504092323668767478579577/449492092976643816585376*c_1001_3^8 + 1221383506566092422013109/20431458771665628026608*c_1001_3^7 + 1071053717366363269968173/56186511622080477073172*c_1001_3^6 - 1462689163792101331990339/28093255811040238536586*c_1001_3^5 + 7595392181007157612596319/224746046488321908292688*c_1001_3^4 - 12372358014735405000533497/449492092976643816585376*c_1001_3^3 + 1615027071293415157529333/224746046488321908292688*c_1001_3^2 + 1525554643075885725747233/449492092976643816585376*c_1001_3 - 593795910011117439719471/449492092976643816585376, c_1001_3^16 + 17*c_1001_3^15 + 101*c_1001_3^14 + 210*c_1001_3^13 - 165*c_1001_3^12 - 1182*c_1001_3^11 - 1059*c_1001_3^10 + 1412*c_1001_3^9 + 3627*c_1001_3^8 - 314*c_1001_3^7 - 4136*c_1001_3^6 + 2866*c_1001_3^5 - 2121*c_1001_3^4 + 957*c_1001_3^3 + 169*c_1001_3^2 - 144*c_1001_3 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB