Magma V2.19-8 Tue Aug 20 2013 17:56:32 on localhost [Seed = 3280107495] Type ? for help. Type -D to quit. Loading file "9_17__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_17 geometric_solution 9.47458045 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 0 0 0 9 -10 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638800082074 0.718658108836 0 3 2 5 0132 2103 2103 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 0 0 0 0 0 0 -1 1 0 0 -9 -1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.149014465029 0.606632832979 1 0 7 6 2103 0132 0132 0132 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 1 0 -1 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944588168921 1.371009382551 8 1 8 0 0132 2103 3012 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 -1 0 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.149014465029 0.606632832979 7 7 0 6 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578703378180 1.734556985138 8 6 1 9 2103 3120 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 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 1.618115989772 1.554636853203 10 5 2 4 0132 3120 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.110542241046 1.066153464667 4 10 4 2 0132 0213 0213 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 1 -1 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.673149967342 0.739828542551 3 3 5 9 0132 1230 2103 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 -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.779162510259 0.555433131970 10 10 5 8 3201 2103 0132 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 1 0 0 -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.357277739157 0.617508089281 6 9 7 9 0132 2103 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298028930057 1.213265665959 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_9'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_0011_9'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0011_9'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_5'], 'c_1010_10' : negation(d['c_0101_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_4']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : d['c_1010_4'], 'c_1100_6' : d['c_1010_4'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_1010_4'], 'c_1100_10' : d['c_0011_9'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0011_9'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_0101_3'], 'c_1100_8' : d['c_0101_6'], 's_3_1' : 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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0101_0'], 's_1_10' : d['1'], '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_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0011_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_1001_0, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t - 3653932459/360754163968*c_1010_4^6 + 1597638873/90188540992*c_1010_4^5 - 22142220479/360754163968*c_1010_4^4 + 6798550145/180377081984*c_1010_4^3 - 448483965/360754163968*c_1010_4^2 - 23089562409/360754163968*c_1010_4 - 12481508043/360754163968, c_0011_0 - 1, c_0011_10 - 1811/17263*c_1010_4^6 + 1142/17263*c_1010_4^5 - 6271/17263*c_1010_4^4 - 4718/17263*c_1010_4^3 + 16721/17263*c_1010_4^2 + 6512/17263*c_1010_4 - 20783/17263, c_0011_4 + 160/17263*c_1010_4^6 + 1491/17263*c_1010_4^5 - 342/17263*c_1010_4^4 + 5631/17263*c_1010_4^3 + 3918/17263*c_1010_4^2 + 702/17263*c_1010_4 - 4112/17263, c_0011_5 + 1441/17263*c_1010_4^6 - 3511/17263*c_1010_4^5 + 4904/17263*c_1010_4^4 - 2909/17263*c_1010_4^3 - 14992/17263*c_1010_4^2 + 19917/17263*c_1010_4 + 30292/17263, c_0011_9 + 1190/17263*c_1010_4^6 - 779/17263*c_1010_4^5 + 3930/17263*c_1010_4^4 - 198/17263*c_1010_4^3 - 3228/17263*c_1010_4^2 - 9884/17263*c_1010_4 + 21206/17263, c_0101_0 + 357/17263*c_1010_4^6 - 1960/17263*c_1010_4^5 + 1179/17263*c_1010_4^4 - 3512/17263*c_1010_4^3 - 4421/17263*c_1010_4^2 + 21203/17263*c_1010_4 + 13267/17263, c_0101_1 - 1703/17263*c_1010_4^6 + 2580/17263*c_1010_4^5 - 7365/17263*c_1010_4^4 + 8146/17263*c_1010_4^3 + 9871/17263*c_1010_4^2 + 7849/17263*c_1010_4 - 20106/17263, c_0101_3 - 1, c_0101_6 + 1084/17263*c_1010_4^6 - 1551/17263*c_1010_4^5 + 3725/17263*c_1010_4^4 + 603/17263*c_1010_4^3 - 10571/17263*c_1010_4^2 - 1286/17263*c_1010_4 + 17025/17263, c_1001_0 - 1084/17263*c_1010_4^6 + 1551/17263*c_1010_4^5 - 3725/17263*c_1010_4^4 - 603/17263*c_1010_4^3 + 10571/17263*c_1010_4^2 + 1286/17263*c_1010_4 - 17025/17263, c_1010_4^7 - 2*c_1010_4^6 + 5*c_1010_4^5 - 4*c_1010_4^4 - 5*c_1010_4^3 + c_1010_4^2 + 15*c_1010_4 - 22 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_1001_0, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 606606491823995/207231747220791*c_1010_4^11 - 675565723578982/207231747220791*c_1010_4^10 + 400948932806387/69077249073597*c_1010_4^9 + 1433354559453409/207231747220791*c_1010_4^8 + 33471056077072/1901208690099*c_1010_4^7 - 1318045447436620/23025749691199*c_1010_4^6 - 53311781837886635/207231747220791*c_1010_4^5 - 103649599653478654/207231747220791*c_1010_4^4 - 182225986588746652/207231747220791*c_1010_4^3 - 179784247824283532/207231747220791*c_1010_4^2 - 117253249744946059/207231747220791*c_1010_4 - 30767347666115687/69077249073597, c_0011_0 - 1, c_0011_10 + 2766149458/95542529839*c_1010_4^11 - 1386059548/95542529839*c_1010_4^10 - 328906833/95542529839*c_1010_4^9 - 8875071817/95542529839*c_1010_4^8 - 47033346/876536971*c_1010_4^7 + 64296981271/95542529839*c_1010_4^\ 6 + 132130138701/95542529839*c_1010_4^5 + 330321465460/95542529839*c_1010_4^4 + 403321688847/95542529839*c_1010_4^3 + 344753710836/95542529839*c_1010_4^2 + 312749802121/95542529839*c_1010_4 + 35613495443/95542529839, c_0011_4 + 5659898126/286627589517*c_1010_4^11 - 7113195530/286627589517*c_1010_4^10 - 672466121/95542529839*c_1010_4^9 - 5667371911/286627589517*c_1010_4^8 + 17236736/2629610913*c_1010_4^7 + 39070609754/95542529839*c_1010_4^6 + 181226342960/286627589517*c_1010_4^5 + 389231322541/286627589517*c_1010_4^4 + 435359960617/286627589517*c_1010_4^3 + 80224247153/286627589517*c_1010_4^2 + 223185772183/286627589517*c_1010_4 + 3673010613/95542529839, c_0011_5 + 1555033454/286627589517*c_1010_4^11 - 8502075716/286627589517*c_1010_4^10 + 1641172747/95542529839*c_1010_4^9 + 3014067104/286627589517*c_1010_4^8 + 134395316/2629610913*c_1010_4^7 + 12733293749/95542529839*c_1010_4^6 - 106975954873/286627589517*c_1010_4^5 - 219031466435/286627589517*c_1010_4^4 - 354178199384/286627589517*c_1010_4^3 - 576739301134/286627589517*c_1010_4^2 + 166452540949/286627589517*c_1010_4 - 23364146040/95542529839, c_0011_9 + 337255646/286627589517*c_1010_4^11 + 1094505697/286627589517*c_1010_4^10 - 1674413423/95542529839*c_1010_4^9 - 3738279808/286627589517*c_1010_4^8 + 107572688/2629610913*c_1010_4^7 + 2197389311/95542529839*c_1010_4^6 + 56500032857/286627589517*c_1010_4^5 - 5618840834/286627589517*c_1010_4^4 - 147193491419/286627589517*c_1010_4^3 - 138598960831/286627589517*c_1010_4^2 - 371419057901/286627589517*c_1010_4 - 6206748900/95542529839, c_0101_0 - 11768382881/286627589517*c_1010_4^11 + 4334859980/286627589517*c_1010_4^10 + 3200872050/95542529839*c_1010_4^9 + 25357383238/286627589517*c_1010_4^8 + 292771756/2629610913*c_1010_4^7 - 90503985914/95542529839*c_1010_4^\ 6 - 613662687734/286627589517*c_1010_4^5 - 1311019273501/286627589517*c_1010_4^4 - 1770440887948/286627589517*c_1010_4^3 - 1202394975341/286627589517*c_1010_4^2 - 824829442813/286627589517*c_1010_4 - 50315829339/95542529839, c_0101_1 + 11781855884/286627589517*c_1010_4^11 - 13188174794/286627589517*c_1010_4^10 - 432588449/95542529839*c_1010_4^9 - 24847410367/286627589517*c_1010_4^8 - 104584975/2629610913*c_1010_4^7 + 93851454422/95542529839*c_1010_4^\ 6 + 437673441350/286627589517*c_1010_4^5 + 895129004434/286627589517*c_1010_4^4 + 1027908137308/286627589517*c_1010_4^3 + 236736985913/286627589517*c_1010_4^2 + 412299268606/286627589517*c_1010_4 + 10603490070/95542529839, c_0101_3 - 11781855884/286627589517*c_1010_4^11 + 13188174794/286627589517*c_1010_4^10 + 432588449/95542529839*c_1010_4^9 + 24847410367/286627589517*c_1010_4^8 + 104584975/2629610913*c_1010_4^7 - 93851454422/95542529839*c_1010_4^\ 6 - 437673441350/286627589517*c_1010_4^5 - 895129004434/286627589517*c_1010_4^4 - 1027908137308/286627589517*c_1010_4^3 - 236736985913/286627589517*c_1010_4^2 - 412299268606/286627589517*c_1010_4 + 84939039769/95542529839, c_0101_6 - 7543322009/286627589517*c_1010_4^11 + 4228136783/286627589517*c_1010_4^10 + 712727174/95542529839*c_1010_4^9 + 18271195693/286627589517*c_1010_4^8 + 140280124/2629610913*c_1010_4^7 - 54122807635/95542529839*c_1010_4^\ 6 - 368281081931/286627589517*c_1010_4^5 - 822775804444/286627589517*c_1010_4^4 - 1100636489503/286627589517*c_1010_4^3 - 923011218020/286627589517*c_1010_4^2 - 782843831578/286627589517*c_1010_4 - 77597341363/95542529839, c_1001_0 + 17548477207/286627589517*c_1010_4^11 - 12943658893/286627589517*c_1010_4^10 - 4047844179/95542529839*c_1010_4^9 - 29429503679/286627589517*c_1010_4^8 - 310868072/2629610913*c_1010_4^7 + 139618457942/95542529839*c_1010_4\ ^6 + 752068338664/286627589517*c_1010_4^5 + 1580231276123/286627589517*c_1010_4^4 + 2086067087009/286627589517*c_1010_4^3 + 905039431528/286627589517*c_1010_4^2 + 1033267594997/286627589517*c_1010_4 - 329828725/95542529839, c_1010_4^12 - c_1010_4^11 - 2*c_1010_4^9 - 2*c_1010_4^8 + 24*c_1010_4^7 + 37*c_1010_4^6 + 89*c_1010_4^5 + 113*c_1010_4^4 + 55*c_1010_4^3 + 83*c_1010_4^2 - 3*c_1010_4 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.330 seconds, Total memory usage: 32.09MB