Magma V2.19-8 Wed Aug 21 2013 00:39:31 on localhost [Seed = 4004051031] Type ? for help. Type -D to quit. Loading file "K14n27137__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n27137 geometric_solution 10.90185265 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 -10 -1 11 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199446440237 0.369250498308 0 4 5 5 0132 0132 0213 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 1 0 10 0 -10 0 0 -11 0 11 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.120885115193 1.384766001567 6 0 0 6 0132 0132 1023 1023 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 10 -10 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.536633352998 1.370794344934 7 4 0 8 0132 1230 0132 0132 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 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.888433071702 0.388525176910 9 1 3 7 0132 0132 3012 2031 0 0 0 0 0 0 0 0 0 0 1 -1 -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 1 0 -1 0 0 -11 11 10 -10 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568361617405 0.762797744665 7 1 1 10 3012 0213 0132 0132 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 0 -1 0 1 -11 0 0 11 0 10 0 -10 1 10 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326757506495 0.514702564557 2 9 10 2 0132 0132 0213 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.443790820311 1.247029651475 3 4 11 5 0132 1302 0132 1230 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 -11 0 11 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.852224926367 0.485896932625 11 10 3 9 0132 2031 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 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852224926367 0.485896932625 4 6 8 10 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 11 0 0 -11 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443177010799 0.490615693648 8 6 5 9 1302 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 1 -1 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 -11 11 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937436220273 0.716682074197 8 12 12 7 0132 0132 1023 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.640155797941 0.210702538111 12 11 11 12 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.323504380239 0.716996857345 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_4'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : d['c_1010_10'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], '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_1010_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_1010_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1010_10'], 'c_1100_3' : d['c_1010_10'], 'c_1100_2' : negation(d['c_1010_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_1001_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_1010_10'], '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' : negation(d['c_0011_11']), '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_0']), 'c_0011_8' : negation(d['c_0011_11']), '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' : d['c_0011_0'], '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_7'], 'c_0110_10' : negation(d['c_0101_4']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0011_5'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0101_2'], 's_2_9' : d['1']})} 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_3, c_0011_5, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_0101_7, c_1001_10, c_1010_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t + 1240089328525/3106083197*c_1010_10^6 - 29462943450317/3106083197*c_1010_10^5 + 133021925353748/3106083197*c_1010_10^4 - 207253749006020/3106083197*c_1010_10^3 + 184429742508644/3106083197*c_1010_10^2 - 87063367265750/3106083197*c_1010_10 + 5163109844715/443726171, c_0011_0 - 1, c_0011_10 - 237494/3336287*c_1010_10^6 + 5520280/3336287*c_1010_10^5 - 22569025/3336287*c_1010_10^4 + 26624348/3336287*c_1010_10^3 - 16683221/3336287*c_1010_10^2 + 5351709/3336287*c_1010_10 - 1947535/3336287, c_0011_11 - 1, c_0011_3 + 55573/3336287*c_1010_10^6 - 1453788/3336287*c_1010_10^5 + 9071508/3336287*c_1010_10^4 - 22093570/3336287*c_1010_10^3 + 22461038/3336287*c_1010_10^2 - 10726134/3336287*c_1010_10 + 3461838/3336287, c_0011_5 + 91824/3336287*c_1010_10^6 - 2190312/3336287*c_1010_10^5 + 10009606/3336287*c_1010_10^4 - 15328272/3336287*c_1010_10^3 + 13319569/3336287*c_1010_10^2 - 8267768/3336287*c_1010_10 - 94463/3336287, c_0101_0 + 91824/3336287*c_1010_10^6 - 2190312/3336287*c_1010_10^5 + 10009606/3336287*c_1010_10^4 - 15328272/3336287*c_1010_10^3 + 13319569/3336287*c_1010_10^2 - 8267768/3336287*c_1010_10 + 3241824/3336287, c_0101_11 + 160756/3336287*c_1010_10^6 - 3920029/3336287*c_1010_10^5 + 19440161/3336287*c_1010_10^4 - 33155444/3336287*c_1010_10^3 + 22955921/3336287*c_1010_10^2 - 6426923/3336287*c_1010_10 + 1114871/3336287, c_0101_12 - 302226/3336287*c_1010_10^6 + 6963204/3336287*c_1010_10^5 - 27345661/3336287*c_1010_10^4 + 29336185/3336287*c_1010_10^3 - 18541596/3336287*c_1010_10^2 + 5363285/3336287*c_1010_10 - 4116034/3336287, c_0101_2 - 67579/3336287*c_1010_10^6 + 1611115/3336287*c_1010_10^5 - 7423736/3336287*c_1010_10^4 + 12850637/3336287*c_1010_10^3 - 14329963/3336287*c_1010_10^2 + 9639344/3336287*c_1010_10 - 2126003/3336287, c_0101_4 - 132311/3336287*c_1010_10^6 + 3054039/3336287*c_1010_10^5 - 12200372/3336287*c_1010_10^4 + 15562474/3336287*c_1010_10^3 - 16188338/3336287*c_1010_10^2 + 9650920/3336287*c_1010_10 - 4294502/3336287, c_0101_7 + 117189/3336287*c_1010_10^6 - 2623568/3336287*c_1010_10^5 + 8720881/3336287*c_1010_10^4 - 1818941/3336287*c_1010_10^3 - 7636192/3336287*c_1010_10^2 + 2049714/3336287*c_1010_10 + 2989772/3336287, c_1001_10 + 55573/3336287*c_1010_10^6 - 1453788/3336287*c_1010_10^5 + 9071508/3336287*c_1010_10^4 - 22093570/3336287*c_1010_10^3 + 22461038/3336287*c_1010_10^2 - 10726134/3336287*c_1010_10 + 3461838/3336287, c_1010_10^7 - 24*c_1010_10^6 + 113*c_1010_10^5 - 193*c_1010_10^4 + 189*c_1010_10^3 - 106*c_1010_10^2 + 46*c_1010_10 - 7 ], 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_3, c_0011_5, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_0101_7, c_1001_10, c_1010_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 10393916433879877088239/16678099323873*c_1010_10^7 - 870014706216732613275968/16678099323873*c_1010_10^6 + 884322288198606220854494/5559366441291*c_1010_10^5 - 2395853757450961633597777/16678099323873*c_1010_10^4 - 220122502558015624010975/16678099323873*c_1010_10^3 + 932708810887424074743965/16678099323873*c_1010_10^2 + 1512749163209445392640845/16678099323873*c_1010_10 - 152278434267484705083479/5559366441291, c_0011_0 - 1, c_0011_10 - 246558407/1332222967*c_1010_10^7 + 61920070238/3996668901*c_1010_10^6 - 189312790504/3996668901*c_1010_10^5 + 172307120575/3996668901*c_1010_10^4 + 16068545554/3996668901*c_1010_10^3 - 70873451963/3996668901*c_1010_10^2 - 106933293830/3996668901*c_1010_10 + 11462821693/1332222967, c_0011_11 + 357571628/3996668901*c_1010_10^7 - 9980307116/1332222967*c_1010_10^6 + 30709500104/1332222967*c_1010_10^5 - 82532575333/3996668901*c_1010_10^4 - 9957997060/3996668901*c_1010_10^3 + 30589845082/3996668901*c_1010_10^2 + 49950739561/3996668901*c_1010_10 - 16813270991/3996668901, c_0011_3 + 88753687/3996668901*c_1010_10^7 - 7407489635/3996668901*c_1010_10^6 + 20863532855/3996668901*c_1010_10^5 - 16196588939/3996668901*c_1010_10^4 - 5602222516/3996668901*c_1010_10^3 + 2581426111/1332222967*c_1010_10^2 + 5301121685/1332222967*c_1010_10 - 2134795457/3996668901, c_0011_5 + 47869556/1332222967*c_1010_10^7 - 12041005115/3996668901*c_1010_10^6 + 38365201582/3996668901*c_1010_10^5 - 38818738775/3996668901*c_1010_10^4 + 1037599055/3996668901*c_1010_10^3 + 4498509769/1332222967*c_1010_10^2 + 23100244946/3996668901*c_1010_10 - 6456215786/3996668901, c_0101_0 + 776012170/3996668901*c_1010_10^7 - 21657969953/1332222967*c_1010_10^6 + 199610634740/3996668901*c_1010_10^5 - 183412931806/3996668901*c_1010_10^4 - 13737362101/3996668901*c_1010_10^3 + 69787992805/3996668901*c_1010_10^2 + 37731283639/1332222967*c_1010_10 - 36365784110/3996668901, c_0101_11 + 47869556/1332222967*c_1010_10^7 - 12041005115/3996668901*c_1010_10^6 + 38365201582/3996668901*c_1010_10^5 - 38818738775/3996668901*c_1010_10^4 + 1037599055/3996668901*c_1010_10^3 + 4498509769/1332222967*c_1010_10^2 + 19103576045/3996668901*c_1010_10 - 6456215786/3996668901, c_0101_12 - 81562552/1332222967*c_1010_10^7 + 6827719064/1332222967*c_1010_10^6 - 62625823769/3996668901*c_1010_10^5 + 58743736393/3996668901*c_1010_10^4 + 3702066446/3996668901*c_1010_10^3 - 27432297673/3996668901*c_1010_10^2 - 36911121064/3996668901*c_1010_10 + 13025379872/3996668901, c_0101_2 - 301401476/3996668901*c_1010_10^7 + 8414405045/1332222967*c_1010_10^6 - 78162038818/3996668901*c_1010_10^5 + 73748326529/3996668901*c_1010_10^4 + 790876064/3996668901*c_1010_10^3 - 25115503868/3996668901*c_1010_10^2 - 14951090887/1332222967*c_1010_10 + 14138161186/3996668901, c_0101_4 - 1002300431/3996668901*c_1010_10^7 + 27969496178/1332222967*c_1010_10^6 - 85590340934/1332222967*c_1010_10^5 + 76951725681/1332222967*c_1010_10^4 + 23870401201/3996668901*c_1010_10^3 - 31024932871/1332222967*c_1010_10^2 - 145945194397/3996668901*c_1010_10 + 15720179681/1332222967, c_0101_7 + 430765843/3996668901*c_1010_10^7 - 36067650953/3996668901*c_1010_10^6 + 110879223760/3996668901*c_1010_10^5 - 34869588384/1332222967*c_1010_10^4 - 972269342/1332222967*c_1010_10^3 + 45390637756/3996668901*c_1010_10^2 + 57153953518/3996668901*c_1010_10 - 19990212847/3996668901, c_1001_10 + 406233878/3996668901*c_1010_10^7 - 11343141137/1332222967*c_1010_10^6 + 35274477960/1332222967*c_1010_10^5 - 97366795243/3996668901*c_1010_10^4 - 6764256592/3996668901*c_1010_10^3 + 35696875957/3996668901*c_1010_10^2 + 58115476612/3996668901*c_1010_10 - 19228289750/3996668901, c_1010_10^8 - 84*c_1010_10^7 + 280*c_1010_10^6 - 306*c_1010_10^5 + 47*c_1010_10^4 + 96*c_1010_10^3 + 119*c_1010_10^2 - 87*c_1010_10 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 68.370 Total time: 68.569 seconds, Total memory usage: 247.12MB