Magma V2.19-8 Tue Aug 20 2013 17:56:29 on localhost [Seed = 189447986] Type ? for help. Type -D to quit. Loading file "8_15__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 8_15 geometric_solution 9.93064829 oriented_manifold CS_known 0.0000000000000000 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 0 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.214767095524 0.936527471509 0 3 6 5 0132 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762146196262 0.429129512918 4 0 6 4 1023 0132 2103 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 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.047655905094 0.693051738139 7 1 8 0 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000353849009 0.376804236280 2 2 0 9 3120 1023 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 -1 1 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.901250072241 1.436103436501 7 6 1 10 2103 0213 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 1 0 -1 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.650791644207 0.641533468796 2 7 5 1 2103 2103 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650791644207 0.641533468796 3 6 5 8 0132 2103 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.988066265132 1.782642902584 10 7 9 3 3120 0321 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 1 0 -1 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.214767095524 0.936527471509 10 10 4 8 1302 3012 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 1 -1 0 -1 0 0 1 1 -1 0 0 -11 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.901250072241 1.436103436501 9 9 5 8 1230 2031 0132 3120 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 -1 1 0 1 0 0 -1 -10 11 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.901250072241 1.436103436501 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_5'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1100_0'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_0101_8']), 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0011_5'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_1001_1']), 'c_1100_8' : d['c_1100_0'], '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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_8']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : 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' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : negation(d['c_0011_8']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_8, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t - 205420985/10919872*c_1100_0^6 + 263070061/10919872*c_1100_0^5 + 952864569/10919872*c_1100_0^4 + 71713775/5459936*c_1100_0^3 - 8459779097/10919872*c_1100_0^2 + 12443699293/10919872*c_1100_0 - 2931405219/2729968, c_0011_0 - 1, c_0011_10 - 4325/341246*c_1100_0^6 - 3901/341246*c_1100_0^5 + 30459/341246*c_1100_0^4 + 40037/170623*c_1100_0^3 - 158685/341246*c_1100_0^2 - 102907/341246*c_1100_0 + 120076/170623, c_0011_3 - 24601/682492*c_1100_0^6 + 11817/682492*c_1100_0^5 + 123625/682492*c_1100_0^4 + 46499/341246*c_1100_0^3 - 1004397/682492*c_1100_0^2 + 948645/682492*c_1100_0 - 121291/170623, c_0011_5 + 8643/682492*c_1100_0^6 + 9137/682492*c_1100_0^5 - 21655/682492*c_1100_0^4 - 50737/341246*c_1100_0^3 + 105659/682492*c_1100_0^2 + 201229/682492*c_1100_0 + 97314/170623, c_0011_8 + 1, c_0101_0 + 5905/341246*c_1100_0^6 - 4931/341246*c_1100_0^5 - 20283/341246*c_1100_0^4 - 7520/170623*c_1100_0^3 + 267941/341246*c_1100_0^2 - 227177/341246*c_1100_0 + 95839/170623, c_0101_1 + 12791/682492*c_1100_0^6 - 1955/682492*c_1100_0^5 - 83059/682492*c_1100_0^4 - 31459/341246*c_1100_0^3 + 468515/682492*c_1100_0^2 + 188201/682492*c_1100_0 + 25452/170623, c_0101_10 + 12791/682492*c_1100_0^6 - 1955/682492*c_1100_0^5 - 83059/682492*c_1100_0^4 - 31459/341246*c_1100_0^3 + 468515/682492*c_1100_0^2 + 188201/682492*c_1100_0 + 25452/170623, c_0101_8 - 8643/682492*c_1100_0^6 - 9137/682492*c_1100_0^5 + 21655/682492*c_1100_0^4 + 50737/341246*c_1100_0^3 - 105659/682492*c_1100_0^2 - 201229/682492*c_1100_0 - 97314/170623, c_1001_1 + 5905/341246*c_1100_0^6 - 4931/341246*c_1100_0^5 - 20283/341246*c_1100_0^4 - 7520/170623*c_1100_0^3 + 267941/341246*c_1100_0^2 - 227177/341246*c_1100_0 + 95839/170623, c_1100_0^7 - c_1100_0^6 - 5*c_1100_0^5 - 2*c_1100_0^4 + 41*c_1100_0^3 - 49*c_1100_0^2 + 40*c_1100_0 + 16 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_8, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 4046825/380719*c_1100_0^9 + 3089355/380719*c_1100_0^8 + 19113012/380719*c_1100_0^7 + 40546049/380719*c_1100_0^6 - 39046759/380719*c_1100_0^5 - 16006457/16553*c_1100_0^4 - 270465454/380719*c_1100_0^3 - 253383416/380719*c_1100_0^2 - 68835883/380719*c_1100_0 - 31086773/380719, c_0011_0 - 1, c_0011_10 + 201005/380719*c_1100_0^9 - 268936/380719*c_1100_0^8 - 578241/380719*c_1100_0^7 - 2298280/380719*c_1100_0^6 + 3491821/380719*c_1100_0^5 + 594379/16553*c_1100_0^4 + 13166505/380719*c_1100_0^3 + 9183807/380719*c_1100_0^2 + 3489585/380719*c_1100_0 + 926916/380719, c_0011_3 - 88464/380719*c_1100_0^9 + 101606/380719*c_1100_0^8 + 292018/380719*c_1100_0^7 + 1033066/380719*c_1100_0^6 - 1365383/380719*c_1100_0^5 - 283655/16553*c_1100_0^4 - 6536676/380719*c_1100_0^3 - 4451471/380719*c_1100_0^2 - 1082439/380719*c_1100_0 - 423028/380719, c_0011_5 + 227834/380719*c_1100_0^9 - 789051/380719*c_1100_0^8 + 505953/380719*c_1100_0^7 - 2456110/380719*c_1100_0^6 + 9424488/380719*c_1100_0^5 + 49037/16553*c_1100_0^4 - 2606311/380719*c_1100_0^3 - 3724217/380719*c_1100_0^2 - 1824223/380719*c_1100_0 - 335509/380719, c_0011_8 + 94275/380719*c_1100_0^9 - 225073/380719*c_1100_0^8 - 42884/380719*c_1100_0^7 - 1003138/380719*c_1100_0^6 + 2672926/380719*c_1100_0^5 + 158772/16553*c_1100_0^4 + 2046507/380719*c_1100_0^3 + 2064785/380719*c_1100_0^2 + 50105/380719*c_1100_0 - 18266/380719, c_0101_0 - 31620/380719*c_1100_0^9 - 114173/380719*c_1100_0^8 + 421574/380719*c_1100_0^7 + 528419/380719*c_1100_0^6 + 1195300/380719*c_1100_0^5 - 273032/16553*c_1100_0^4 - 9221595/380719*c_1100_0^3 - 7145977/380719*c_1100_0^2 - 3346355/380719*c_1100_0 - 526759/380719, c_0101_1 + 213299/380719*c_1100_0^9 - 746354/380719*c_1100_0^8 + 435694/380719*c_1100_0^7 - 2167153/380719*c_1100_0^6 + 8954596/380719*c_1100_0^5 + 61828/16553*c_1100_0^4 - 4287698/380719*c_1100_0^3 - 6127881/380719*c_1100_0^2 - 2954115/380719*c_1100_0 - 721953/380719, c_0101_10 - 22401/16553*c_1100_0^9 + 40682/16553*c_1100_0^8 + 40306/16553*c_1100_0^7 + 251761/16553*c_1100_0^6 - 519903/16553*c_1100_0^5 - 1216697/16553*c_1100_0^4 - 1064738/16553*c_1100_0^3 - 546158/16553*c_1100_0^2 - 184602/16553*c_1100_0 - 36087/16553, c_0101_8 + 403590/380719*c_1100_0^9 - 726259/380719*c_1100_0^8 - 685093/380719*c_1100_0^7 - 4707729/380719*c_1100_0^6 + 9352955/380719*c_1100_0^5 + 934056/16553*c_1100_0^4 + 21450006/380719*c_1100_0^3 + 11130294/380719*c_1100_0^2 + 4043799/380719*c_1100_0 + 698022/380719, c_1001_1 - 181840/380719*c_1100_0^9 + 201899/380719*c_1100_0^8 + 649140/380719*c_1100_0^7 + 2061865/380719*c_1100_0^6 - 2833090/380719*c_1100_0^5 - 598182/16553*c_1100_0^4 - 13018401/380719*c_1100_0^3 - 7092067/380719*c_1100_0^2 - 3151886/380719*c_1100_0 - 602167/380719, c_1100_0^10 - 2*c_1100_0^9 - c_1100_0^8 - 12*c_1100_0^7 + 25*c_1100_0^6 + 45*c_1100_0^5 + 51*c_1100_0^4 + 34*c_1100_0^3 + 16*c_1100_0^2 + 5*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.300 seconds, Total memory usage: 32.09MB