Magma V2.19-8 Tue Aug 20 2013 23:40:02 on localhost [Seed = 846485148] Type ? for help. Type -D to quit. Loading file "K14n27134__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n27134 geometric_solution 9.51662056 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273101336299 0.801154390446 0 5 5 6 0132 0132 3201 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 0 0 0 0 0 -1 1 -10 1 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927411388488 1.017500221529 6 0 3 7 3201 0132 3012 0132 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 1 -1 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.207993858902 0.430576953388 4 2 5 0 0321 1230 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 -1 0 1 0 0 0 0 0 -10 0 10 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.621158787937 0.684612745862 3 8 0 8 0321 0132 0132 1023 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 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363500945637 1.434882903303 1 1 7 3 2310 0132 2031 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 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.510703766392 0.536826517626 8 9 1 2 0213 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 -9 0 -1 10 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218237681929 1.745679292786 9 8 2 5 0132 0213 0132 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 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.218237681929 1.745679292786 6 4 7 4 0213 0132 0213 1023 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 0 0 0 0 9 0 0 -9 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.342859455794 1.778978605038 7 6 10 10 0132 0132 3201 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.034135164762 0.584368243177 9 10 9 10 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.896860352066 0.950778183174 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : negation(d['c_0101_9']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0101_2'], 'c_1010_10' : d['c_0101_9'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(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_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1010_7']), 'c_1100_4' : negation(d['c_1010_7']), 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_1010_7']), 'c_1100_3' : negation(d['c_1010_7']), 'c_1100_2' : d['c_0101_5'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_9']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : negation(d['c_0011_3']), 'c_1100_8' : d['c_1010_7'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : 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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], '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_10' : negation(d['c_0101_9']), 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_6'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_9'], 'c_0110_6' : negation(d['c_0101_2'])})} 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_3, c_0011_4, c_0011_6, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_9, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 5*c_0101_9^5 + 11*c_0101_9^4 - 12*c_0101_9^3 - 24*c_0101_9^2 - 11*c_0101_9 + 8, c_0011_0 - 1, c_0011_10 - c_0101_9^5 - 2*c_0101_9^4 + 3*c_0101_9^3 + 4*c_0101_9^2 + 2*c_0101_9, c_0011_3 + c_0101_9^5 + 2*c_0101_9^4 - 2*c_0101_9^3 - 3*c_0101_9^2 - 4*c_0101_9, c_0011_4 + c_0101_9^5 + 2*c_0101_9^4 - 2*c_0101_9^3 - 3*c_0101_9^2 - 4*c_0101_9 - 1, c_0011_6 - c_0101_9^5 - 2*c_0101_9^4 + 2*c_0101_9^3 + 3*c_0101_9^2 + 2*c_0101_9, c_0101_1 - 2*c_0101_9^5 - 4*c_0101_9^4 + 5*c_0101_9^3 + 7*c_0101_9^2 + 5*c_0101_9, c_0101_10 + c_0101_9^5 + 2*c_0101_9^4 - 2*c_0101_9^3 - 3*c_0101_9^2 - 2*c_0101_9, c_0101_2 - 2*c_0101_9^5 - 4*c_0101_9^4 + 5*c_0101_9^3 + 7*c_0101_9^2 + 5*c_0101_9, c_0101_5 - c_0101_9^5 - 2*c_0101_9^4 + 2*c_0101_9^3 + 3*c_0101_9^2 + 4*c_0101_9 + 1, c_0101_9^6 + 3*c_0101_9^5 - 5*c_0101_9^3 - 7*c_0101_9^2 - 4*c_0101_9 - 1, c_1010_7 + 1 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_9, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 35766745304569014031/1126381839288907424*c_1010_7^16 + 37007591240535299323/1126381839288907424*c_1010_7^15 + 292184739694643788425/1126381839288907424*c_1010_7^14 - 836484229839826666453/1126381839288907424*c_1010_7^13 + 45372393511799260917/281595459822226856*c_1010_7^12 + 62806707304767863869/33128877626144336*c_1010_7^11 - 675098599226535912683/140797729911113428*c_1010_7^10 + 5058771002761930708713/1126381839288907424*c_1010_7^9 - 430979947804646239/1874179433093024*c_1010_7^8 - 5662154404358848211247/1126381839288907424*c_1010_7^7 + 502928940975410519775/70398864955556714*c_1010_7^6 - 6042720199908620152607/1126381839288907424*c_1010_7^5 + 793932473119200163407/563190919644453712*c_1010_7^4 + 1253100480144940118231/1126381839288907424*c_1010_7^3 - 557477821607379371653/563190919644453712*c_1010_7^2 + 234511958588727563927/563190919644453712*c_1010_7 - 104967585139034561235/1126381839288907424, c_0011_0 - 1, c_0011_10 - 618953133419/632061617624*c_1010_7^16 + 379903032461/316030808812*c_1010_7^15 + 2450644345611/316030808812*c_1010_7^14 - 15422764960195/632061617624*c_1010_7^13 + 6176404353865/632061617624*c_1010_7^12 + 35652174026827/632061617624*c_1010_7^11 - 100388401187169/632061617624*c_1010_7^10 + 107173931872849/632061617624*c_1010_7^9 - 21601126479/525841612*c_1010_7^8 - 92537327283879/632061617624*c_1010_7^7 + 39161425513283/158015404406*c_1010_7^6 - 67497343246811/316030808812*c_1010_7^5 + 53250908895405/632061617624*c_1010_7^4 + 1366127449940/79007702203*c_1010_7^3 - 20934223144949/632061617624*c_1010_7^2 + 5111779480881/316030808812*c_1010_7 - 2446687885825/632061617624, c_0011_3 + 17791751199/158015404406*c_1010_7^16 - 3615998987/79007702203*c_1010_7^15 - 148565022261/158015404406*c_1010_7^14 + 318154762345/158015404406*c_1010_7^13 + 50994796288/79007702203*c_1010_7^12 - 468564207249/79007702203*c_1010_7^11 + 2015038103537/158015404406*c_1010_7^10 - 1348809277897/158015404406*c_1010_7^9 - 436699815/262920806*c_1010_7^8 + 1014095048875/79007702203*c_1010_7\ ^7 - 2511206726855/158015404406*c_1010_7^6 + 1003481887207/79007702203*c_1010_7^5 - 244845386393/79007702203*c_1010_7^4 - 182348106429/79007702203*c_1010_7^3 + 329433057115/158015404406*c_1010_7^2 - 226153588573/79007702203*c_1010_7 + 44809706578/79007702203, c_0011_4 - c_1010_7, c_0011_6 + 29336845455/158015404406*c_1010_7^16 - 20425838841/158015404406*c_1010_7^15 - 108772112026/79007702203*c_1010_7^14 + 294261681993/79007702203*c_1010_7^13 - 91291167127/79007702203*c_1010_7^12 - 1188311892761/158015404406*c_1010_7^11 + 3941874849475/158015404406*c_1010_7^10 - 2194990278473/79007702203*c_1010_7^9 + 4564516815/262920806*c_1010_7^8 + 958525840103/79007702203*c_1010_7\ ^7 - 2640386285423/79007702203*c_1010_7^6 + 6664243284147/158015404406*c_1010_7^5 - 4190837311275/158015404406*c_1010_7^4 + 1038181833735/79007702203*c_1010_7^3 - 449545433483/158015404406*c_1010_7^2 - 71707878933/158015404406*c_1010_7 - 35300073601/158015404406, c_0101_1 - 441654175851/316030808812*c_1010_7^16 + 111156656312/79007702203*c_1010_7^15 + 1806274783209/158015404406*c_1010_7^14 - 10232094401385/316030808812*c_1010_7^13 + 2022442556415/316030808812*c_1010_7^12 + 26340350597407/316030808812*c_1010_7^11 - 66130668628509/316030808812*c_1010_7^10 + 61023537496815/316030808812*c_1010_7^9 - 828680068/131460403*c_1010_7^8 - 70398909135409/316030808812*c_1010\ _7^7 + 24526546097926/79007702203*c_1010_7^6 - 18116367593535/79007702203*c_1010_7^5 + 17106998496865/316030808812*c_1010_7^4 + 4108491426607/79007702203*c_1010_7^3 - 13686209529437/316030808812*c_1010_7^2 + 1327873913306/79007702203*c_1010_7 - 831303861633/316030808812, c_0101_10 + 39037159450/79007702203*c_1010_7^16 - 29316910545/79007702203*c_1010_7^15 - 655208101431/158015404406*c_1010_7^14 + 821156439343/79007702203*c_1010_7^13 + 65010210239/158015404406*c_1010_7^12 - 4665514065897/158015404406*c_1010_7^11 + 5289473406482/79007702203*c_1010_7^10 - 4103731882251/79007702203*c_1010_7^9 - 3219328315/262920806*c_1010_7^8 + 12664257910037/158015404406*c_101\ 0_7^7 - 15545850844671/158015404406*c_1010_7^6 + 4929601131526/79007702203*c_1010_7^5 - 475629194861/158015404406*c_1010_7^4 - 2316759751539/79007702203*c_1010_7^3 + 1596242042788/79007702203*c_1010_7^2 - 797959843328/79007702203*c_1010_7 + 278724779797/158015404406, c_0101_2 + 170237187001/316030808812*c_1010_7^16 - 10971778174/79007702203*c_1010_7^15 - 738701360617/158015404406*c_1010_7^14 + 2881944877967/316030808812*c_1010_7^13 + 1805268640243/316030808812*c_1010_7^12 - 9933686451937/316030808812*c_1010_7^11 + 18156545425563/316030808812*c_1010_7^10 - 6950932080001/316030808812*c_1010_7^9 - 4842768068/131460403*c_1010_7^8 + 24674284638079/316030808812*c_101\ 0_7^7 - 4906821700441/79007702203*c_1010_7^6 + 1632263857347/79007702203*c_1010_7^5 + 7575256353321/316030808812*c_1010_7^4 - 2000652801642/79007702203*c_1010_7^3 + 1866694585515/316030808812*c_1010_7^2 - 69381268459/79007702203*c_1010_7 - 264461131649/316030808812, c_0101_5 - 1, c_0101_9 - 228532926637/632061617624*c_1010_7^16 + 121971380155/158015404406*c_1010_7^15 + 430224717895/158015404406*c_1010_7^14 - 7480854890239/632061617624*c_1010_7^13 + 6095323656827/632061617624*c_1010_7^12 + 14729008559887/632061617624*c_1010_7^11 - 49457453788715/632061617624*c_1010_7^10 + 63791958441829/632061617624*c_1010_7^9 - 18431711499/525841612*c_1010_7^8 - 46379106873585/632061617624*c_1010_7^7 + 45186937535017/316030808812*c_1010_7^6 - 19928905934741/158015404406*c_1010_7^5 + 32839625940029/632061617624*c_1010_7^4 + 1452089477527/79007702203*c_1010_7^3 - 19374554333331/632061617624*c_1010_7^2 + 1061700715109/79007702203*c_1010_7 - 2208737118905/632061617624, c_1010_7^17 - c_1010_7^16 - 8*c_1010_7^15 + 23*c_1010_7^14 - 6*c_1010_7^13 - 56*c_1010_7^12 + 150*c_1010_7^11 - 148*c_1010_7^10 + 27*c_1010_7^9 + 143*c_1010_7^8 - 227*c_1010_7^7 + 190*c_1010_7^6 - 69*c_1010_7^5 - 19*c_1010_7^4 + 31*c_1010_7^3 - 19*c_1010_7^2 + 5*c_1010_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.560 Total time: 0.780 seconds, Total memory usage: 32.09MB