Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 3953817544] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s324 geometric_solution 4.50513487 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 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.376905299304 0.184350984273 2 0 3 0 0132 2310 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482109062447 0.862842595797 1 3 4 3 0132 3201 0132 2310 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.434773298954 1.500209891577 2 4 2 1 3201 1023 2310 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 1 0 -1 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.434773298954 1.500209891577 3 5 5 2 1023 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311421266265 0.290309998360 4 4 5 5 2310 0132 2031 1302 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 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 1.072250295191 1.990939600509 ==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' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], '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' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 253143776732964485553114547/6926427528395457423425149*c_0101_5^14 - 1749243474894211221677043391/6926427528395457423425149*c_0101_5^13 + 10788820058017930986819709299/6926427528395457423425149*c_0101_5^12 - 1437967980682757211516487044/532802117568881340263473*c_0101_5^11 - 37533388858222747103211172165/6926427528395457423425149*c_0101_5^\ 10 + 242803994209950600159306126049/6926427528395457423425149*c_010\ 1_5^9 - 80879014638165762256842461720/6926427528395457423425149*c_0\ 101_5^8 - 297247485172913098717291587388/6926427528395457423425149*\ c_0101_5^7 + 1407207231388017152076205750/532802117568881340263473*\ c_0101_5^6 - 93559077364691017600486924119/692642752839545742342514\ 9*c_0101_5^5 + 96559562327934682828400346114/6926427528395457423425\ 149*c_0101_5^4 - 38905206855090302594471357950/69264275283954574234\ 25149*c_0101_5^3 + 20948850346199374773744505168/692642752839545742\ 3425149*c_0101_5^2 - 6521182337685725891606111679/69264275283954574\ 23425149*c_0101_5 + 2881009700707290966208539162/692642752839545742\ 3425149, c_0011_0 - 1, c_0011_1 + 57616515045988462233473/532802117568881340263473*c_0101_5^14 + 423237590802711044238405/532802117568881340263473*c_0101_5^13 - 2278433007343173873145157/532802117568881340263473*c_0101_5^12 + 246813851337032800160089/40984778274529333866421*c_0101_5^11 + 10227470458477087732667532/532802117568881340263473*c_0101_5^10 - 51196733685365922998550922/532802117568881340263473*c_0101_5^9 - 5236034802067617712693341/532802117568881340263473*c_0101_5^8 + 71851854359734365786414711/532802117568881340263473*c_0101_5^7 + 2163368420132902661975422/40984778274529333866421*c_0101_5^6 + 23607010152099641035053902/532802117568881340263473*c_0101_5^5 - 15524249655335282576963007/532802117568881340263473*c_0101_5^4 - 39017230539580603063836/532802117568881340263473*c_0101_5^3 - 2187350278073036934328189/532802117568881340263473*c_0101_5^2 + 1221478847192799479263687/532802117568881340263473*c_0101_5 - 155558136557420898717916/532802117568881340263473, c_0011_3 - 14994343431677318462409/532802117568881340263473*c_0101_5^14 - 113573045270188275791154/532802117568881340263473*c_0101_5^13 + 575227104450508684757192/532802117568881340263473*c_0101_5^12 - 49827548963808769200529/40984778274529333866421*c_0101_5^11 - 3169446570121336244536232/532802117568881340263473*c_0101_5^10 + 13262502487984836467824648/532802117568881340263473*c_0101_5^9 + 5532551162196705847923650/532802117568881340263473*c_0101_5^8 - 25577777694568634848188391/532802117568881340263473*c_0101_5^7 - 710427890338183105205113/40984778274529333866421*c_0101_5^6 + 1163458647257877263225561/532802117568881340263473*c_0101_5^5 + 897870593373520213280647/532802117568881340263473*c_0101_5^4 + 3700604082147552289690345/532802117568881340263473*c_0101_5^3 - 429976158217708379751291/532802117568881340263473*c_0101_5^2 + 1289352938224473341505863/532802117568881340263473*c_0101_5 - 44876130030933210886765/532802117568881340263473, c_0101_0 - 1273450736379968015125/532802117568881340263473*c_0101_5^14 + 5828612628260584659366/532802117568881340263473*c_0101_5^13 + 148821342093850251959931/532802117568881340263473*c_0101_5^12 - 59236489332435082783112/40984778274529333866421*c_0101_5^11 + 1117354427126607784022385/532802117568881340263473*c_0101_5^10 + 3216183286491181160082814/532802117568881340263473*c_0101_5^9 - 15905399038623907013994051/532802117568881340263473*c_0101_5^8 + 8255450502982417978373916/532802117568881340263473*c_0101_5^7 + 1704104890806242756648550/40984778274529333866421*c_0101_5^6 - 10495566358735671433686543/532802117568881340263473*c_0101_5^5 - 2705493428248450746884082/532802117568881340263473*c_0101_5^4 - 8481586066176334805574093/532802117568881340263473*c_0101_5^3 + 1635848788026874469516905/532802117568881340263473*c_0101_5^2 - 411373037333598285525423/532802117568881340263473*c_0101_5 + 309773182256902172843566/532802117568881340263473, c_0101_1 - 31914519610867091041165/532802117568881340263473*c_0101_5^14 - 230889247401920516332915/532802117568881340263473*c_0101_5^13 + 1286793421380453422055016/532802117568881340263473*c_0101_5^12 - 148487533962479271234862/40984778274529333866421*c_0101_5^11 - 5437560322592027906247871/532802117568881340263473*c_0101_5^10 + 29042389680016034139624386/532802117568881340263473*c_0101_5^9 - 682392493744717362969852/532802117568881340263473*c_0101_5^8 - 39469693804217086993189284/532802117568881340263473*c_0101_5^7 - 628354200904529201769367/40984778274529333866421*c_0101_5^6 - 13224557209315656919774653/532802117568881340263473*c_0101_5^5 + 5347638165970454316536479/532802117568881340263473*c_0101_5^4 - 2560527200535658649398409/532802117568881340263473*c_0101_5^3 + 973343398285583467331585/532802117568881340263473*c_0101_5^2 + 430023275068532382094329/532802117568881340263473*c_0101_5 + 128766152448494857975090/532802117568881340263473, c_0101_5^15 + 7*c_0101_5^14 - 42*c_0101_5^13 + 70*c_0101_5^12 + 155*c_0101_5^11 - 946*c_0101_5^10 + 233*c_0101_5^9 + 1205*c_0101_5^8 + 32*c_0101_5^7 + 361*c_0101_5^6 - 347*c_0101_5^5 + 118*c_0101_5^4 - 68*c_0101_5^3 + 18*c_0101_5^2 - 9*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB