Magma V2.19-8 Tue Aug 20 2013 23:46:21 on localhost [Seed = 492533520] Type ? for help. Type -D to quit. Loading file "K14n16441__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16441 geometric_solution 10.61590415 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.472232180480 1.214524121242 0 0 4 4 0132 2310 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.214857722210 0.807386655354 5 0 7 6 0132 0132 0132 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 -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.140074609015 0.706021551420 8 9 5 0 0132 0132 2310 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 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.331192557394 0.335927692693 8 1 1 10 2103 3201 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 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.643676395880 0.360178827224 2 3 9 10 0132 3201 2103 2103 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 1 -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.508099281427 1.074967724529 7 11 2 8 0213 0132 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604152606021 0.871901922298 6 9 11 2 0213 0213 0132 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 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.109243866023 0.991890446867 3 6 4 11 0132 1302 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.206382757911 1.338611725144 5 3 7 10 2103 0132 0213 0321 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 -1 0 1 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.844728814992 1.353785189633 11 9 4 5 0321 0321 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.225026570012 0.958833250435 10 6 8 7 0321 0132 2031 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.290325876831 1.222794951811 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_1001_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_4'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(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_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' : negation(d['c_1001_1']), 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : negation(d['c_1010_8']), 'c_1100_6' : negation(d['c_1010_8']), 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_1010_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1010_8']), 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_1001_3']), 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1010_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'], '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_3']), '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' : d['c_0011_7'], '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_10']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0011_7'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0011_3'], '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_0011_7'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : d['c_0011_4']})} 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_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_1001_0, c_1001_1, c_1001_3, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 305116529/425088*c_1010_8^13 + 74531995/106272*c_1010_8^12 - 47448791/17712*c_1010_8^11 + 93799859/47232*c_1010_8^10 - 2766427331/425088*c_1010_8^9 + 184727525/106272*c_1010_8^8 - 897086461/141696*c_1010_8^7 + 530504213/106272*c_1010_8^6 - 868190845/141696*c_1010_8^5 + 885896897/425088*c_1010_8^4 - 545002793/106272*c_1010_8^3 + 222905341/425088*c_1010_8^2 - 243573869/106272*c_1010_8 + 427459693/425088, c_0011_0 - 1, c_0011_10 - 93/164*c_1010_8^13 + 87/82*c_1010_8^12 - 117/41*c_1010_8^11 + 557/164*c_1010_8^10 - 1103/164*c_1010_8^9 + 395/82*c_1010_8^8 - 899/164*c_1010_8^7 + 174/41*c_1010_8^6 - 833/164*c_1010_8^5 + 505/164*c_1010_8^4 - 157/82*c_1010_8^3 + 221/164*c_1010_8^2 - 5/41*c_1010_8 + 39/164, c_0011_3 - 75/164*c_1010_8^13 + 4/41*c_1010_8^12 - 71/82*c_1010_8^11 - 183/164*c_1010_8^10 - 133/164*c_1010_8^9 - 217/41*c_1010_8^8 + 341/164*c_1010_8^7 - 189/41*c_1010_8^6 + 217/164*c_1010_8^5 - 955/164*c_1010_8^4 + 85/82*c_1010_8^3 - 573/164*c_1010_8^2 - 57/82*c_1010_8 - 77/164, c_0011_4 + 27/164*c_1010_8^13 + 25/82*c_1010_8^12 - 11/41*c_1010_8^11 + 243/164*c_1010_8^10 - 103/164*c_1010_8^9 + 253/82*c_1010_8^8 - 67/164*c_1010_8^7 - 105/82*c_1010_8^6 + 99/164*c_1010_8^5 - 17/164*c_1010_8^4 + 38/41*c_1010_8^3 - 289/164*c_1010_8^2 + 57/41*c_1010_8 - 215/164, c_0011_7 + 24/41*c_1010_8^13 - 33/41*c_1010_8^12 + 227/82*c_1010_8^11 - 112/41*c_1010_8^10 + 282/41*c_1010_8^9 - 147/41*c_1010_8^8 + 587/82*c_1010_8^7 - 173/41*c_1010_8^6 + 463/82*c_1010_8^5 - 217/82*c_1010_8^4 + 293/82*c_1010_8^3 - 20/41*c_1010_8^2 + 91/82*c_1010_8 - 18/41, c_0101_0 + 18/41*c_1010_8^13 + 6/41*c_1010_8^12 + 37/82*c_1010_8^11 + 119/82*c_1010_8^10 + 27/41*c_1010_8^9 + 187/41*c_1010_8^8 - 21/82*c_1010_8^7 - 75/82*c_1010_8^6 + 91/82*c_1010_8^5 + 57/41*c_1010_8^4 + 115/41*c_1010_8^3 - 71/82*c_1010_8^2 + 99/82*c_1010_8 - 109/82, c_0101_1 + 23/41*c_1010_8^13 - 47/41*c_1010_8^12 + 125/41*c_1010_8^11 - 365/82*c_1010_8^10 + 342/41*c_1010_8^9 - 351/41*c_1010_8^8 + 400/41*c_1010_8^7 - 909/82*c_1010_8^6 + 426/41*c_1010_8^5 - 647/82*c_1010_8^4 + 631/82*c_1010_8^3 - 339/82*c_1010_8^2 + 94/41*c_1010_8 - 137/82, c_0101_10 + 81/164*c_1010_8^13 - 24/41*c_1010_8^12 + 139/82*c_1010_8^11 - 173/164*c_1010_8^10 + 511/164*c_1010_8^9 + 31/41*c_1010_8^8 + 45/164*c_1010_8^7 + 95/82*c_1010_8^6 + 133/164*c_1010_8^5 + 523/164*c_1010_8^4 + 32/41*c_1010_8^3 + 445/164*c_1010_8^2 - 27/82*c_1010_8 + 93/164, c_1001_0 - 77/164*c_1010_8^13 + 38/41*c_1010_8^12 - 81/41*c_1010_8^11 + 373/164*c_1010_8^10 - 587/164*c_1010_8^9 + 91/41*c_1010_8^8 + 21/164*c_1010_8^7 + 99/82*c_1010_8^6 - 91/164*c_1010_8^5 + 91/164*c_1010_8^4 + 131/82*c_1010_8^3 - 93/164*c_1010_8^2 + 47/41*c_1010_8 + 27/164, c_1001_1 + 3/41*c_1010_8^13 + 1/41*c_1010_8^12 + 13/82*c_1010_8^11 + 27/41*c_1010_8^10 - 16/41*c_1010_8^9 + 120/41*c_1010_8^8 - 147/82*c_1010_8^7 + 209/41*c_1010_8^6 - 183/82*c_1010_8^5 + 347/82*c_1010_8^4 - 153/82*c_1010_8^3 + 141/41*c_1010_8^2 - 127/82*c_1010_8 + 49/41, c_1001_3 + 19/164*c_1010_8^13 + 5/41*c_1010_8^12 + 65/82*c_1010_8^11 - 75/164*c_1010_8^10 + 541/164*c_1010_8^9 - 56/41*c_1010_8^8 + 1195/164*c_1010_8^7 - 247/82*c_1010_8^6 + 835/164*c_1010_8^5 - 343/164*c_1010_8^4 + 212/41*c_1010_8^3 - 173/164*c_1010_8^2 + 185/82*c_1010_8 - 45/164, c_1010_8^14 - c_1010_8^13 + 4*c_1010_8^12 - 3*c_1010_8^11 + 10*c_1010_8^10 - 3*c_1010_8^9 + 11*c_1010_8^8 - 7*c_1010_8^7 + 11*c_1010_8^6 - 4*c_1010_8^5 + 9*c_1010_8^4 - c_1010_8^3 + 5*c_1010_8^2 - c_1010_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.410 Total time: 2.620 seconds, Total memory usage: 64.12MB