Magma V2.19-8 Tue Aug 20 2013 16:09:05 on localhost [Seed = 1444399324] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation m397 geometric_solution 4.91800344 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 5 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 -1 0 1 0 0 -1 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 1 1 -2 0 0 1 -1 -1 2 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226627784543 1.103847907555 0 2 4 3 0132 3201 0132 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 1 -1 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.282074233815 0.990874975931 3 4 1 0 3201 0132 2310 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 1 0 -1 1 0 0 -1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282074233815 0.990874975931 3 3 1 2 1302 2031 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 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 -1 0 1 0 0 0 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.623101322048 1.077226805429 4 2 4 1 2031 0132 1302 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 -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.486017365877 0.603055594374 ==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_4' : d['1'], 's_3_0' : negation(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_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 6 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 5293285445/780595814*c_0101_2^15 + 15777759781/780595814*c_0101_2^14 + 33216834055/390297907*c_0101_2^13 + 17998014183/780595814*c_0101_2^12 - 12780364191/780595814*c_0101_2^11 + 49204664380/390297907*c_0101_2^10 + 35997754505/780595814*c_0101_2^9 - 248608438769/780595814*c_0101_2^8 - 125313718364/390297907*c_0101_2^7 + 1692464850/390297907*c_0101_2^6 + 60309233511/390297907*c_0101_2^5 + 73701144355/780595814*c_0101_2^4 + 42470631381/780595814*c_0101_2^3 + 39489932648/390297907*c_0101_2^2 - 26299123721/780595814*c_0101_2 - 30996971711/780595814, c_0011_0 - 1, c_0011_2 - 6930106099/1561191628*c_0101_2^15 + 12124699243/780595814*c_0101_2^14 + 35493705775/780595814*c_0101_2^13 - 527184551/1561191628*c_0101_2^12 + 14802496687/1561191628*c_0101_2^11 + 117304385593/1561191628*c_0101_2^10 + 990364803/390297907*c_0101_2^9 - 271739101445/1561191628*c_0101_2^8 - 95501217993/780595814*c_0101_2^7 - 11470803635/1561191628*c_0101_2^6 + 99762947839/1561191628*c_0101_2^5 + 6079849786/390297907*c_0101_2^4 + 18103843653/390297907*c_0101_2^3 + 55929893439/1561191628*c_0101_2^2 - 26449920701/1561191628*c_0101_2 - 13874779725/1561191628, c_0011_3 + 2055909308/390297907*c_0101_2^15 - 14431679823/780595814*c_0101_2^14 - 41938906823/780595814*c_0101_2^13 + 675430047/780595814*c_0101_2^12 - 4527755928/390297907*c_0101_2^11 - 69630135935/780595814*c_0101_2^10 - 904454054/390297907*c_0101_2^9 + 80242576162/390297907*c_0101_2^8 + 110757696779/780595814*c_0101_2^7 + 6304806569/780595814*c_0101_2^6 - 29580075930/390297907*c_0101_2^5 - 14317115285/780595814*c_0101_2^4 - 42565146525/780595814*c_0101_2^3 - 31669805697/780595814*c_0101_2^2 + 8091870039/390297907*c_0101_2 + 8320524917/780595814, c_0101_1 - 5651142493/1561191628*c_0101_2^15 + 4922771407/390297907*c_0101_2^14 + 14592536142/390297907*c_0101_2^13 - 262652831/1561191628*c_0101_2^12 + 10165720289/1561191628*c_0101_2^11 + 95683266493/1561191628*c_0101_2^10 + 987703929/390297907*c_0101_2^9 - 224107563839/1561191628*c_0101_2^8 - 39715038018/390297907*c_0101_2^7 - 4509646751/1561191628*c_0101_2^6 + 87397416065/1561191628*c_0101_2^5 + 12112699283/780595814*c_0101_2^4 + 28523832253/780595814*c_0101_2^3 + 44617150419/1561191628*c_0101_2^2 - 23562413283/1561191628*c_0101_2 - 12408148365/1561191628, c_0101_2^16 - 3*c_0101_2^15 - 12*c_0101_2^14 - 5*c_0101_2^13 - 2*c_0101_2^12 - 18*c_0101_2^11 - 9*c_0101_2^10 + 39*c_0101_2^9 + 47*c_0101_2^8 + 15*c_0101_2^7 - 14*c_0101_2^6 - 11*c_0101_2^5 - 12*c_0101_2^4 - 13*c_0101_2^3 + 4*c_0101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB