Magma V2.19-8 Tue Aug 20 2013 23:38:21 on localhost [Seed = 21456166] Type ? for help. Type -D to quit. Loading file "K13n621__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n621 geometric_solution 9.36360551 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 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 -1 1 1 0 -1 0 0 0 0 0 -17 0 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540250528055 0.388928827540 0 5 7 6 0132 0132 0132 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 -1 0 0 1 17 -17 0 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654563586324 1.528490149909 6 0 8 5 0132 0132 0132 1023 0 0 0 0 0 0 0 0 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 16 0 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.001264094121 1.092886166230 7 5 4 0 1023 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1 1 0 0 -1 1 17 0 0 -17 -16 17 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948838623041 0.728180903676 6 3 0 8 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655759969126 0.648808226475 3 1 9 2 1023 0132 0132 1023 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 0 0 0 0 0 -16 0 16 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575627992250 0.590923971054 2 7 1 4 0132 1023 0132 1230 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 -1 1 0 -1 0 1 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352714880778 0.702390261536 6 3 8 1 1023 1023 2310 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 0 0 0 0 1 -17 0 16 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352714880778 0.702390261536 4 7 9 2 3012 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.069456993048 1.220766824195 9 8 9 5 2031 3201 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366214740925 0.708208215528 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : negation(d['c_0101_7']), 's_2_8' : d['1'], 's_2_9' : 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' : negation(d['1']), 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_8' : d['c_0011_9'], 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_9'], 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_0101_3']), 's_3_1' : negation(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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], '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_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_9']), 'c_0101_8' : negation(d['c_0101_5']), 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_7, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1803518130109000589/338504317804544*c_0110_5^15 + 1015810342518955999/84626079451136*c_0110_5^14 - 1281119608381942379/42313039725568*c_0110_5^13 - 84321647765103687471/338504317804544*c_0110_5^12 - 137134288793057760419/169252158902272*c_0110_5^11 - 612128321729712969783/338504317804544*c_0110_5^10 - 108097188190245364905/42313039725568*c_0110_5^9 - 1000781451029887496037/338504317804544*c_0110_5^8 - 298140629040443454049/169252158902272*c_0110_5^7 - 142117511227714459591/84626079451136*c_0110_5^6 - 60698438573728961445/338504317804544*c_0110_5^5 - 243416264538468359373/338504317804544*c_0110_5^4 + 124084499427795026763/338504317804544*c_0110_5^3 - 63918145098694753645/338504317804544*c_0110_5^2 + 22522557020072235925/338504317804544*c_0110_5 - 2411100201940811131/338504317804544, c_0011_0 - 1, c_0011_4 + 3987858653373/2142432391168*c_0110_5^15 + 3197353340207/535608097792*c_0110_5^14 - 1668518539035/267804048896*c_0110_5^13 - 206304229392191/2142432391168*c_0110_5^12 - 394157151008371/1071216195584*c_0110_5^11 - 1967275015803591/2142432391168*c_0110_5^10 - 415123982812345/267804048896*c_0110_5^9 - 4305142540639765/2142432391168*c_0110_5^8 - 1911651844222033/1071216195584*c_0110_5^7 - 746251406210647/535608097792*c_0110_5^6 - 1651523875191125/2142432391168*c_0110_5^5 - 955363734923005/2142432391168*c_0110_5^4 - 313397334901605/2142432391168*c_0110_5^3 + 3425339417187/2142432391168*c_0110_5^2 - 53552243151291/2142432391168*c_0110_5 + 20075336727861/2142432391168, c_0011_8 - 3772329419383/1071216195584*c_0110_5^15 - 2994329777933/267804048896*c_0110_5^14 + 1630451525553/133902024448*c_0110_5^13 + 194820297717885/1071216195584*c_0110_5^12 + 369648452919449/535608097792*c_0110_5^11 + 1835671013703445/1071216195584*c_0110_5^10 + 384656220630571/133902024448*c_0110_5^9 + 3961206678314367/1071216195584*c_0110_5^8 + 1735208638044467/535608097792*c_0110_5^7 + 672127897509637/267804048896*c_0110_5^6 + 1457042987382847/1071216195584*c_0110_5^5 + 839950168565047/1071216195584*c_0110_5^4 + 260902832325743/1071216195584*c_0110_5^3 - 16850488337385/1071216195584*c_0110_5^2 + 50933625339121/1071216195584*c_0110_5 - 19239493443039/1071216195584, c_0011_9 + 1048420356059/535608097792*c_0110_5^15 + 837010364105/133902024448*c_0110_5^14 - 442850390621/66951012224*c_0110_5^13 - 54140346745609/535608097792*c_0110_5^12 - 103262624773525/267804048896*c_0110_5^11 - 515062415075777/535608097792*c_0110_5^10 - 108619913385711/66951012224*c_0110_5^9 - 1127662984189571/535608097792*c_0110_5^8 - 501916386081415/267804048896*c_0110_5^7 - 197525918866369/133902024448*c_0110_5^6 - 441918689060931/535608097792*c_0110_5^5 - 258617206810523/535608097792*c_0110_5^4 - 86251785377011/535608097792*c_0110_5^3 - 680810554043/535608097792*c_0110_5^2 - 14991873569581/535608097792*c_0110_5 + 5485489467043/535608097792, c_0101_0 + 118258861085/2142432391168*c_0110_5^15 + 56025751983/535608097792*c_0110_5^14 - 117138573419/267804048896*c_0110_5^13 - 5732616902367/2142432391168*c_0110_5^12 - 7576070481171/1071216195584*c_0110_5^11 - 25319595145703/2142432391168*c_0110_5^10 - 1718061750921/267804048896*c_0110_5^9 + 20123439124747/2142432391168*c_0110_5^8 + 40521355597647/1071216195584*c_0110_5^7 + 21758483546377/535608097792*c_0110_5^6 + 78621296544843/2142432391168*c_0110_5^5 + 35942098650147/2142432391168*c_0110_5^4 + 22936499569211/2142432391168*c_0110_5^3 + 11551724533123/2142432391168*c_0110_5^2 - 3456562693467/2142432391168*c_0110_5 + 1887246754581/2142432391168, c_0101_1 + 1060618756531/1071216195584*c_0110_5^15 + 872965896129/267804048896*c_0110_5^14 - 405276013493/133902024448*c_0110_5^13 - 55141743524369/1071216195584*c_0110_5^12 - 107249747797085/535608097792*c_0110_5^11 - 541954471535625/1071216195584*c_0110_5^10 - 116236495134455/133902024448*c_0110_5^9 - 1223036036845915/1071216195584*c_0110_5^8 - 556790385698463/535608097792*c_0110_5^7 - 217992142972569/267804048896*c_0110_5^6 - 486996855714075/1071216195584*c_0110_5^5 - 270276735710323/1071216195584*c_0110_5^4 - 87280183046283/1071216195584*c_0110_5^3 + 2584603889325/1071216195584*c_0110_5^2 - 10635482776789/1071216195584*c_0110_5 + 5778809366203/1071216195584, c_0101_3 - 3987858653373/2142432391168*c_0110_5^15 - 3197353340207/535608097792*c_0110_5^14 + 1668518539035/267804048896*c_0110_5^13 + 206304229392191/2142432391168*c_0110_5^12 + 394157151008371/1071216195584*c_0110_5^11 + 1967275015803591/2142432391168*c_0110_5^10 + 415123982812345/267804048896*c_0110_5^9 + 4305142540639765/2142432391168*c_0110_5^8 + 1911651844222033/1071216195584*c_0110_5^7 + 746251406210647/535608097792*c_0110_5^6 + 1651523875191125/2142432391168*c_0110_5^5 + 955363734923005/2142432391168*c_0110_5^4 + 313397334901605/2142432391168*c_0110_5^3 - 3425339417187/2142432391168*c_0110_5^2 + 53552243151291/2142432391168*c_0110_5 - 20075336727861/2142432391168, c_0101_5 + 5308520360539/2142432391168*c_0110_5^15 + 4220206076761/535608097792*c_0110_5^14 - 2276392871373/267804048896*c_0110_5^13 - 274046838220745/2142432391168*c_0110_5^12 - 520962937731317/1071216195584*c_0110_5^11 - 2591539617077249/2142432391168*c_0110_5^10 - 544391462416767/267804048896*c_0110_5^9 - 5625206257936963/2142432391168*c_0110_5^8 - 2480114300567335/1071216195584*c_0110_5^7 - 967394592995057/535608097792*c_0110_5^6 - 2124278798118659/2142432391168*c_0110_5^5 - 1235740316733979/2142432391168*c_0110_5^4 - 400410899647091/2142432391168*c_0110_5^3 + 7183312481669/2142432391168*c_0110_5^2 - 75430526975341/2142432391168*c_0110_5 + 27619995566627/2142432391168, c_0101_7 - 1060618756531/1071216195584*c_0110_5^15 - 872965896129/267804048896*c_0110_5^14 + 405276013493/133902024448*c_0110_5^13 + 55141743524369/1071216195584*c_0110_5^12 + 107249747797085/535608097792*c_0110_5^11 + 541954471535625/1071216195584*c_0110_5^10 + 116236495134455/133902024448*c_0110_5^9 + 1223036036845915/1071216195584*c_0110_5^8 + 556790385698463/535608097792*c_0110_5^7 + 217992142972569/267804048896*c_0110_5^6 + 486996855714075/1071216195584*c_0110_5^5 + 270276735710323/1071216195584*c_0110_5^4 + 87280183046283/1071216195584*c_0110_5^3 - 2584603889325/1071216195584*c_0110_5^2 + 10635482776789/1071216195584*c_0110_5 - 5778809366203/1071216195584, c_0110_5^16 + 3*c_0110_5^15 - 4*c_0110_5^14 - 51*c_0110_5^13 - 187*c_0110_5^12 - 453*c_0110_5^11 - 733*c_0110_5^10 - 913*c_0110_5^9 - 745*c_0110_5^8 - 562*c_0110_5^7 - 269*c_0110_5^6 - 160*c_0110_5^5 - 32*c_0110_5^4 + 16*c_0110_5^3 - 14*c_0110_5^2 + 8*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB