Magma V2.19-8 Tue Aug 20 2013 23:39:43 on localhost [Seed = 1730216736] Type ? for help. Type -D to quit. Loading file "K14n15069__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15069 geometric_solution 9.60098541 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 1023 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 1 -1 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798544879972 0.491865880972 0 4 5 3 0132 0132 0132 2031 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 4 0 -4 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.435544784157 1.198590867520 6 0 0 7 0132 0132 1023 0132 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 0 0 0 -1 0 1 0 -5 5 0 0 4 1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798544879972 0.491865880972 4 1 0 8 0132 1302 0132 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 -1 1 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.779768637063 0.344776078493 3 1 6 5 0132 0132 3012 3120 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 -4 5 -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.406168748269 1.007463257366 4 9 10 1 3120 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 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.547081342856 0.383800689414 2 4 9 8 0132 1230 0321 1230 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 0 0 0 1 0 -1 0 -4 0 0 4 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.129376186297 0.357306038537 9 8 2 8 0321 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435544784157 1.198590867520 6 7 3 7 3012 2103 0132 0213 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 -1 0 0 0 0 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.035712759242 1.079168671252 7 5 6 10 0321 0132 0321 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.285100637175 1.088986957666 10 10 9 5 1302 2031 1230 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.496537866755 0.601906671564 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : d['c_0011_8'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : d['c_0011_7'], 'c_1010_10' : d['c_0011_10'], '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_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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_5'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_1010_7']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : d['c_1010_7'], 'c_1100_3' : d['c_1010_7'], 'c_1100_2' : negation(d['c_1010_7']), 'c_1100_10' : negation(d['c_0011_7']), 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_8'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_1010_7']), 'c_1100_8' : d['c_1010_7'], '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' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_5'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_8'], '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_4'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0011_8']})} 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_5, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 195785453735/104824832*c_1010_7^15 - 743224651989/104824832*c_1010_7^14 + 9225828604439/104824832*c_1010_7^13 - 31709372787173/104824832*c_1010_7^12 + 308151291048339/104824832*c_1010_7^11 - 830210362882681/104824832*c_1010_7^10 + 408269121349621/14974976*c_1010_7^9 + 1612416777593511/104824832*c_1010_7^8 + 6054979935986645/104824832*c_1010_7^7 + 2121147508698145/104824832*c_1010_7^6 + 2880903498246533/104824832*c_1010_7^5 - 303230144437679/104824832*c_1010_7^4 - 46570769725007/104824832*c_1010_7^3 + 99649269862893/104824832*c_1010_7^2 - 17634441849615/104824832*c_1010_7 + 2623591830061/104824832, c_0011_0 - 1, c_0011_10 + 477/16384*c_1010_7^15 - 1687/16384*c_1010_7^14 + 22093/16384*c_1010_7^13 - 71743/16384*c_1010_7^12 + 734729/16384*c_1010_7^11 - 1841515/16384*c_1010_7^10 + 6571801/16384*c_1010_7^9 + 5380077/16384*c_1010_7^8 + 16998279/16384*c_1010_7^7 + 9768331/16384*c_1010_7^6 + 11063511/16384*c_1010_7^5 + 2117651/16384*c_1010_7^4 + 1004115/16384*c_1010_7^3 + 91703/16384*c_1010_7^2 + 2051/16384*c_1010_7 - 897/16384, c_0011_5 + 13/32768*c_1010_7^15 - 41/32768*c_1010_7^14 + 589/32768*c_1010_7^13 - 1737/32768*c_1010_7^12 + 19473/32768*c_1010_7^11 - 43037/32768*c_1010_7^10 + 166369/32768*c_1010_7^9 + 203123/32768*c_1010_7^8 + 570887/32768*c_1010_7^7 + 536229/32768*c_1010_7^6 + 633447/32768*c_1010_7^5 + 436645/32768*c_1010_7^4 + 329499/32768*c_1010_7^3 + 195937/32768*c_1010_7^2 + 65579/32768*c_1010_7 - 15/32768, c_0011_7 - 6131/32768*c_1010_7^15 + 24001/32768*c_1010_7^14 - 291995/32768*c_1010_7^13 + 1028681/32768*c_1010_7^12 - 9783791/32768*c_1010_7^11 + 27205045/32768*c_1010_7^10 - 93129991/32768*c_1010_7^9 - 38164275/32768*c_1010_7^8 - 189352249/32768*c_1010_7^7 - 43526749/32768*c_1010_7^6 - 91741905/32768*c_1010_7^5 + 22599195/32768*c_1010_7^4 - 3927461/32768*c_1010_7^3 + 150823/32768*c_1010_7^2 - 67277/32768*c_1010_7 + 12431/32768, c_0011_8 + 4783/32768*c_1010_7^15 - 18307/32768*c_1010_7^14 + 226183/32768*c_1010_7^13 - 782715/32768*c_1010_7^12 + 7563611/32768*c_1010_7^11 - 20560895/32768*c_1010_7^10 + 70833507/32768*c_1010_7^9 + 36039193/32768*c_1010_7^8 + 150561133/32768*c_1010_7^7 + 47171351/32768*c_1010_7^6 + 75221141/32768*c_1010_7^5 - 10866161/32768*c_1010_7^4 + 1932873/32768*c_1010_7^3 + 268203/32768*c_1010_7^2 + 37569/32768*c_1010_7 - 1517/32768, c_0101_0 - 4783/32768*c_1010_7^15 + 18307/32768*c_1010_7^14 - 226183/32768*c_1010_7^13 + 782715/32768*c_1010_7^12 - 7563611/32768*c_1010_7^11 + 20560895/32768*c_1010_7^10 - 70833507/32768*c_1010_7^9 - 36039193/32768*c_1010_7^8 - 150561133/32768*c_1010_7^7 - 47171351/32768*c_1010_7^6 - 75221141/32768*c_1010_7^5 + 10866161/32768*c_1010_7^4 - 1932873/32768*c_1010_7^3 - 268203/32768*c_1010_7^2 - 37569/32768*c_1010_7 + 1517/32768, c_0101_1 + 6655/32768*c_1010_7^15 - 26619/32768*c_1010_7^14 + 319115/32768*c_1010_7^13 - 1143391/32768*c_1010_7^12 + 10712531/32768*c_1010_7^11 - 30426095/32768*c_1010_7^10 + 103519711/32768*c_1010_7^9 + 33035661/32768*c_1010_7^8 + 201245837/32768*c_1010_7^7 + 29177055/32768*c_1010_7^6 + 93779153/32768*c_1010_7^5 - 33923437/32768*c_1010_7^4 + 5359329/32768*c_1010_7^3 - 616501/32768*c_1010_7^2 + 80773/32768*c_1010_7 - 25217/32768, c_0101_4 + 3881/16384*c_1010_7^15 - 16319/16384*c_1010_7^14 + 189135/16384*c_1010_7^13 - 704401/16384*c_1010_7^12 + 6377097/16384*c_1010_7^11 - 19001231/16384*c_1010_7^10 + 63779383/16384*c_1010_7^9 + 7488839/16384*c_1010_7^8 + 111326083/16384*c_1010_7^7 - 8392853/16384*c_1010_7^6 + 46456917/16384*c_1010_7^5 - 33006635/16384*c_1010_7^4 + 4628555/16384*c_1010_7^3 - 977309/16384*c_1010_7^2 + 55589/16384*c_1010_7 - 30731/16384, c_0101_5 + 1127/32768*c_1010_7^15 - 2845/32768*c_1010_7^14 + 47823/32768*c_1010_7^13 - 115525/32768*c_1010_7^12 + 1548819/32768*c_1010_7^11 - 2545505/32768*c_1010_7^10 + 10609003/32768*c_1010_7^9 + 29640423/32768*c_1010_7^8 + 48638293/32768*c_1010_7^7 + 58867337/32768*c_1010_7^6 + 37088301/32768*c_1010_7^5 + 22747953/32768*c_1010_7^4 - 369679/32768*c_1010_7^3 + 649397/32768*c_1010_7^2 + 68569/32768*c_1010_7 + 23661/32768, c_0101_6 - 6655/32768*c_1010_7^15 + 26619/32768*c_1010_7^14 - 319115/32768*c_1010_7^13 + 1143391/32768*c_1010_7^12 - 10712531/32768*c_1010_7^11 + 30426095/32768*c_1010_7^10 - 103519711/32768*c_1010_7^9 - 33035661/32768*c_1010_7^8 - 201245837/32768*c_1010_7^7 - 29177055/32768*c_1010_7^6 - 93779153/32768*c_1010_7^5 + 33923437/32768*c_1010_7^4 - 5359329/32768*c_1010_7^3 + 616501/32768*c_1010_7^2 - 80773/32768*c_1010_7 + 25217/32768, c_1010_7^16 - 4*c_1010_7^15 + 48*c_1010_7^14 - 172*c_1010_7^13 + 1612*c_1010_7^12 - 4580*c_1010_7^11 + 15632*c_1010_7^10 + 4756*c_1010_7^9 + 30950*c_1010_7^8 + 4756*c_1010_7^7 + 15632*c_1010_7^6 - 4580*c_1010_7^5 + 1612*c_1010_7^4 - 172*c_1010_7^3 + 48*c_1010_7^2 - 4*c_1010_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.430 seconds, Total memory usage: 32.09MB