Magma V2.19-8 Tue Aug 20 2013 23:49:03 on localhost [Seed = 728580541] Type ? for help. Type -D to quit. Loading file "K11n129__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n129 geometric_solution 11.72040209 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 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 -1 1 0 0 0 0 0 -1 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428487381634 1.240374607159 0 5 2 6 0132 0132 1023 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 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370673739439 0.332992056946 7 0 1 5 0132 0132 1023 0132 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 0 -4 4 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625084450261 1.256677531173 8 9 10 0 0132 0132 0132 0132 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 -1 0 1 0 0 0 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 0.656656178886 0.616587234470 11 10 0 8 0132 1023 0132 1023 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 1 -1 0 0 0 0 0 -4 4 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.549255612902 1.399639485945 9 1 2 12 3012 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 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 5 0 0 -5 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821366448596 1.324355330437 8 9 1 11 2103 0213 0132 3012 0 0 0 0 0 -1 0 1 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 -4 0 4 0 0 0 0 0 1 0 -1 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349537914421 0.811597128380 2 9 10 12 0132 3012 3012 2031 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 0 0 0 0 1 -1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328940717540 1.064863053306 3 12 6 4 0132 3012 2103 1023 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 0 0 0 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.574845328540 0.663636749212 7 3 6 5 1230 0132 0213 1230 0 0 0 0 0 0 1 -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 0 0 0 1 4 -5 1 0 -1 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.980927274975 0.789840003258 4 7 11 3 1023 1230 0132 0132 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 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461806980641 0.117462865772 4 12 6 10 0132 0321 1230 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 0 0 0 0 0 1 -1 -1 1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.704967426561 0.899190326709 8 7 5 11 1230 1302 0132 0321 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 -5 0 5 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.359038612724 1.201124875000 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_0101_5'], '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_11'], 'c_0101_10' : d['c_0101_1'], '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_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : d['c_0110_6'], 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : d['c_0110_6'], 'c_1100_3' : d['c_0110_6'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_11' : d['c_0110_6'], 'c_1100_10' : d['c_0110_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_5'], 'c_1010_8' : d['c_0101_11'], '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_1001_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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_0'], 'c_0110_8' : d['c_0101_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_0101_5'], 'c_0110_5' : negation(d['c_0101_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0110_6'])})} 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_12, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0110_6, c_1001_0, c_1001_10, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 612654475/401942277*c_1001_11^8 + 3635761889/401942277*c_1001_11^7 - 16964269049/401942277*c_1001_11^6 + 18452515751/133980759*c_1001_11^5 - 12239059970/44660253*c_1001_11^4 + 14536913450/36540207*c_1001_11^3 - 156949072594/401942277*c_1001_11^2 + 34421801738/133980759*c_1001_11 - 4434044951/44660253, c_0011_0 - 1, c_0011_10 + 40643/1107279*c_1001_11^8 - 214297/1107279*c_1001_11^7 + 878932/1107279*c_1001_11^6 - 290024/123031*c_1001_11^5 + 388848/123031*c_1001_11^4 - 2606015/1107279*c_1001_11^3 + 1616003/1107279*c_1001_11^2 - 72389/369093*c_1001_11 + 66967/123031, c_0011_12 - 10630/123031*c_1001_11^8 + 171121/369093*c_1001_11^7 - 751880/369093*c_1001_11^6 + 2319371/369093*c_1001_11^5 - 1279769/123031*c_1001_11^4 + 1568945/123031*c_1001_11^3 - 4381075/369093*c_1001_11^2 + 2535757/369093*c_1001_11 - 438490/123031, c_0101_0 + 4871/123031*c_1001_11^8 - 127012/369093*c_1001_11^7 + 539093/369093*c_1001_11^6 - 1938713/369093*c_1001_11^5 + 1348586/123031*c_1001_11^4 - 1569451/123031*c_1001_11^3 + 4871113/369093*c_1001_11^2 - 2518117/369093*c_1001_11 + 577083/123031, c_0101_1 + 8462/1107279*c_1001_11^8 - 25492/1107279*c_1001_11^7 + 117529/1107279*c_1001_11^6 - 33600/123031*c_1001_11^5 + 19179/123031*c_1001_11^4 - 786578/1107279*c_1001_11^3 + 1025867/1107279*c_1001_11^2 - 80984/369093*c_1001_11 + 32393/123031, c_0101_11 - 34673/1107279*c_1001_11^8 + 257377/1107279*c_1001_11^7 - 1118611/1107279*c_1001_11^6 + 1264067/369093*c_1001_11^5 - 834059/123031*c_1001_11^4 + 8255348/1107279*c_1001_11^3 - 6634430/1107279*c_1001_11^2 + 341416/123031*c_1001_11 - 211053/123031, c_0101_2 - 87208/1107279*c_1001_11^8 + 487871/1107279*c_1001_11^7 - 2138111/1107279*c_1001_11^6 + 2218571/369093*c_1001_11^5 - 1260590/123031*c_1001_11^4 + 13333927/1107279*c_1001_11^3 - 12117358/1107279*c_1001_11^2 + 2454773/369093*c_1001_11 - 529128/123031, c_0101_3 + 60187/1107279*c_1001_11^8 - 183932/1107279*c_1001_11^7 + 802310/1107279*c_1001_11^6 - 184113/123031*c_1001_11^5 - 24958/123031*c_1001_11^4 + 640781/1107279*c_1001_11^3 - 1774265/1107279*c_1001_11^2 + 8207/369093*c_1001_11 - 145600/123031, c_0101_5 - 10742/1107279*c_1001_11^8 + 146290/1107279*c_1001_11^7 - 567577/1107279*c_1001_11^6 + 737357/369093*c_1001_11^5 - 532929/123031*c_1001_11^4 + 4376879/1107279*c_1001_11^3 - 5517404/1107279*c_1001_11^2 + 177024/123031*c_1001_11 - 253103/123031, c_0110_6 + 49445/1107279*c_1001_11^8 - 37642/1107279*c_1001_11^7 + 234733/1107279*c_1001_11^6 + 185018/369093*c_1001_11^5 - 557887/123031*c_1001_11^4 + 5017660/1107279*c_1001_11^3 - 7291669/1107279*c_1001_11^2 + 908372/369093*c_1001_11 - 398703/123031, c_1001_0 - 138229/1107279*c_1001_11^8 + 548144/1107279*c_1001_11^7 - 2441753/1107279*c_1001_11^6 + 2096264/369093*c_1001_11^5 - 721105/123031*c_1001_11^4 + 6823435/1107279*c_1001_11^3 - 2364184/1107279*c_1001_11^2 + 952697/369093*c_1001_11 - 17498/123031, c_1001_10 - 16299/123031*c_1001_11^8 + 191212/369093*c_1001_11^7 - 853094/369093*c_1001_11^6 + 2197064/369093*c_1001_11^5 - 740284/123031*c_1001_11^4 + 845557/123031*c_1001_11^3 - 1130017/369093*c_1001_11^2 + 1033681/369093*c_1001_11 - 49891/123031, c_1001_11^9 - 5*c_1001_11^8 + 23*c_1001_11^7 - 69*c_1001_11^6 + 117*c_1001_11^5 - 160*c_1001_11^4 + 139*c_1001_11^3 - 114*c_1001_11^2 + 54*c_1001_11 - 27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.850 Total time: 2.069 seconds, Total memory usage: 81.06MB