Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 2050746010] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1975 geometric_solution 5.54900919 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.497001750949 0.231745731844 0 2 2 0 3201 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 1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.146165011105 0.327293405648 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702598871919 0.451287936189 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711999285780 0.958373407848 6 5 2 3 1023 2310 0132 0321 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 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.711999285780 0.958373407848 5 5 3 4 1230 3012 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.399176933639 0.601881546690 6 4 6 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.143739308211 0.975044668233 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['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_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_0_6' : 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_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], '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_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 307812785022791446/81521241445921053*c_0101_3^12 + 91413333491996630/1663698805018797*c_0101_3^11 + 254565111199194941/81521241445921053*c_0101_3^10 + 130372013537817145/554566268339599*c_0101_3^9 + 49212257020939072409/81521241445921053*c_0101_3^8 - 3712938203512981787/27173747148640351*c_0101_3^7 - 13464754765785278938/27173747148640351*c_0101_3^6 - 119455350423613641406/81521241445921053*c_0101_3^5 - 18964287871314899024/81521241445921053*c_0101_3^4 + 12684458757393892410/27173747148640351*c_0101_3^3 + 22046580085274639/1598455714625903*c_0101_3^2 + 13333911596635147771/81521241445921053*c_0101_3 + 7384082757894885314/81521241445921053, c_0011_0 - 1, c_0011_1 + 5130007504824/19122974770331*c_0101_3^12 + 65276038820643/19122974770331*c_0101_3^11 - 115156420911501/19122974770331*c_0101_3^10 + 527756242546072/19122974770331*c_0101_3^9 - 152142605597906/19122974770331*c_0101_3^8 + 89227175656647/19122974770331*c_0101_3^7 - 899022969087030/19122974770331*c_0101_3^6 - 392205399579228/19122974770331*c_0101_3^5 + 394059091511547/19122974770331*c_0101_3^4 + 39436806882353/19122974770331*c_0101_3^3 + 6228975440481/1124880868843*c_0101_3^2 + 73427060803151/19122974770331*c_0101_3 - 4930095057895/19122974770331, c_0011_4 - 38588875006280/554566268339599*c_0101_2*c_0101_3^12 - 473431738988634/554566268339599*c_0101_2*c_0101_3^11 + 1081651189942799/554566268339599*c_0101_2*c_0101_3^10 - 4482059357150224/554566268339599*c_0101_2*c_0101_3^9 + 2996986112022895/554566268339599*c_0101_2*c_0101_3^8 - 1863098439554687/554566268339599*c_0101_2*c_0101_3^7 + 6123765801761698/554566268339599*c_0101_2*c_0101_3^6 - 210817570312299/554566268339599*c_0101_2*c_0101_3^5 - 4057736001370234/554566268339599*c_0101_2*c_0101_3^4 + 3203338050156576/554566268339599*c_0101_2*c_0101_3^3 - 69359001304456/32621545196447*c_0101_2*c_0101_3^2 - 377450310276235/554566268339599*c_0101_2*c_0101_3 + 539696384766465/554566268339599*c_0101_2, c_0011_5 - 151273319369276/554566268339599*c_0101_2*c_0101_3^12 - 1854905198297460/554566268339599*c_0101_2*c_0101_3^11 + 4285008654942430/554566268339599*c_0101_2*c_0101_3^10 - 17144881174225980/554566268339599*c_0101_2*c_0101_3^9 + 11668962826356803/554566268339599*c_0101_2*c_0101_3^8 - 4771566272317190/554566268339599*c_0101_2*c_0101_3^7 + 27739760823159623/554566268339599*c_0101_2*c_0101_3^6 - 1104698348097302/554566268339599*c_0101_2*c_0101_3^5 - 15761866812463006/554566268339599*c_0101_2*c_0101_3^4 + 5166568812046393/554566268339599*c_0101_2*c_0101_3^3 - 59203611698841/32621545196447*c_0101_2*c_0101_3^2 - 947425361669402/554566268339599*c_0101_2*c_0101_3 + 561037023641502/554566268339599*c_0101_2, c_0101_0 - 6877218290104/19122974770331*c_0101_2*c_0101_3^12 - 88956174396355/19122974770331*c_0101_2*c_0101_3^11 + 135548741592342/19122974770331*c_0101_2*c_0101_3^10 - 680500901910174/19122974770331*c_0101_2*c_0101_3^9 + 59131477383022/19122974770331*c_0101_2*c_0101_3^8 - 112873649642531/19122974770331*c_0101_2*c_0101_3^7 + 1159333679996088/19122974770331*c_0101_2*c_0101_3^6 + 763261998891386/19122974770331*c_0101_2*c_0101_3^5 - 348485059034359/19122974770331*c_0101_2*c_0101_3^4 - 51890939236275/19122974770331*c_0101_2*c_0101_3^3 - 5556944461927/1124880868843*c_0101_2*c_0101_3^2 - 101105390447170/19122974770331*c_0101_2*c_0101_3 - 30430723046999/19122974770331*c_0101_2, c_0101_2^2 + 2194874160277/19122974770331*c_0101_3^12 + 28561729656078/19122974770331*c_0101_3^11 - 40680266741031/19122974770331*c_0101_3^10 + 218753355037228/19122974770331*c_0101_3^9 - 6108084847439/19122974770331*c_0101_3^8 + 68870790985124/19122974770331*c_0101_3^7 - 349823779990568/19122974770331*c_0101_3^6 - 251890814619445/19122974770331*c_0101_3^5 + 46956612378721/19122974770331*c_0101_3^4 - 33873395468109/19122974770331*c_0101_3^3 + 662353655252/1124880868843*c_0101_3^2 + 30125017947559/19122974770331*c_0101_3 - 9762349725872/19122974770331, c_0101_3^13 + 13*c_0101_3^12 - 19*c_0101_3^11 + 96*c_0101_3^10 + c_0101_3^9 + 2*c_0101_3^8 - 162*c_0101_3^7 - 124*c_0101_3^6 + 68*c_0101_3^5 + 21*c_0101_3^4 + 7*c_0101_3^3 + 18*c_0101_3^2 + 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB