Magma V2.19-8 Wed Aug 21 2013 01:01:06 on localhost [Seed = 2732898648] Type ? for help. Type -D to quit. Loading file "L14a20351__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a20351 geometric_solution 10.38112596 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 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 0 0 0 0 0 0 0 1 0 -1 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.751796741995 0.691066483769 0 0 4 4 0132 1302 3012 0132 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 0 0 0 0 -1 1 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.279039617645 0.662721090076 5 0 5 6 0132 0132 3012 0132 1 1 1 0 0 0 -1 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 -1 -6 7 6 0 0 -6 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.460336617307 1.281704398360 7 8 8 0 0132 0132 3201 0132 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 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 0 0 0 0.970048232675 0.293067652968 7 1 1 7 2103 1230 0132 3201 1 1 0 1 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 0 0 -10 1 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751796741995 0.691066483769 2 2 9 9 0132 1230 0132 1230 1 1 0 1 0 0 1 -1 -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 0 7 -7 -6 0 0 6 -1 0 0 1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279039617645 0.662721090076 10 10 2 11 0132 2310 0132 0132 1 1 1 1 0 0 -1 1 -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 0 -7 7 -6 0 6 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.055346162381 0.285395585222 3 4 4 11 0132 2310 2103 2310 0 1 1 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 0 0 0 0 0 0 0 -9 10 -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.751796741995 0.691066483769 3 3 12 12 2310 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.609442159005 0.640050580611 5 11 11 5 3012 1302 3012 0132 1 1 1 0 0 0 1 -1 1 0 -1 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 7 -7 7 0 -7 0 -6 0 0 6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751796741995 0.691066483769 6 12 12 6 0132 2103 0321 3201 1 1 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 0 0 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.780251261028 0.819438342532 7 9 6 9 3201 1230 0132 2031 1 1 0 1 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 7 -7 0 0 0 0 0 1 -1 0 0 1 -7 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460336617307 1.281704398360 8 10 10 8 3201 2103 0321 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.536486297530 0.213352411768 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_10'], 'c_1001_11' : negation(d['c_0101_5']), 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_1001_0']), 's_0_10' : d['1'], 's_3_10' : 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_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : 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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_5'], 'c_1100_8' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_1001_5']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_1001_5']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_5']), 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0101_8']), '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'], 'c_1100_12' : d['c_0011_12'], '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' : d['1'], 'c_0011_9' : d['c_0011_9'], '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' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_9'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : negation(d['c_0101_10']), 'c_0011_10' : 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_11, c_0011_12, c_0011_3, c_0011_4, c_0011_9, c_0101_0, c_0101_10, c_0101_5, c_0101_8, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 16373386103/298433672*c_1001_5^13 - 3432889405325/8654576488*c_1001_5^12 + 1218104848609/1081822061*c_1001_5^11 - 2698659139717/4327288244*c_1001_5^10 - 9855137381105/4327288244*c_1001_5^9 + 5664347618621/2163644122*c_1001_5^8 + 22042837850521/8654576488*c_1001_5^7 - 30604933477191/8654576488*c_1001_5^6 - 5930393329289/2163644122*c_1001_5^5 + 16099835113919/4327288244*c_1001_5^4 + 7850102975845/4327288244*c_1001_5^3 - 2844365781759/1081822061*c_1001_5^2 - 2025425673713/8654576488*c_1001_5 + 5847090377731/8654576488, c_0011_0 - 1, c_0011_10 + 32328852/3519265*c_1001_5^13 - 5399433/703853*c_1001_5^12 - 124256576/3519265*c_1001_5^11 + 18483132/703853*c_1001_5^10 + 253865424/3519265*c_1001_5^9 - 26015141/703853*c_1001_5^8 - 330130546/3519265*c_1001_5^7 + 113852111/3519265*c_1001_5^6 + 58963870/703853*c_1001_5^5 - 68044549/3519265*c_1001_5^4 - 32437828/703853*c_1001_5^3 + 37233946/3519265*c_1001_5^2 + 8867984/703853*c_1001_5 - 15185317/3519265, c_0011_11 - 1, c_0011_12 - 55764593/2815412*c_1001_5^13 + 66341295/2815412*c_1001_5^12 + 48026069/703853*c_1001_5^11 - 55796479/703853*c_1001_5^10 - 94374111/703853*c_1001_5^9 + 88232706/703853*c_1001_5^8 + 491732925/2815412*c_1001_5^7 - 358283543/2815412*c_1001_5^6 - 113543120/703853*c_1001_5^5 + 126586819/1407706*c_1001_5^4 + 130433239/1407706*c_1001_5^3 - 32694228/703853*c_1001_5^2 - 74984823/2815412*c_1001_5 + 38618753/2815412, c_0011_3 + 18659963/14077060*c_1001_5^13 - 14448517/2815412*c_1001_5^12 - 15471787/7038530*c_1001_5^11 + 13879714/703853*c_1001_5^10 + 9990813/7038530*c_1001_5^9 - 26988662/703853*c_1001_5^8 - 54684229/14077060*c_1001_5^7 + 665537039/14077060*c_1001_5^6 + 5725030/703853*c_1001_5^5 - 137960739/3519265*c_1001_5^4 - 5541570/703853*c_1001_5^3 + 145923367/7038530*c_1001_5^2 + 7838871/2815412*c_1001_5 - 70212443/14077060, c_0011_4 + 32766839/5630824*c_1001_5^13 - 33077837/5630824*c_1001_5^12 - 27158435/1407706*c_1001_5^11 + 38961125/2815412*c_1001_5^10 + 115199345/2815412*c_1001_5^9 - 9571187/703853*c_1001_5^8 - 302686507/5630824*c_1001_5^7 + 18612981/5630824*c_1001_5^6 + 32271582/703853*c_1001_5^5 + 16901603/2815412*c_1001_5^4 - 64059613/2815412*c_1001_5^3 - 4502944/703853*c_1001_5^2 + 31198407/5630824*c_1001_5 + 10894195/5630824, c_0011_9 + 43040843/5630824*c_1001_5^13 - 82621881/5630824*c_1001_5^12 - 33823015/1407706*c_1001_5^11 + 147462825/2815412*c_1001_5^10 + 131288567/2815412*c_1001_5^9 - 66263570/703853*c_1001_5^8 - 371817791/5630824*c_1001_5^7 + 586977897/5630824*c_1001_5^6 + 48194650/703853*c_1001_5^5 - 224673781/2815412*c_1001_5^4 - 125165293/2815412*c_1001_5^3 + 27952003/703853*c_1001_5^2 + 76667451/5630824*c_1001_5 - 48545/4552, c_0101_0 - 1, c_0101_10 - 84659033/3519265*c_1001_5^13 + 27494429/703853*c_1001_5^12 + 280944524/3519265*c_1001_5^11 - 193768439/1407706*c_1001_5^10 - 546723501/3519265*c_1001_5^9 + 165569479/703853*c_1001_5^8 + 1512478443/7038530*c_1001_5^7 - 1782796343/7038530*c_1001_5^6 - 147790859/703853*c_1001_5^5 + 1330426367/7038530*c_1001_5^4 + 180995585/1407706*c_1001_5^3 - 337010709/3519265*c_1001_5^2 - 26452094/703853*c_1001_5 + 190447011/7038530, c_0101_5 + 52182223/14077060*c_1001_5^13 - 8203367/2815412*c_1001_5^12 - 94857277/7038530*c_1001_5^11 + 5690015/703853*c_1001_5^10 + 194079853/7038530*c_1001_5^9 - 12290063/1407706*c_1001_5^8 - 485017449/14077060*c_1001_5^7 + 62108769/14077060*c_1001_5^6 + 40288491/1407706*c_1001_5^5 - 288209/3519265*c_1001_5^4 - 9723541/703853*c_1001_5^3 + 412541/3519265*c_1001_5^2 + 7940783/2815412*c_1001_5 - 2065913/14077060, c_0101_8 - 43241958/3519265*c_1001_5^13 + 9894362/703853*c_1001_5^12 + 152673229/3519265*c_1001_5^11 - 34368724/703853*c_1001_5^10 - 295963681/3519265*c_1001_5^9 + 54282486/703853*c_1001_5^8 + 379636024/3519265*c_1001_5^7 - 277397594/3519265*c_1001_5^6 - 68814962/703853*c_1001_5^5 + 198896486/3519265*c_1001_5^4 + 39103545/703853*c_1001_5^3 - 106299444/3519265*c_1001_5^2 - 10767484/703853*c_1001_5 + 32724258/3519265, c_1001_0 + 84659033/3519265*c_1001_5^13 - 27494429/703853*c_1001_5^12 - 280944524/3519265*c_1001_5^11 + 193768439/1407706*c_1001_5^10 + 546723501/3519265*c_1001_5^9 - 165569479/703853*c_1001_5^8 - 1512478443/7038530*c_1001_5^7 + 1782796343/7038530*c_1001_5^6 + 147790859/703853*c_1001_5^5 - 1330426367/7038530*c_1001_5^4 - 180995585/1407706*c_1001_5^3 + 337010709/3519265*c_1001_5^2 + 26452094/703853*c_1001_5 - 190447011/7038530, c_1001_5^14 - 66/29*c_1001_5^13 - 59/29*c_1001_5^12 + 226/29*c_1001_5^11 + 52/29*c_1001_5^10 - 398/29*c_1001_5^9 - 17/29*c_1001_5^8 + 470/29*c_1001_5^7 - 17/29*c_1001_5^6 - 398/29*c_1001_5^5 + 52/29*c_1001_5^4 + 226/29*c_1001_5^3 - 59/29*c_1001_5^2 - 66/29*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.430 seconds, Total memory usage: 32.09MB