Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 1031577886] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s354 geometric_solution 4.56356931 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 3 0132 0132 0132 1302 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 -1 1 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.192420635764 0.613392108759 0 4 4 3 0132 0132 1023 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 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 1.126418376118 0.884221046691 3 0 5 5 0132 0132 3201 0132 0 0 0 0 0 1 -1 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 -1 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.286309589508 0.534667281583 2 1 0 0 0132 2310 2031 0132 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 1 0 0 -1 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.192420635764 0.613392108759 4 1 1 4 3201 0132 1023 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 0 0 0 0 0 0 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.372769173554 0.247022600122 2 5 2 5 2310 1302 0132 2031 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 -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.000718107381 1.869553234039 ==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_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_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_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(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_3'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 5257850/21*c_0101_4^16 - 1744125/7*c_0101_4^15 - 72599021/21*c_0101_4^14 + 5639548/7*c_0101_4^13 + 13691739*c_0101_4^12 - 26546364/7*c_0101_4^11 - 562527055/21*c_0101_4^10 + 211761569/21*c_0101_4^9 + 601697435/21*c_0101_4^8 - 75203260/7*c_0101_4^7 - 366340300/21*c_0101_4^6 + 37274397/7*c_0101_4^5 + 126994736/21*c_0101_4^4 - 26150834/21*c_0101_4^3 - 3338240/3*c_0101_4^2 + 2334289/21*c_0101_4 + 589551/7, c_0011_0 - 1, c_0011_5 + 26730*c_0101_4^16 - 24552*c_0101_4^15 - 372273*c_0101_4^14 + 59411*c_0101_4^13 + 1483399*c_0101_4^12 - 303510*c_0101_4^11 - 2947962*c_0101_4^10 + 901374*c_0101_4^9 + 3240788*c_0101_4^8 - 1004644*c_0101_4^7 - 2032991*c_0101_4^6 + 511918*c_0101_4^5 + 723347*c_0101_4^4 - 122309*c_0101_4^3 - 135775*c_0101_4^2 + 11121*c_0101_4 + 10418, c_0101_0 + 85*c_0101_4^16 - 49*c_0101_4^15 - 1213*c_0101_4^14 - 211*c_0101_4^13 + 4814*c_0101_4^12 + 605*c_0101_4^11 - 9838*c_0101_4^10 - 162*c_0101_4^9 + 11535*c_0101_4^8 - 51*c_0101_4^7 - 7778*c_0101_4^6 - 163*c_0101_4^5 + 2955*c_0101_4^4 + 146*c_0101_4^3 - 586*c_0101_4^2 - 30*c_0101_4 + 47, c_0101_1 + 5*c_0101_4^16 - 2*c_0101_4^15 - 72*c_0101_4^14 - 25*c_0101_4^13 + 283*c_0101_4^12 + 87*c_0101_4^11 - 580*c_0101_4^10 - 117*c_0101_4^9 + 692*c_0101_4^8 + 126*c_0101_4^7 - 476*c_0101_4^6 - 101*c_0101_4^5 + 184*c_0101_4^4 + 47*c_0101_4^3 - 37*c_0101_4^2 - 10*c_0101_4 + 3, c_0101_3 - 12875*c_0101_4^16 + 12305*c_0101_4^15 + 178573*c_0101_4^14 - 34866*c_0101_4^13 - 709506*c_0101_4^12 + 170189*c_0101_4^11 + 1399474*c_0101_4^10 - 476225*c_0101_4^9 - 1518271*c_0101_4^8 + 519025*c_0101_4^7 + 938325*c_0101_4^6 - 261125*c_0101_4^5 - 329251*c_0101_4^4 + 61813*c_0101_4^3 + 61077*c_0101_4^2 - 5579*c_0101_4 - 4642, c_0101_4^17 - 2/5*c_0101_4^16 - 72/5*c_0101_4^15 - 5*c_0101_4^14 + 283/5*c_0101_4^13 + 87/5*c_0101_4^12 - 116*c_0101_4^11 - 117/5*c_0101_4^10 + 692/5*c_0101_4^9 + 126/5*c_0101_4^8 - 476/5*c_0101_4^7 - 101/5*c_0101_4^6 + 184/5*c_0101_4^5 + 47/5*c_0101_4^4 - 37/5*c_0101_4^3 - 11/5*c_0101_4^2 + 3/5*c_0101_4 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB