Magma V2.19-8 Wed Aug 21 2013 00:59:42 on localhost [Seed = 1091000835] Type ? for help. Type -D to quit. Loading file "L13n7401__sl2_c7.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n7401 geometric_solution 11.74011858 oriented_manifold CS_known -0.0000000000000004 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 2 1 0 2 0 0 0 0 0 0 0 0 2 -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 -1 1 0 0 1 -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 1.217308113729 1.142496077623 0 0 5 4 0132 1302 0132 0132 1 1 2 0 0 0 1 -1 0 0 0 0 1 0 0 -1 -2 1 1 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563240556219 0.409917543272 5 0 5 3 0132 0132 3012 0132 2 1 2 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408097556909 0.595700385087 4 6 2 0 0132 0132 0132 0132 2 1 2 2 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 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.126481112437 0.819835086544 3 7 1 8 0132 0132 0132 0132 1 1 2 2 0 0 1 -1 0 0 0 0 -1 0 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 -1 0 0 1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.237929715855 1.040911461621 2 2 7 1 0132 1230 0132 0132 1 1 0 2 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 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.839330954758 0.844716521786 9 3 10 10 0132 0132 0132 0321 2 1 2 2 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.297335465358 0.940829069212 8 4 9 5 0132 0132 0132 0132 1 1 2 2 0 0 1 -1 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 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.429108686080 0.554467945309 7 9 4 11 0132 0132 0132 0132 1 1 2 2 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 1 0 -1 0 0 -1 1 -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.330752488593 0.517546949612 6 8 12 7 0132 0132 0132 0132 1 1 2 2 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 -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.966418402254 1.463885467961 11 6 12 6 0132 0321 2310 0132 2 1 2 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 0 0 0 0 0 -1 1 -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.694591901170 0.966372501194 10 12 8 12 0132 3012 0132 0132 1 1 1 2 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.995120557105 1.047774816530 11 10 11 9 1230 3201 0132 0132 1 1 2 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 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.613794112948 0.299170842171 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_1001_7'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_1001_0'], 's_3_11' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : 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' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : 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' : 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_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_1001_4']), 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_7'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : d['c_1100_1'], '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' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(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_3'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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_10'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0101_10'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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_0011_10']), 'c_0101_8' : d['c_0101_3'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], '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_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_1001_0, c_1001_4, c_1001_7, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 1208296214032043/1483776*c_1100_1^8 + 49881815844097/20608*c_1100_1^7 + 183028889411957/52992*c_1100_1^6 + 555398464749383/185472*c_1100_1^5 + 60105821405281/35328*c_1100_1^4 + 13186025754535/20608*c_1100_1^3 + 56786974250855/370944*c_1100_1^2 + 3853344778897/185472*c_1100_1 + 1720212035075/1483776, c_0011_0 - 1, c_0011_10 - 1073567/64*c_1100_1^8 - 1421213/32*c_1100_1^7 - 3726935/64*c_1100_1^6 - 1498471/32*c_1100_1^5 - 1596117/64*c_1100_1^4 - 283967/32*c_1100_1^3 - 130781/64*c_1100_1^2 - 8845/32*c_1100_1 - 135/8, c_0011_12 + 281309/64*c_1100_1^8 + 88703/8*c_1100_1^7 + 910729/64*c_1100_1^6 + 179305/16*c_1100_1^5 + 375711/64*c_1100_1^4 + 16493/8*c_1100_1^3 + 30651/64*c_1100_1^2 + 1103/16*c_1100_1 + 5, c_0011_3 - 5741/128*c_1100_1^8 - 12959/128*c_1100_1^7 - 16437/128*c_1100_1^6 - 12131/128*c_1100_1^5 - 6579/128*c_1100_1^4 - 1917/128*c_1100_1^3 - 743/128*c_1100_1^2 - 65/128*c_1100_1 - 1/32, c_0101_0 - 1, c_0101_1 - 1, c_0101_10 + 86115/16*c_1100_1^8 + 601187/32*c_1100_1^7 + 123727/4*c_1100_1^6 + 982271/32*c_1100_1^5 + 318237/16*c_1100_1^4 + 273841/32*c_1100_1^3 + 18989/8*c_1100_1^2 + 12381/32*c_1100_1 + 233/8, c_0101_11 + 86115/128*c_1100_1^8 + 205867/128*c_1100_1^7 + 260991/128*c_1100_1^6 + 200403/128*c_1100_1^5 + 104509/128*c_1100_1^4 + 36089/128*c_1100_1^3 + 7645/128*c_1100_1^2 + 585/128*c_1100_1 - 15/32, c_0101_3 - 2*c_1100_1 - 1, c_1001_0 - c_1100_1, c_1001_4 + c_1100_1 + 1, c_1001_7 - 5741/128*c_1100_1^8 - 12959/128*c_1100_1^7 - 16437/128*c_1100_1^6 - 12131/128*c_1100_1^5 - 6579/128*c_1100_1^4 - 1917/128*c_1100_1^3 - 743/128*c_1100_1^2 - 449/128*c_1100_1 - 33/32, c_1100_1^9 + 18700/5741*c_1100_1^8 + 29396/5741*c_1100_1^7 + 28568/5741*c_1100_1^6 + 18710/5741*c_1100_1^5 + 8496/5741*c_1100_1^4 + 2660/5741*c_1100_1^3 + 552/5741*c_1100_1^2 + 69/5741*c_1100_1 + 4/5741 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.430 Total time: 0.640 seconds, Total memory usage: 32.09MB