Magma V2.19-8 Tue Aug 20 2013 16:14:34 on localhost [Seed = 2513701274] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s557 geometric_solution 4.99334890 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 2 0132 0132 1023 1023 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 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.395884264001 0.327747745865 0 3 0 4 0132 0132 1023 0132 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 -1 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.501249850213 1.240796939601 3 0 4 0 3201 0132 3201 1023 0 0 0 0 0 1 -1 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 0 0 0 0 0.501249850213 1.240796939601 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 -1 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 -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 -0.039776492185 1.041590025402 2 5 1 5 2310 0132 0132 1023 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 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.810441062902 1.421807462057 5 4 5 4 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448733637229 0.186219223461 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 407224938384352570224624391476/2406900730407724563687050177*c_0110_\ 5^17 + 1312395024078160602463538374095/4813801460815449127374100354\ *c_0110_5^16 + 1402481499652586307784693010715/24069007304077245636\ 87050177*c_0110_5^15 - 2588779775785739917810162789477/240690073040\ 7724563687050177*c_0110_5^14 + 2297433167453799306815041243290/2406\ 900730407724563687050177*c_0110_5^13 - 10171153904199761090610929542529/2406900730407724563687050177*c_011\ 0_5^12 + 18161260720604672952230839293003/4813801460815449127374100\ 354*c_0110_5^11 + 22455610185013668584282422410696/2406900730407724\ 563687050177*c_0110_5^10 - 73080286064672722153236969316563/4813801\ 460815449127374100354*c_0110_5^9 + 17389669926836864668773057829887/4813801460815449127374100354*c_011\ 0_5^8 - 1414484244711408098158360275440/240690073040772456368705017\ 7*c_0110_5^7 + 12135341102935915268620704614478/2406900730407724563\ 687050177*c_0110_5^6 - 1014742707238962099685602581598/240690073040\ 7724563687050177*c_0110_5^5 - 1633949304495086889725170740113/24069\ 00730407724563687050177*c_0110_5^4 - 3842556102825789349923239740028/2406900730407724563687050177*c_0110\ _5^3 + 222938385687769288881367739416/2406900730407724563687050177*\ c_0110_5^2 + 218656300702304793247091881369/24069007304077245636870\ 50177*c_0110_5 + 184431943598339612026597146785/2406900730407724563\ 687050177, c_0011_0 - 1, c_0011_4 - 7896600361831708032478417773/2406900730407724563687050177*c_\ 0110_5^17 + 11943074895317377037788571010/2406900730407724563687050\ 177*c_0110_5^16 + 27358583275948407069093998184/2406900730407724563\ 687050177*c_0110_5^15 - 47173662245244536537382289635/2406900730407\ 724563687050177*c_0110_5^14 + 44086275987825769035524516691/2406900\ 730407724563687050177*c_0110_5^13 - 194063203700822342478035453451/2406900730407724563687050177*c_0110_\ 5^12 + 160121695727416729591020660323/2406900730407724563687050177*\ c_0110_5^11 + 430551504567580590009273661944/2406900730407724563687\ 050177*c_0110_5^10 - 671641271475791945741230094998/240690073040772\ 4563687050177*c_0110_5^9 + 157678036353231957892681679236/240690073\ 0407724563687050177*c_0110_5^8 - 32679472622414621189928200625/2406\ 900730407724563687050177*c_0110_5^7 + 214925474339426295393818712048/2406900730407724563687050177*c_0110_\ 5^6 - 16088699852638246158401253399/2406900730407724563687050177*c_\ 0110_5^5 - 29644189803670236157349837815/24069007304077245636870501\ 77*c_0110_5^4 - 60805743361437766248666434038/240690073040772456368\ 7050177*c_0110_5^3 + 6485370885750672900022445745/24069007304077245\ 63687050177*c_0110_5^2 + 4078380032087902070893326188/2406900730407\ 724563687050177*c_0110_5 + 1877402568290118329259383089/24069007304\ 07724563687050177, c_0101_0 - 4663531864919343559040540586/2406900730407724563687050177*c_\ 0110_5^17 + 5609016302526933528596211891/24069007304077245636870501\ 77*c_0110_5^16 + 18336891252334360164039998685/24069007304077245636\ 87050177*c_0110_5^15 - 23236595987953154562857733666/24069007304077\ 24563687050177*c_0110_5^14 + 18077618998076681348546505366/24069007\ 30407724563687050177*c_0110_5^13 - 105492965272518011930433556161/2406900730407724563687050177*c_0110_\ 5^12 + 56330189602841999103834209144/2406900730407724563687050177*c\ _0110_5^11 + 286453875590765184000553062126/24069007304077245636870\ 50177*c_0110_5^10 - 327301115457041213825128304802/2406900730407724\ 563687050177*c_0110_5^9 - 19198328667714395362562459544/24069007304\ 07724563687050177*c_0110_5^8 + 27694296322861059284722885081/240690\ 0730407724563687050177*c_0110_5^7 + 80713490904650909798181516489/2406900730407724563687050177*c_0110_5\ ^6 + 48573855064724959342763415797/2406900730407724563687050177*c_0\ 110_5^5 - 20063251412255359663666777201/240690073040772456368705017\ 7*c_0110_5^4 - 35390074987396441106342765884/2406900730407724563687\ 050177*c_0110_5^3 - 10392735073421489496490305854/24069007304077245\ 63687050177*c_0110_5^2 + 3091816981066525695163493668/2406900730407\ 724563687050177*c_0110_5 + 241125244851438023052182443/240690073040\ 7724563687050177, c_0101_1 - 1434787345682378150155170624/2406900730407724563687050177*c_\ 0110_5^17 + 5264372767928719673665148040/24069007304077245636870501\ 77*c_0110_5^16 + 757792046439650821700976723/2406900730407724563687\ 050177*c_0110_5^15 - 18542550581163899357743603550/2406900730407724\ 563687050177*c_0110_5^14 + 24097290248578505371783772200/2406900730\ 407724563687050177*c_0110_5^13 - 55430361573096623209972358909/2406\ 900730407724563687050177*c_0110_5^12 + 105685694521407372904132861986/2406900730407724563687050177*c_0110_\ 5^11 + 21592328711217271298585638972/2406900730407724563687050177*c\ _0110_5^10 - 269874965953630698565010312075/24069007304077245636870\ 50177*c_0110_5^9 + 265427832873419438288722184745/24069007304077245\ 63687050177*c_0110_5^8 - 105243092137230932645190715316/24069007304\ 07724563687050177*c_0110_5^7 + 91528242343509035994657139755/240690\ 0730407724563687050177*c_0110_5^6 - 68731622783292471911482616071/2406900730407724563687050177*c_0110_5\ ^5 + 9250744568983610551737990995/2406900730407724563687050177*c_01\ 10_5^4 - 25128801783217998927880523848/2406900730407724563687050177\ *c_0110_5^3 + 16313001577792997951802396071/24069007304077245636870\ 50177*c_0110_5^2 - 1989251777750948934978539968/2406900730407724563\ 687050177*c_0110_5 + 2419127890012946182476164479/24069007304077245\ 63687050177, c_0101_2 + 9352392320682458432989424343/2406900730407724563687050177*c_\ 0110_5^17 - 14750508249770212895635580742/2406900730407724563687050\ 177*c_0110_5^16 - 32658736759977820488759895167/2406900730407724563\ 687050177*c_0110_5^15 + 58552667651848554722983925194/2406900730407\ 724563687050177*c_0110_5^14 - 51478428423247860175474661682/2406900\ 730407724563687050177*c_0110_5^13 + 231265971366363698485366028414/2406900730407724563687050177*c_0110_\ 5^12 - 198955023638557582787420703985/2406900730407724563687050177*\ c_0110_5^11 - 523315981923719700475417432715/2406900730407724563687\ 050177*c_0110_5^10 + 828273567980562641797784729239/240690073040772\ 4563687050177*c_0110_5^9 - 182512669924659894194078673988/240690073\ 0407724563687050177*c_0110_5^8 + 16537260096236750878417873895/2406\ 900730407724563687050177*c_0110_5^7 - 250583788999290062407972007538/2406900730407724563687050177*c_0110_\ 5^6 + 1378428174187224199471200514/2406900730407724563687050177*c_0\ 110_5^5 + 44076065322768058376873433333/240690073040772456368705017\ 7*c_0110_5^4 + 79326121768294092641488988641/2406900730407724563687\ 050177*c_0110_5^3 - 4161819760607026751724644579/240690073040772456\ 3687050177*c_0110_5^2 - 2929974937687722874863204299/24069007304077\ 24563687050177*c_0110_5 - 1984676271246458585896097212/240690073040\ 7724563687050177, c_0110_5^18 - 5/3*c_0110_5^17 - 10/3*c_0110_5^16 + 176/27*c_0110_5^15 - 164/27*c_0110_5^14 + 686/27*c_0110_5^13 - 214/9*c_0110_5^12 - 1442/27*c_0110_5^11 + 832/9*c_0110_5^10 - 745/27*c_0110_5^9 + 19/3*c_0110_5^8 - 271/9*c_0110_5^7 + 109/27*c_0110_5^6 + 94/27*c_0110_5^5 + 245/27*c_0110_5^4 - c_0110_5^3 - 1/3*c_0110_5^2 - 11/27*c_0110_5 + 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB