Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 2033771936] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0816 geometric_solution 4.74857170 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 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 0 0 0 0 0 0 0 0 0 0.384482012471 0.232735676513 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.712069253797 0.919464984074 1 4 3 3 0132 0132 3012 1230 0 0 0 0 0 0 1 -1 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 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 1.307654617706 1.220840540132 2 2 4 1 3012 1230 0132 0132 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.307654617706 1.220840540132 5 2 5 3 0132 0132 1023 0132 0 0 0 0 0 0 1 -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 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.721740532394 0.765832084128 4 6 4 6 0132 0132 1023 1023 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 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.657685492161 0.160867016870 6 5 6 5 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.620559761925 0.051966557524 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : 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' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : 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' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_3'], '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_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], '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_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_3']), '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_0011_3, c_0101_0, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 529968758075678047608087499/4632918252248875599517888*c_0110_6^23 + 14217941623845829419429715009/4632918252248875599517888*c_0110_6^21 - 162372874379605286460188412837/4632918252248875599517888*c_0110_6\ ^19 + 124758091921947452043845315531/579114781531109449939736*c_011\ 0_6^17 - 3415485337167492504367643793499/4632918252248875599517888*\ c_0110_6^15 + 7019288903944689918088985840425/463291825224887559951\ 7888*c_0110_6^13 - 6648918375652081363995771638071/4632918252248875\ 599517888*c_0110_6^11 - 1503699782321123965418611425309/46329182522\ 48875599517888*c_0110_6^9 - 133636270383820438215799217413/23164591\ 26124437799758944*c_0110_6^7 + 1221507495199238345721221510369/2316\ 459126124437799758944*c_0110_6^5 - 668048043828536564446028058141/4632918252248875599517888*c_0110_6^3 + 23238346878035802350954695477/4632918252248875599517888*c_0110_6, c_0011_0 - 1, c_0011_1 + 444335036033899447203/72389347691388681242467*c_0110_6^22 - 11791805992082569426243/72389347691388681242467*c_0110_6^20 + 132696895527541925919091/72389347691388681242467*c_0110_6^18 - 797733595083446425335769/72389347691388681242467*c_0110_6^16 + 2625327053720684603766314/72389347691388681242467*c_0110_6^14 - 5079178539618271254330770/72389347691388681242467*c_0110_6^12 + 3939814555623370042148398/72389347691388681242467*c_0110_6^10 + 2762401091397267890821917/72389347691388681242467*c_0110_6^8 + 609215307354954356253679/72389347691388681242467*c_0110_6^6 - 1810491748223995231031039/72389347691388681242467*c_0110_6^4 + 49122903676449012671303/72389347691388681242467*c_0110_6^2 + 68414013394214251599873/72389347691388681242467, c_0011_3 + 109523068233430896609/72389347691388681242467*c_0110_6^22 - 2735607843898620007743/72389347691388681242467*c_0110_6^20 + 28144031246615133967453/72389347691388681242467*c_0110_6^18 - 144837793179242888397440/72389347691388681242467*c_0110_6^16 + 331761264283443577324257/72389347691388681242467*c_0110_6^14 - 190457713708679085901792/72389347691388681242467*c_0110_6^12 - 1156583846547445526379778/72389347691388681242467*c_0110_6^10 + 2547393177262626724492265/72389347691388681242467*c_0110_6^8 + 898257867615757338937720/72389347691388681242467*c_0110_6^6 - 313783639403968546750334/72389347691388681242467*c_0110_6^4 - 669256354381212848953157/72389347691388681242467*c_0110_6^2 + 86995994088096227791801/72389347691388681242467, c_0101_0 + 12667384418463293304827/144778695382777362484934*c_0110_6^23 - 339643888149473607495619/144778695382777362484934*c_0110_6^21 + 3875893739194586961680421/144778695382777362484934*c_0110_6^19 - 11899016559361332747904203/72389347691388681242467*c_0110_6^17 + 81292221058713913199402773/144778695382777362484934*c_0110_6^15 - 166655695837894956823012385/144778695382777362484934*c_0110_6^13 + 156806705856491763315081205/144778695382777362484934*c_0110_6^11 + 37432902427044690441535715/144778695382777362484934*c_0110_6^9 + 3925450517738262547192207/72389347691388681242467*c_0110_6^7 - 29072410600366571245508762/72389347691388681242467*c_0110_6^5 + 15336758931814284105804265/144778695382777362484934*c_0110_6^3 - 749702530975210559089885/144778695382777362484934*c_0110_6, c_0101_3 + 2625774635015285995172/72389347691388681242467*c_0110_6^23 - 70105014466465217977180/72389347691388681242467*c_0110_6^21 + 795462430503818199380667/72389347691388681242467*c_0110_6^19 - 4842911188784215581918004/72389347691388681242467*c_0110_6^17 + 16304038767589874029766669/72389347691388681242467*c_0110_6^15 - 32715496263502217129501655/72389347691388681242467*c_0110_6^13 + 28865022714831192003611562/72389347691388681242467*c_0110_6^11 + 78263908186089923639541/520786674038767490953*c_0110_6^9 + 3004123348484607468382520/72389347691388681242467*c_0110_6^7 - 11613033400272417958662239/72389347691388681242467*c_0110_6^5 + 1745254349230255769860266/72389347691388681242467*c_0110_6^3 + 86412505818109250857006/72389347691388681242467*c_0110_6, c_0101_4 - 1470887199179270273151/72389347691388681242467*c_0110_6^22 + 39436402098024756882731/72389347691388681242467*c_0110_6^20 - 450039743646383440491968/72389347691388681242467*c_0110_6^18 + 2763663833956949545402357/72389347691388681242467*c_0110_6^16 - 9445744212329100028504288/72389347691388681242467*c_0110_6^14 + 19398503500936219702878681/72389347691388681242467*c_0110_6^12 - 18377796232187443568748701/72389347691388681242467*c_0110_6^10 - 3990198343779379252260425/72389347691388681242467*c_0110_6^8 - 1220403496209621896252927/72389347691388681242467*c_0110_6^6 + 6565146171653863413627302/72389347691388681242467*c_0110_6^4 - 1807251287392843344426762/72389347691388681242467*c_0110_6^2 + 130695820887327687582273/72389347691388681242467, c_0110_6^24 - 27*c_0110_6^22 + 311*c_0110_6^20 - 1936*c_0110_6^18 + 6769*c_0110_6^16 - 14355*c_0110_6^14 + 14829*c_0110_6^12 + 671*c_0110_6^10 + 22*c_0110_6^8 - 4694*c_0110_6^6 + 2055*c_0110_6^4 - 263*c_0110_6^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB