Magma V2.19-8 Wed Aug 21 2013 00:59:01 on localhost [Seed = 3717973682] Type ? for help. Type -D to quit. Loading file "L13n6192__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n6192 geometric_solution 12.02019403 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 0 1 1 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 -1 1 -1 0 1 0 6 1 0 -7 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659790710555 0.877253361035 0 0 5 4 0132 1302 0132 0132 1 1 0 1 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 1 0 -1 0 -5 -1 0 6 -6 7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452409144943 0.728073175912 6 0 4 7 0132 0132 3012 0132 0 1 0 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 0 0 0 0 0 0 0 -6 5 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.373425783997 0.817105969879 8 9 10 0 0132 0132 0132 0132 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 0 0 0 0 -1 0 1 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.574028301091 0.641547509683 8 2 1 5 2103 1230 0132 3012 1 1 1 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 -1 0 1 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.083593184069 0.695965723489 6 8 4 1 3201 0321 1230 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 -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 -0.016486508756 1.103796388795 2 8 11 5 0132 2103 0132 2310 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 0 0 -1 1 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523674864569 0.409920415874 9 9 2 10 3201 0213 0132 0132 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 0 0 0 0 0 0 0 0 0 1 0 0 -1 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.590964239087 0.770667536918 3 6 4 5 0132 2103 2103 0321 1 1 1 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 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076152117852 1.106508927184 11 3 7 7 1302 0132 0213 2310 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 0 0 0 0 0 0 0 0 1 0 -1 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 0.590964239087 0.770667536918 12 12 7 3 0132 2310 0132 0132 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 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.352521501742 1.085431540835 12 9 12 6 1302 2031 3120 0132 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 -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.729336179920 0.833387597141 10 11 11 10 0132 2031 3120 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.270663820080 0.833387597141 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : d['c_0101_6'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0101_6']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_0'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_0_11' : 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_0011_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_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' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0110_4']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : d['c_0110_4'], 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_1001_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : negation(d['c_1001_4']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_0101_1'], '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_10']), '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_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), '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_6'], 'c_0110_10' : negation(d['c_0011_5']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_5']), '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_11']), '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' : negation(d['c_0101_6']), 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10']})} 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_1, c_0101_10, c_0101_2, c_0101_6, c_0110_4, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 715686366107/504486158256*c_1001_4^16 - 3962036995901/1008972316512*c_1001_4^15 - 4147770392285/252243079128*c_1001_4^14 - 5340165484457/168162052752*c_1001_4^13 - 76627759995023/1008972316512*c_1001_4^12 - 57988537943507/504486158256*c_1001_4^11 - 3584656153999/18684672528*c_1001_4^10 - 27199397020271/112108035168*c_1001_4^9 - 19273748662993/63060769782*c_1001_4^8 - 4123640939259/12456448352*c_1001_4^7 - 54859804726159/168162052752*c_1001_4^6 - 301018560028187/1008972316512*c_1001_4^5 - 228029356735411/1008972316512*c_1001_4^4 - 564388640629/3503376099*c_1001_4^3 - 42155834458681/504486158256*c_1001_4^2 - 18898315277519/504486158256*c_1001_4 - 9046464822661/1008972316512, c_0011_0 - 1, c_0011_10 - 11929662/22897883*c_1001_4^16 - 18748785/22897883*c_1001_4^15 - 100607590/22897883*c_1001_4^14 - 134404075/22897883*c_1001_4^13 - 396196601/22897883*c_1001_4^12 - 479085580/22897883*c_1001_4^11 - 886712577/22897883*c_1001_4^10 - 1061552237/22897883*c_1001_4^9 - 1288916048/22897883*c_1001_4^8 - 1480652269/22897883*c_1001_4^7 - 1351146512/22897883*c_1001_4^6 - 1308991682/22897883*c_1001_4^5 - 988229682/22897883*c_1001_4^4 - 666504610/22897883*c_1001_4^3 - 398557655/22897883*c_1001_4^2 - 120287041/22897883*c_1001_4 - 55319660/22897883, c_0011_11 + 139474632/160285181*c_1001_4^16 + 389308044/160285181*c_1001_4^15 + 1483114196/160285181*c_1001_4^14 + 2843809520/160285181*c_1001_4^13 + 6204266219/160285181*c_1001_4^12 + 9361392927/160285181*c_1001_4^11 + 14135764715/160285181*c_1001_4^10 + 18079549797/160285181*c_1001_4^9 + 20937797694/160285181*c_1001_4^8 + 22657967688/160285181*c_1001_4^7 + 21365444294/160285181*c_1001_4^6 + 18568255298/160285181*c_1001_4^5 + 13736684361/160285181*c_1001_4^4 + 8444830202/160285181*c_1001_4^3 + 611086614/22897883*c_1001_4^2 + 1468172497/160285181*c_1001_4 + 316248495/160285181, c_0011_3 + c_1001_4, c_0011_5 + 5826650/22897883*c_1001_4^16 + 3533331/22897883*c_1001_4^15 + 23253514/22897883*c_1001_4^14 - 10933049/22897883*c_1001_4^13 + 4591690/22897883*c_1001_4^12 - 111660383/22897883*c_1001_4^11 - 184549578/22897883*c_1001_4^10 - 322612209/22897883*c_1001_4^9 - 508503276/22897883*c_1001_4^8 - 600959991/22897883*c_1001_4^7 - 716829115/22897883*c_1001_4^6 - 720547051/22897883*c_1001_4^5 - 657062587/22897883*c_1001_4^4 - 520005823/22897883*c_1001_4^3 - 328093601/22897883*c_1001_4^2 - 156407794/22897883*c_1001_4 - 43537593/22897883, c_0101_0 - 3387468/22897883*c_1001_4^16 - 10907852/22897883*c_1001_4^15 - 28193893/22897883*c_1001_4^14 - 59421513/22897883*c_1001_4^13 - 83775232/22897883*c_1001_4^12 - 146083080/22897883*c_1001_4^11 - 114878017/22897883*c_1001_4^10 - 173124191/22897883*c_1001_4^9 - 91989298/22897883*c_1001_4^8 - 51595016/22897883*c_1001_4^7 + 7242353/22897883*c_1001_4^6 + 108311192/22897883*c_1001_4^5 + 137990339/22897883*c_1001_4^4 + 182019182/22897883*c_1001_4^3 + 138126029/22897883*c_1001_4^2 + 78995521/22897883*c_1001_4 + 41843859/22897883, c_0101_1 - 1, c_0101_10 + 4516426/22897883*c_1001_4^16 + 2256481/22897883*c_1001_4^15 + 27634785/22897883*c_1001_4^14 + 8050780/22897883*c_1001_4^13 + 87175337/22897883*c_1001_4^12 + 33427927/22897883*c_1001_4^11 + 164832116/22897883*c_1001_4^10 + 130925816/22897883*c_1001_4^9 + 211400121/22897883*c_1001_4^8 + 253894910/22897883*c_1001_4^7 + 231213017/22897883*c_1001_4^6 + 275643389/22897883*c_1001_4^5 + 231115785/22897883*c_1001_4^4 + 176942171/22897883*c_1001_4^3 + 145945375/22897883*c_1001_4^2 + 66369415/22897883*c_1001_4 + 38020946/22897883, c_0101_2 - 11033294/22897883*c_1001_4^16 - 37926311/22897883*c_1001_4^15 - 121639399/22897883*c_1001_4^14 - 260520885/22897883*c_1001_4^13 - 499132608/22897883*c_1001_4^12 - 825481078/22897883*c_1001_4^11 - 1135429884/22897883*c_1001_4^10 - 1519427051/22897883*c_1001_4^9 - 1722590116/22897883*c_1001_4^8 - 1826805940/22897883*c_1001_4^7 - 1754777426/22897883*c_1001_4^6 - 1472793587/22897883*c_1001_4^5 - 1099757498/22897883*c_1001_4^4 - 671865951/22897883*c_1001_4^3 - 307900694/22897883*c_1001_4^2 - 104717418/22897883*c_1001_4 - 25811208/22897883, c_0101_6 + 4516426/22897883*c_1001_4^16 + 2256481/22897883*c_1001_4^15 + 27634785/22897883*c_1001_4^14 + 8050780/22897883*c_1001_4^13 + 87175337/22897883*c_1001_4^12 + 33427927/22897883*c_1001_4^11 + 164832116/22897883*c_1001_4^10 + 130925816/22897883*c_1001_4^9 + 211400121/22897883*c_1001_4^8 + 253894910/22897883*c_1001_4^7 + 231213017/22897883*c_1001_4^6 + 275643389/22897883*c_1001_4^5 + 231115785/22897883*c_1001_4^4 + 176942171/22897883*c_1001_4^3 + 145945375/22897883*c_1001_4^2 + 66369415/22897883*c_1001_4 + 38020946/22897883, c_0110_4 - 3387468/22897883*c_1001_4^16 - 10907852/22897883*c_1001_4^15 - 28193893/22897883*c_1001_4^14 - 59421513/22897883*c_1001_4^13 - 83775232/22897883*c_1001_4^12 - 146083080/22897883*c_1001_4^11 - 114878017/22897883*c_1001_4^10 - 173124191/22897883*c_1001_4^9 - 91989298/22897883*c_1001_4^8 - 51595016/22897883*c_1001_4^7 + 7242353/22897883*c_1001_4^6 + 108311192/22897883*c_1001_4^5 + 137990339/22897883*c_1001_4^4 + 182019182/22897883*c_1001_4^3 + 138126029/22897883*c_1001_4^2 + 101893404/22897883*c_1001_4 + 41843859/22897883, c_1001_0 + 3387468/22897883*c_1001_4^16 + 10907852/22897883*c_1001_4^15 + 28193893/22897883*c_1001_4^14 + 59421513/22897883*c_1001_4^13 + 83775232/22897883*c_1001_4^12 + 146083080/22897883*c_1001_4^11 + 114878017/22897883*c_1001_4^10 + 173124191/22897883*c_1001_4^9 + 91989298/22897883*c_1001_4^8 + 51595016/22897883*c_1001_4^7 - 7242353/22897883*c_1001_4^6 - 108311192/22897883*c_1001_4^5 - 137990339/22897883*c_1001_4^4 - 182019182/22897883*c_1001_4^3 - 138126029/22897883*c_1001_4^2 - 101893404/22897883*c_1001_4 - 41843859/22897883, c_1001_4^17 + 5/2*c_1001_4^16 + 21/2*c_1001_4^15 + 19*c_1001_4^14 + 91/2*c_1001_4^13 + 133/2*c_1001_4^12 + 110*c_1001_4^11 + 279/2*c_1001_4^10 + 347/2*c_1001_4^9 + 385/2*c_1001_4^8 + 381/2*c_1001_4^7 + 355/2*c_1001_4^6 + 140*c_1001_4^5 + 199/2*c_1001_4^4 + 59*c_1001_4^3 + 26*c_1001_4^2 + 21/2*c_1001_4 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB