Magma V2.19-8 Tue Aug 20 2013 16:18:44 on localhost [Seed = 4038159748] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2895 geometric_solution 6.10403495 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 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.393175409212 0.195937513080 2 0 3 0 0132 2310 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 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.569418404903 0.819396334975 1 4 5 6 0132 0132 0132 0132 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 -1 0 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 0 0 0 0.277531549894 1.050489055358 6 5 4 1 3201 1023 3201 0132 0 0 0 0 0 0 0 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 0 0 0 0 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.277531549894 1.050489055358 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 0 1 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 0 -1 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.575866509388 1.849070306491 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632967484615 0.497863346079 6 6 2 3 1230 3012 0132 2310 0 0 0 0 0 0 1 -1 -1 0 0 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 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.202212580009 1.202750373289 ==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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_6']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 736753133/35945*c_0101_4^14 + 91398858/455*c_0101_4^13 + 2021009768/35945*c_0101_4^12 - 54193072938/35945*c_0101_4^11 + 13464375863/35945*c_0101_4^10 - 206117678787/35945*c_0101_4^9 + 89898324/79*c_0101_4^8 - 35055568854/5135*c_0101_4^7 + 6931147159/5135*c_0101_4^6 - 26069794818/7189*c_0101_4^5 + 5112163359/7189*c_0101_4^4 - 398496933/455*c_0101_4^3 + 77241963/455*c_0101_4^2 - 2814308117/35945*c_0101_4 + 538024507/35945, c_0011_0 - 1, c_0011_1 - c_0101_4^13 - 10*c_0101_4^12 - 5*c_0101_4^11 + 70*c_0101_4^10 - 5*c_0101_4^9 + 298*c_0101_4^8 - c_0101_4^7 + 406*c_0101_4^6 + 264*c_0101_4^4 + 89*c_0101_4^2 + 12, c_0011_3 - 11525/79*c_0101_4^14 - 1464*c_0101_4^13 - 58573/79*c_0101_4^12 + 835846/79*c_0101_4^11 - 14435/79*c_0101_4^10 + 3206157/79*c_0101_4^9 + 121064/79*c_0101_4^8 + 3813503/79*c_0101_4^7 + 159351/79*c_0101_4^6 + 2014888/79*c_0101_4^5 + 93843/79*c_0101_4^4 + 6112*c_0101_4^3 + 318*c_0101_4^2 + 42683/79*c_0101_4 + 2456/79, c_0011_6 + 2050/79*c_0101_4^14 + 152*c_0101_4^13 - 75070/79*c_0101_4^12 - 187698/79*c_0101_4^11 + 625363/79*c_0101_4^10 - 614129/79*c_0101_4^9 + 2366508/79*c_0101_4^8 - 716800/79*c_0101_4^7 + 2817865/79*c_0101_4^6 - 395190/79*c_0101_4^5 + 1492867/79*c_0101_4^4 - 1261*c_0101_4^3 + 4552*c_0101_4^2 - 9262/79*c_0101_4 + 32106/79, c_0101_0 - 23129/79*c_0101_4^14 - 2938*c_0101_4^13 - 117541/79*c_0101_4^12 + 1677222/79*c_0101_4^11 - 29265/79*c_0101_4^10 + 6435856/79*c_0101_4^9 + 242049/79*c_0101_4^8 + 7659080/79*c_0101_4^7 + 318702/79*c_0101_4^6 + 4050632/79*c_0101_4^5 + 187686/79*c_0101_4^4 + 12313*c_0101_4^3 + 636*c_0101_4^2 + 86393/79*c_0101_4 + 4912/79, c_0101_1 + 10*c_0101_4^13 + 100*c_0101_4^12 + 49*c_0101_4^11 - 710*c_0101_4^10 + 45*c_0101_4^9 - 2910*c_0101_4^8 + 5*c_0101_4^7 - 3762*c_0101_4^6 - c_0101_4^5 - 2234*c_0101_4^4 - 626*c_0101_4^2 - 66, c_0101_4^15 + 10*c_0101_4^14 + 5*c_0101_4^13 - 70*c_0101_4^12 + 5*c_0101_4^11 - 298*c_0101_4^10 + c_0101_4^9 - 406*c_0101_4^8 - 264*c_0101_4^6 - 89*c_0101_4^4 - 15*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB