Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 2227509349] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0572 geometric_solution 4.59319814 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 -1 2 0 0 -1 1 1 -2 0 1 1 -1 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 -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.292140310541 0.081425584532 0 2 0 2 0132 0132 1023 2310 0 0 0 0 0 -1 1 0 0 0 1 -1 -1 0 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 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.952384088660 3.853252600209 1 1 3 4 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 1 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 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 0.126496314897 0.303446894932 4 4 5 2 1023 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 1 -1 0 -1 0 1 -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 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482538422034 1.079591147847 3 3 2 5 1230 1023 0132 3201 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 0.482538422034 1.079591147847 6 4 6 3 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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 1.897750561839 1.117293877847 5 6 5 6 0132 1302 1023 2031 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.437534932276 0.311282240432 ==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' : negation(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_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' : negation(d['1']), 's_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], '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' : 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_0'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_4']), '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' : d['c_0101_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0011_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_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 4155603977481900517/1418218536929027319*c_0101_5^22 - 49775181976654013866/1418218536929027319*c_0101_5^20 - 46882416623794473328/1418218536929027319*c_0101_5^18 + 1495788062768592329968/1418218536929027319*c_0101_5^16 - 298965430083270624431/472739512309675773*c_0101_5^14 - 11542704469287447682600/1418218536929027319*c_0101_5^12 + 9622613991786879298586/1418218536929027319*c_0101_5^10 + 2593006717800013592050/1418218536929027319*c_0101_5^8 + 1656470518317205374487/1418218536929027319*c_0101_5^6 - 1216987807149267289123/1418218536929027319*c_0101_5^4 - 198310123499673466909/1418218536929027319*c_0101_5^2 + 38761318271525927032/1418218536929027319, c_0011_0 - 1, c_0011_3 + 84274494328027680/157579837436558591*c_0101_5^23 - 1018481952267066826/157579837436558591*c_0101_5^21 - 838493912438392856/157579837436558591*c_0101_5^19 + 30390860824960370706/157579837436558591*c_0101_5^17 - 21492407712420304754/157579837436558591*c_0101_5^15 - 230765209705539794474/157579837436558591*c_0101_5^13 + 219522208517826696073/157579837436558591*c_0101_5^11 + 21169327903417836474/157579837436558591*c_0101_5^9 + 36275635781734124908/157579837436558591*c_0101_5^7 - 26741337038868510021/157579837436558591*c_0101_5^5 + 875989756300732658/157579837436558591*c_0101_5^3 + 306040568169494322/157579837436558591*c_0101_5, c_0011_5 + 12405633972939859/157579837436558591*c_0101_5^22 - 151440569421584507/157579837436558591*c_0101_5^20 - 105622666684443534/157579837436558591*c_0101_5^18 + 4494833974482820999/157579837436558591*c_0101_5^16 - 3705539136833396935/157579837436558591*c_0101_5^14 - 33764309619834887670/157579837436558591*c_0101_5^12 + 36608102376048622362/157579837436558591*c_0101_5^10 + 518089696928924463/157579837436558591*c_0101_5^8 + 3488061643940960700/157579837436558591*c_0101_5^6 - 4392242167173588366/157579837436558591*c_0101_5^4 + 389008811400826242/157579837436558591*c_0101_5^2 + 159024319658561501/157579837436558591, c_0101_0 - 7424629354443623/157579837436558591*c_0101_5^22 + 88840772996784410/157579837436558591*c_0101_5^20 + 83955202546440905/157579837436558591*c_0101_5^18 - 2660758357661465119/157579837436558591*c_0101_5^16 + 1579559721259690350/157579837436558591*c_0101_5^14 + 20322366738335264323/157579837436558591*c_0101_5^12 - 16737362377130175872/157579837436558591*c_0101_5^10 - 2397177464727928289/157579837436558591*c_0101_5^8 - 5160419626144450163/157579837436558591*c_0101_5^6 + 1869980542055361695/157579837436558591*c_0101_5^4 - 51749177432976836/157579837436558591*c_0101_5^2 + 27589115085232134/157579837436558591, c_0101_1 - 193843535428857372/157579837436558591*c_0101_5^23 + 2356458623902928414/157579837436558591*c_0101_5^21 + 1765314978974006957/157579837436558591*c_0101_5^19 - 70081762580940409693/157579837436558591*c_0101_5^17 + 54368724407976914072/157579837436558591*c_0101_5^15 + 528510539001701695256/157579837436558591*c_0101_5^13 - 543303190328604227736/157579837436558591*c_0101_5^11 - 22355081580344975336/157579837436558591*c_0101_5^9 - 73416327589634332332/157579837436558591*c_0101_5^7 + 70149006205447450783/157579837436558591*c_0101_5^5 - 3985168765042408003/157579837436558591*c_0101_5^3 - 1697594482699653759/157579837436558591*c_0101_5, c_0101_4 - 100977390732229904/157579837436558591*c_0101_5^23 + 1227541666049916933/157579837436558591*c_0101_5^21 + 919059350694827194/157579837436558591*c_0101_5^19 - 36502415267066039578/157579837436558591*c_0101_5^17 + 28330776635691634328/157579837436558591*c_0101_5^15 + 275167095941670445001/157579837436558591*c_0101_5^13 - 282984762105535988320/157579837436558591*c_0101_5^11 - 10537492411943226086/157579837436558591*c_0101_5^9 - 38920509654213531460/157579837436558591*c_0101_5^7 + 36466200636335712342/157579837436558591*c_0101_5^5 - 2467890406662746024/157579837436558591*c_0101_5^3 - 879252978999054917/157579837436558591*c_0101_5, c_0101_5^24 - 12*c_0101_5^22 - 11*c_0101_5^20 + 360*c_0101_5^18 - 224*c_0101_5^16 - 2767*c_0101_5^14 + 2374*c_0101_5^12 + 528*c_0101_5^10 + 419*c_0101_5^8 - 297*c_0101_5^6 - 32*c_0101_5^4 + 9*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB