Magma V2.19-8 Wed Aug 21 2013 01:01:47 on localhost [Seed = 1191271568] Type ? for help. Type -D to quit. Loading file "L14n13335__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13335 geometric_solution 11.45072025 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 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 0 0 0 0 0 0 0 0 1 -1 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.171420733112 0.959168290630 0 4 4 5 0132 0132 1302 0132 1 1 1 1 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 -1 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.056465782128 0.558941566534 0 0 7 6 3012 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.515751518491 0.597037027294 8 9 10 0 0132 0132 0132 0132 1 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 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 0 0 0.454210916525 1.143122267829 1 1 7 7 2031 0132 0213 1230 1 1 1 1 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 0 1 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.260455416953 0.391268903133 11 7 1 11 0132 0213 0132 3201 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.023010192386 0.182812788547 10 12 2 8 2031 0132 0132 0213 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.699801661203 0.755515539940 4 4 5 2 3012 0213 0213 0132 1 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 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.260455416953 0.391268903133 3 11 11 6 0132 3201 0132 0213 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.561477562821 0.567145120688 12 3 12 12 2103 0132 0132 3120 1 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 0 0 0 0 0 0 0 0 -1 0 1 2 0 -3 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.523273215027 0.790930939671 10 10 6 3 1302 2031 1302 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309473705114 0.623585773809 5 5 8 8 0132 2310 2310 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.085977066549 0.389716810435 9 6 9 9 3120 0132 2103 0132 1 0 1 1 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 -1 0 -2 3 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.558987248492 0.927408158404 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_3']), 'c_1001_12' : negation(d['c_0011_3']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_4'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_3']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0101_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_1001_11']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_1001_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' : negation(d['1']), 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : 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' : d['c_0101_0'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_12']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} 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_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0101_3, c_0101_6, c_1001_0, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 9806860631110123/238282030688931484*c_1001_4^14 - 17124804554480665/238282030688931484*c_1001_4^13 + 147303998437306785/238282030688931484*c_1001_4^12 - 267941692986784265/238282030688931484*c_1001_4^11 + 941236063010081927/238282030688931484*c_1001_4^10 - 1757625411190139729/238282030688931484*c_1001_4^9 + 3379277495373648933/238282030688931484*c_1001_4^8 - 30650785385564961/1179614013311542*c_1001_4^7 + 1884003157213014216/59570507672232871*c_1001_4^6 - 12357032708156497239/238282030688931484*c_1001_4^5 + 23123939149790015/511334829804574*c_1001_4^4 - 13245791465256099881/238282030688931484*c_1001_4^3 + 4747251875459695877/119141015344465742*c_1001_4^2 - 5927561976797022285/238282030688931484*c_1001_4 + 4097391570138436509/238282030688931484, c_0011_0 - 1, c_0011_10 + 509/1398*c_1001_4^14 - 625/1398*c_1001_4^13 + 6947/1398*c_1001_4^12 - 8623/1398*c_1001_4^11 + 37931/1398*c_1001_4^10 - 49927/1398*c_1001_4^9 + 103211/1398*c_1001_4^8 - 78337/699*c_1001_4^7 + 64537/699*c_1001_4^6 - 282635/1398*c_1001_4^5 + 8/3*c_1001_4^4 - 93169/466*c_1001_4^3 - 26874/233*c_1001_4^2 - 118813/1398*c_1001_4 - 123425/1398, c_0011_11 + 7/699*c_1001_4^14 + 115/699*c_1001_4^13 - 247/1398*c_1001_4^12 + 1609/699*c_1001_4^11 - 5017/1398*c_1001_4^10 + 9304/699*c_1001_4^9 - 15932/699*c_1001_4^8 + 28979/699*c_1001_4^7 - 50882/699*c_1001_4^6 + 51893/699*c_1001_4^5 - 761/6*c_1001_4^4 + 34001/466*c_1001_4^3 - 53105/466*c_1001_4^2 + 43013/1398*c_1001_4 - 55655/1398, c_0011_3 - 7/466*c_1001_4^14 - 115/466*c_1001_4^13 + 7/466*c_1001_4^12 - 1609/466*c_1001_4^11 + 1227/466*c_1001_4^10 - 9071/466*c_1001_4^9 + 11039/466*c_1001_4^8 - 12975/233*c_1001_4^7 + 22645/233*c_1001_4^6 - 37913/466*c_1001_4^5 + 213*c_1001_4^4 - 22925/466*c_1001_4^3 + 56663/233*c_1001_4^2 - 187/466*c_1001_4 + 52875/466, c_0101_0 + 122/699*c_1001_4^14 - 485/1398*c_1001_4^13 + 1742/699*c_1001_4^12 - 6725/1398*c_1001_4^11 + 10403/699*c_1001_4^10 - 19285/699*c_1001_4^9 + 34082/699*c_1001_4^8 - 58631/699*c_1001_4^7 + 66236/699*c_1001_4^6 - 198187/1398*c_1001_4^5 + 647/6*c_1001_4^4 - 58047/466*c_1001_4^3 + 30255/466*c_1001_4^2 - 59687/1398*c_1001_4 + 10198/699, c_0101_11 + 199/1398*c_1001_4^14 - 13/699*c_1001_4^13 + 1415/699*c_1001_4^12 - 346/699*c_1001_4^11 + 15313/1398*c_1001_4^10 - 3556/699*c_1001_4^9 + 17489/699*c_1001_4^8 - 18119/699*c_1001_4^7 + 3523/1398*c_1001_4^6 - 98305/1398*c_1001_4^5 - 308/3*c_1001_4^4 - 23063/233*c_1001_4^3 - 45042/233*c_1001_4^2 - 81959/1398*c_1001_4 - 164143/1398, c_0101_12 - 1, c_0101_2 + 1, c_0101_3 - 487/1398*c_1001_4^14 - 56/699*c_1001_4^13 - 6037/1398*c_1001_4^12 - 899/699*c_1001_4^11 - 12722/699*c_1001_4^10 - 5102/699*c_1001_4^9 - 9887/699*c_1001_4^8 - 12829/699*c_1001_4^7 + 178043/1398*c_1001_4^6 - 25199/1398*c_1001_4^5 + 2737/6*c_1001_4^4 + 1773/466*c_1001_4^3 + 293435/466*c_1001_4^2 + 9622/699*c_1001_4 + 230879/699, c_0101_6 - 143/699*c_1001_4^14 - 205/1398*c_1001_4^13 - 1721/699*c_1001_4^12 - 2929/1398*c_1001_4^11 - 6722/699*c_1001_4^10 - 7928/699*c_1001_4^9 - 965/699*c_1001_4^8 - 19219/699*c_1001_4^7 + 69634/699*c_1001_4^6 - 29291/1398*c_1001_4^5 + 1909/6*c_1001_4^4 + 12197/466*c_1001_4^3 + 197329/466*c_1001_4^2 + 58565/1398*c_1001_4 + 151223/699, c_1001_0 + 265/699*c_1001_4^14 - 140/699*c_1001_4^13 + 3463/699*c_1001_4^12 - 1898/699*c_1001_4^11 + 17125/699*c_1001_4^10 - 11357/699*c_1001_4^9 + 35047/699*c_1001_4^8 - 39412/699*c_1001_4^7 - 3398/699*c_1001_4^6 - 84448/699*c_1001_4^5 - 631/3*c_1001_4^4 - 35122/233*c_1001_4^3 - 83537/233*c_1001_4^2 - 59126/699*c_1001_4 - 141025/699, c_1001_11 - 122/699*c_1001_4^14 + 485/1398*c_1001_4^13 - 1742/699*c_1001_4^12 + 6725/1398*c_1001_4^11 - 10403/699*c_1001_4^10 + 19285/699*c_1001_4^9 - 34082/699*c_1001_4^8 + 58631/699*c_1001_4^7 - 66236/699*c_1001_4^6 + 198187/1398*c_1001_4^5 - 647/6*c_1001_4^4 + 58047/466*c_1001_4^3 - 30255/466*c_1001_4^2 + 59687/1398*c_1001_4 - 10198/699, c_1001_4^15 - c_1001_4^14 + 17*c_1001_4^13 - 19*c_1001_4^12 + 122*c_1001_4^11 - 157*c_1001_4^10 + 479*c_1001_4^9 - 729*c_1001_4^8 + 1107*c_1001_4^7 - 2049*c_1001_4^6 + 1491*c_1001_4^5 - 3482*c_1001_4^4 + 1059*c_1001_4^3 - 3311*c_1001_4^2 + 288*c_1001_4 - 1357 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.160 Total time: 1.360 seconds, Total memory usage: 32.09MB