Magma V2.19-8 Tue Aug 20 2013 23:38:30 on localhost [Seed = 2917910931] Type ? for help. Type -D to quit. Loading file "K8a1__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K8a1 geometric_solution 9.21780032 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 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 -1 1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.924504479027 1.600211563582 0 5 5 4 0132 0132 0321 3120 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 1 0 -1 -4 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215913779144 0.619307869294 6 0 5 7 0132 0132 2031 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 1 0 -1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409222326383 0.470682618020 6 8 9 0 2031 0132 0132 0132 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 -1 0 1 0 0 -4 4 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.320436006389 1.228529087930 1 5 0 6 3120 2031 0132 2031 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 -1 1 -3 0 0 3 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.552837256089 0.351873664269 4 1 1 2 1302 0132 0321 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 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.215913779144 0.619307869294 2 4 3 7 0132 1302 1302 2103 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 -3 0 3 -1 0 1 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.368641236015 1.086776517103 8 9 2 6 0213 0213 0132 2103 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 3 0 -3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.801213789946 0.762132333637 7 3 9 9 0213 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.351283877411 0.539530117102 8 8 7 3 3120 0213 0213 0132 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 -1 0 -3 4 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.351283877411 0.539530117102 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : negation(d['c_0110_5']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1010_6']), 'c_1100_8' : negation(d['c_0011_7']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_1010_6']), 'c_1100_7' : negation(d['c_0101_2']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1010_6']), 'c_1100_3' : negation(d['c_1010_6']), 'c_1100_2' : negation(d['c_0101_2']), 'c_1010_7' : negation(d['c_1010_6']), 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0110_5']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_7'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0011_7'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2']})} 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_3, c_0011_4, c_0011_7, c_0101_0, c_0101_2, c_0101_3, c_0110_5, c_1001_0, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 18234504790946/4541700374801*c_1010_6^14 + 26465536201135/4541700374801*c_1010_6^13 + 94495330094850/4541700374801*c_1010_6^12 + 1191478034677599/4541700374801*c_1010_6^11 + 2456408233747170/4541700374801*c_1010_6^10 + 2443158276506745/4541700374801*c_1010_6^9 + 3023057277131177/4541700374801*c_1010_6^8 + 3664631191963854/4541700374801*c_1010_6^7 + 3115340650487903/4541700374801*c_1010_6^6 + 2119017769835015/4541700374801*c_1010_6^5 + 1574496169163710/4541700374801*c_1010_6^4 + 1125936961848706/4541700374801*c_1010_6^3 + 340697575002533/4541700374801*c_1010_6^2 + 65898533567636/4541700374801*c_1010_6 + 71668463083466/4541700374801, c_0011_0 - 1, c_0011_3 + c_1010_6, c_0011_4 + 977593527839/4541700374801*c_1010_6^14 + 1815096214211/4541700374801*c_1010_6^13 + 6696082387138/4541700374801*c_1010_6^12 + 66668072583803/4541700374801*c_1010_6^11 + 162262326963104/4541700374801*c_1010_6^10 + 248195519278768/4541700374801*c_1010_6^9 + 306453840083960/4541700374801*c_1010_6^8 + 313096831983006/4541700374801*c_1010_6^7 + 273596820016351/4541700374801*c_1010_6^6 + 190698349565142/4541700374801*c_1010_6^5 + 113845782211857/4541700374801*c_1010_6^4 + 56216439718397/4541700374801*c_1010_6^3 + 20847082306988/4541700374801*c_1010_6^2 + 7867673555240/4541700374801*c_1010_6 + 2192094374487/4541700374801, c_0011_7 + 973175005280/4541700374801*c_1010_6^14 + 1925745337934/4541700374801*c_1010_6^13 + 6927814086679/4541700374801*c_1010_6^12 + 67125050411590/4541700374801*c_1010_6^11 + 170149950952623/4541700374801*c_1010_6^10 + 269009043433643/4541700374801*c_1010_6^9 + 335613310660839/4541700374801*c_1010_6^8 + 366477485335511/4541700374801*c_1010_6^7 + 331134969435281/4541700374801*c_1010_6^6 + 241781817381865/4541700374801*c_1010_6^5 + 151545154638172/4541700374801*c_1010_6^4 + 75082779501358/4541700374801*c_1010_6^3 + 29628371261317/4541700374801*c_1010_6^2 + 2966983522045/4541700374801*c_1010_6 + 418006730251/4541700374801, c_0101_0 + 304448974980/4541700374801*c_1010_6^14 - 6454723277/4541700374801*c_1010_6^13 + 335340956863/4541700374801*c_1010_6^12 + 16106511574411/4541700374801*c_1010_6^11 + 7657176645869/4541700374801*c_1010_6^10 - 61043494605468/4541700374801*c_1010_6^9 - 128159138245288/4541700374801*c_1010_6^8 - 177917451202966/4541700374801*c_1010_6^7 - 196236042715696/4541700374801*c_1010_6^6 - 172869614385280/4541700374801*c_1010_6^5 - 122440234405694/4541700374801*c_1010_6^4 - 66720984040523/4541700374801*c_1010_6^3 - 29746834076519/4541700374801*c_1010_6^2 - 6116958117202/4541700374801*c_1010_6 - 697877332283/4541700374801, c_0101_2 - 304448974980/4541700374801*c_1010_6^14 + 6454723277/4541700374801*c_1010_6^13 - 335340956863/4541700374801*c_1010_6^12 - 16106511574411/4541700374801*c_1010_6^11 - 7657176645869/4541700374801*c_1010_6^10 + 61043494605468/4541700374801*c_1010_6^9 + 128159138245288/4541700374801*c_1010_6^8 + 177917451202966/4541700374801*c_1010_6^7 + 196236042715696/4541700374801*c_1010_6^6 + 172869614385280/4541700374801*c_1010_6^5 + 122440234405694/4541700374801*c_1010_6^4 + 66720984040523/4541700374801*c_1010_6^3 + 29746834076519/4541700374801*c_1010_6^2 + 6116958117202/4541700374801*c_1010_6 + 697877332283/4541700374801, c_0101_3 - 140090841467/4541700374801*c_1010_6^14 - 147072307735/4541700374801*c_1010_6^13 - 785880837088/4541700374801*c_1010_6^12 - 8816540408721/4541700374801*c_1010_6^11 - 15754733237762/4541700374801*c_1010_6^10 - 19084804686427/4541700374801*c_1010_6^9 - 19284967482254/4541700374801*c_1010_6^8 - 14793270696154/4541700374801*c_1010_6^7 - 8730730114014/4541700374801*c_1010_6^6 - 532660545306/4541700374801*c_1010_6^5 + 2448795687252/4541700374801*c_1010_6^4 + 4227992333725/4541700374801*c_1010_6^3 + 8498999818685/4541700374801*c_1010_6^2 + 3169687902326/4541700374801*c_1010_6 + 3564106846962/4541700374801, c_0110_5 + 1318050701900/4541700374801*c_1010_6^14 + 3752353033408/4541700374801*c_1010_6^13 + 10878398975141/4541700374801*c_1010_6^12 + 97518868289603/4541700374801*c_1010_6^11 + 303498001065775/4541700374801*c_1010_6^10 + 510550160060614/4541700374801*c_1010_6^9 + 633499075131415/4541700374801*c_1010_6^8 + 651555984839978/4541700374801*c_1010_6^7 + 552593961616398/4541700374801*c_1010_6^6 + 378715862488687/4541700374801*c_1010_6^5 + 206002242925702/4541700374801*c_1010_6^4 + 86417355756921/4541700374801*c_1010_6^3 + 20895211515677/4541700374801*c_1010_6^2 - 443636010051/4541700374801*c_1010_6 - 1168037848683/4541700374801, c_1001_0 - 140090841467/4541700374801*c_1010_6^14 - 147072307735/4541700374801*c_1010_6^13 - 785880837088/4541700374801*c_1010_6^12 - 8816540408721/4541700374801*c_1010_6^11 - 15754733237762/4541700374801*c_1010_6^10 - 19084804686427/4541700374801*c_1010_6^9 - 19284967482254/4541700374801*c_1010_6^8 - 14793270696154/4541700374801*c_1010_6^7 - 8730730114014/4541700374801*c_1010_6^6 - 532660545306/4541700374801*c_1010_6^5 + 2448795687252/4541700374801*c_1010_6^4 + 4227992333725/4541700374801*c_1010_6^3 + 8498999818685/4541700374801*c_1010_6^2 + 3169687902326/4541700374801*c_1010_6 + 3564106846962/4541700374801, c_1010_6^15 + 2*c_1010_6^14 + 7*c_1010_6^13 + 69*c_1010_6^12 + 175*c_1010_6^11 + 270*c_1010_6^10 + 333*c_1010_6^9 + 340*c_1010_6^8 + 295*c_1010_6^7 + 204*c_1010_6^6 + 117*c_1010_6^5 + 55*c_1010_6^4 + 17*c_1010_6^3 + 4*c_1010_6^2 - c_1010_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.250 seconds, Total memory usage: 32.09MB