Magma V2.19-8 Tue Aug 20 2013 17:55:58 on localhost [Seed = 2968586066] Type ? for help. Type -D to quit. Loading file "10_138__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_138 geometric_solution 10.46724624 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 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 1 0 -1 0 0 0 0 1 -1 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408007105477 1.042195696143 0 4 4 5 0132 0132 1302 0132 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 1 -1 -3 -1 0 4 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.717667200138 0.656865598645 0 0 6 5 3012 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412071265907 0.725446037960 7 6 4 0 0132 3120 0321 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468737458080 0.342166218309 1 1 3 8 2031 0132 0321 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.241782273157 0.693980637474 7 2 1 9 2103 1302 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 0 0 0 0 1 -1 1 -1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.888263918160 0.864320418188 7 3 8 2 1230 3120 1230 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 0 0 0 0 -1 1 -4 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.024243986328 0.334067100101 3 6 5 10 0132 3012 2103 0132 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 -1 1 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373139340369 0.440313483694 9 11 4 6 1302 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.090395257174 0.395652132839 11 8 5 10 3120 2031 0132 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 0 0 0 -1 0 1 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.439913936013 0.660915157749 9 11 7 11 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 1 -1 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.346146460936 1.419426675434 10 8 10 9 1023 0132 0132 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 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.346146460936 1.419426675434 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_0110_2'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_1001_3']), 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0011_9']), 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_11' : 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' : negation(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_9' : negation(d['c_0101_10']), 'c_1100_8' : d['c_1001_3'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_1001_3'], 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : d['c_0110_8'], 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0110_8'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : negation(d['c_0101_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_8']), 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_11'], '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' : negation(d['1']), 's_1_3' : 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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0101_11'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_10']), 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_9, c_0110_2, c_0110_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t + 41/16*c_1001_3^6 - 67/8*c_1001_3^5 + 395/16*c_1001_3^4 - 511/8*c_1001_3^3 - 175/16*c_1001_3^2 + 11/4*c_1001_3 + 107/16, c_0011_0 - 1, c_0011_10 - 1/16*c_1001_3^6 + 3/8*c_1001_3^5 - 19/16*c_1001_3^4 + 13/4*c_1001_3^3 - 67/16*c_1001_3^2 - 1/8*c_1001_3 - 1/16, c_0011_3 - 1/2*c_1001_3^6 + 3/2*c_1001_3^5 - 9/2*c_1001_3^4 + 23/2*c_1001_3^3 + 9/2*c_1001_3^2 + 2*c_1001_3 + 1/2, c_0011_5 + 1/2*c_1001_3^6 - 3/2*c_1001_3^5 + 9/2*c_1001_3^4 - 23/2*c_1001_3^3 - 9/2*c_1001_3^2 - 3*c_1001_3 - 1/2, c_0011_9 + 3/16*c_1001_3^6 - 1/2*c_1001_3^5 + 23/16*c_1001_3^4 - 7/2*c_1001_3^3 - 59/16*c_1001_3^2 + 1/16, c_0101_0 - 1/16*c_1001_3^6 + 3/8*c_1001_3^5 - 19/16*c_1001_3^4 + 13/4*c_1001_3^3 - 67/16*c_1001_3^2 - 1/8*c_1001_3 - 1/16, c_0101_10 - 3/16*c_1001_3^6 + 1/2*c_1001_3^5 - 23/16*c_1001_3^4 + 7/2*c_1001_3^3 + 59/16*c_1001_3^2 - 1/16, c_0101_11 - 1, c_0101_9 + 1/16*c_1001_3^6 - 3/8*c_1001_3^5 + 19/16*c_1001_3^4 - 13/4*c_1001_3^3 + 67/16*c_1001_3^2 + 1/8*c_1001_3 + 1/16, c_0110_2 + 7/16*c_1001_3^6 - 5/4*c_1001_3^5 + 59/16*c_1001_3^4 - 37/4*c_1001_3^3 - 99/16*c_1001_3^2 - c_1001_3 - 7/16, c_0110_8 - 1/16*c_1001_3^6 + 1/4*c_1001_3^5 - 13/16*c_1001_3^4 + 9/4*c_1001_3^3 - 27/16*c_1001_3^2 + c_1001_3 - 15/16, c_1001_3^7 - 3*c_1001_3^6 + 9*c_1001_3^5 - 23*c_1001_3^4 - 9*c_1001_3^3 - 5*c_1001_3^2 - c_1001_3 - 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_9, c_0110_2, c_0110_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 50827/2560*c_1001_3^13 + 100373/5120*c_1001_3^12 - 106263/5120*c_1001_3^11 + 101807/256*c_1001_3^10 + 7848591/5120*c_1001_3^9 - 4156133/5120*c_1001_3^8 - 2580819/2560*c_1001_3^7 - 998753/64*c_1001_3^6 - 4627031/128*c_1001_3^5 + 2226299/5120*c_1001_3^4 - 230399523/5120*c_1001_3^3 + 16527021/1280*c_1001_3^2 - 27627009/5120*c_1001_3 + 446785/1024, c_0011_0 - 1, c_0011_10 + 123/512*c_1001_3^13 - 121/512*c_1001_3^12 + 15/64*c_1001_3^11 - 2455/512*c_1001_3^10 - 9507/512*c_1001_3^9 + 1293/128*c_1001_3^8 + 1735/128*c_1001_3^7 + 48183/256*c_1001_3^6 + 223353/512*c_1001_3^5 - 9541/512*c_1001_3^4 + 65155/128*c_1001_3^3 - 83271/512*c_1001_3^2 + 13967/512*c_1001_3 - 515/256, c_0011_3 - 43/512*c_1001_3^13 + 75/1024*c_1001_3^12 - 73/1024*c_1001_3^11 + 427/256*c_1001_3^10 + 6845/1024*c_1001_3^9 - 2887/1024*c_1001_3^8 - 2685/512*c_1001_3^7 - 1063/16*c_1001_3^6 - 41007/256*c_1001_3^5 - 10643/1024*c_1001_3^4 - 179997/1024*c_1001_3^3 + 9497/256*c_1001_3^2 - 843/1024*c_1001_3 - 705/1024, c_0011_5 + 131/512*c_1001_3^13 - 233/1024*c_1001_3^12 + 231/1024*c_1001_3^11 - 651/128*c_1001_3^10 - 20751/1024*c_1001_3^9 + 9089/1024*c_1001_3^8 + 7919/512*c_1001_3^7 + 12929/64*c_1001_3^6 + 7745/16*c_1001_3^5 + 25793/1024*c_1001_3^4 + 554875/1024*c_1001_3^3 - 15505/128*c_1001_3^2 + 13705/1024*c_1001_3 + 375/1024, c_0011_9 - 91/1024*c_1001_3^13 + 77/1024*c_1001_3^12 - 39/512*c_1001_3^11 + 1807/1024*c_1001_3^10 + 7287/1024*c_1001_3^9 - 1405/512*c_1001_3^8 - 1381/256*c_1001_3^7 - 36073/512*c_1001_3^6 - 175565/1024*c_1001_3^5 - 18151/1024*c_1001_3^4 - 98415/512*c_1001_3^3 + 32531/1024*c_1001_3^2 - 7055/1024*c_1001_3 + 81/256, c_0101_0 + 163/512*c_1001_3^13 - 323/1024*c_1001_3^12 + 317/1024*c_1001_3^11 - 407/64*c_1001_3^10 - 25169/1024*c_1001_3^9 + 13903/1024*c_1001_3^8 + 9265/512*c_1001_3^7 + 31947/128*c_1001_3^6 + 147801/256*c_1001_3^5 - 28725/1024*c_1001_3^4 + 689921/1024*c_1001_3^3 - 27795/128*c_1001_3^2 + 36103/1024*c_1001_3 - 1831/1024, c_0101_10 + 91/1024*c_1001_3^13 - 77/1024*c_1001_3^12 + 39/512*c_1001_3^11 - 1807/1024*c_1001_3^10 - 7287/1024*c_1001_3^9 + 1405/512*c_1001_3^8 + 1381/256*c_1001_3^7 + 36073/512*c_1001_3^6 + 175565/1024*c_1001_3^5 + 18151/1024*c_1001_3^4 + 98415/512*c_1001_3^3 - 32531/1024*c_1001_3^2 + 7055/1024*c_1001_3 - 81/256, c_0101_11 + 389/2048*c_1001_3^13 - 37/256*c_1001_3^12 + 309/2048*c_1001_3^11 - 7687/2048*c_1001_3^10 - 993/64*c_1001_3^9 + 9391/2048*c_1001_3^8 + 12197/1024*c_1001_3^7 + 154853/1024*c_1001_3^6 + 774469/2048*c_1001_3^5 + 68659/1024*c_1001_3^4 + 844529/2048*c_1001_3^3 - 74195/2048*c_1001_3^2 + 7411/1024*c_1001_3 + 1571/2048, c_0101_9 - 123/512*c_1001_3^13 + 121/512*c_1001_3^12 - 15/64*c_1001_3^11 + 2455/512*c_1001_3^10 + 9507/512*c_1001_3^9 - 1293/128*c_1001_3^8 - 1735/128*c_1001_3^7 - 48183/256*c_1001_3^6 - 223353/512*c_1001_3^5 + 9541/512*c_1001_3^4 - 65155/128*c_1001_3^3 + 83271/512*c_1001_3^2 - 13967/512*c_1001_3 + 515/256, c_0110_2 - 107/2048*c_1001_3^13 + 23/512*c_1001_3^12 - 95/2048*c_1001_3^11 + 2129/2048*c_1001_3^10 + 2135/512*c_1001_3^9 - 3373/2048*c_1001_3^8 - 3143/1024*c_1001_3^7 - 42443/1024*c_1001_3^6 - 205571/2048*c_1001_3^5 - 10335/1024*c_1001_3^4 - 235875/2048*c_1001_3^3 + 39733/2048*c_1001_3^2 - 7631/1024*c_1001_3 + 1439/2048, c_0110_8 + 111/1024*c_1001_3^13 - 37/512*c_1001_3^12 + 77/1024*c_1001_3^11 - 2189/1024*c_1001_3^10 - 4645/512*c_1001_3^9 + 1843/1024*c_1001_3^8 + 3729/512*c_1001_3^7 + 44699/512*c_1001_3^6 + 230259/1024*c_1001_3^5 + 15129/256*c_1001_3^4 + 243009/1024*c_1001_3^3 + 2503/1024*c_1001_3^2 - 9/128*c_1001_3 + 1091/1024, c_1001_3^14 - c_1001_3^13 + c_1001_3^12 - 20*c_1001_3^11 - 77*c_1001_3^10 + 43*c_1001_3^9 + 55*c_1001_3^8 + 784*c_1001_3^7 + 1807*c_1001_3^6 - 91*c_1001_3^5 + 2151*c_1001_3^4 - 700*c_1001_3^3 + 157*c_1001_3^2 - 15*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB