Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 458917665] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0096 geometric_solution 3.63136805 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.391460830695 0.621374042101 0 0 3 3 0132 3201 3201 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.509238219080 0.135723090986 0 0 2 2 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.158782890190 0.016243870774 1 4 1 4 2310 0132 0132 1023 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 -1 1 0 0 0 0 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.872492407045 0.167449638254 5 3 6 3 0132 0132 0132 1023 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 1 0 0 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.994382401820 0.505950663060 4 6 6 6 0132 1230 3012 2310 0 0 0 0 0 0 -1 1 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 -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.999574337944 0.988537619597 5 5 5 4 3201 1230 3012 0132 0 0 0 0 0 0 0 0 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 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.999574337944 0.988537619597 ==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' : negation(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' : negation(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_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 157990101/4*c_0110_2^18 - 309864475/2*c_0110_2^17 + 2466398897/4*c_0110_2^16 + 12889989303/4*c_0110_2^15 - 4069053169/2*c_0110_2^14 - 42170232649/2*c_0110_2^13 - 13545542679/4*c_0110_2^12 + 55750521946*c_0110_2^11 + 127483983707/4*c_0110_2^10 - 258885539343/4*c_0110_2^9 - 256141544841/4*c_0110_2^8 + 86588245107/4*c_0110_2^7 + 200614052815/4*c_0110_2^6 + 15162266852*c_0110_2^5 - 40062798517/4*c_0110_2^4 - 37261010437/4*c_0110_2^3 - 12453524359/4*c_0110_2^2 - 1996609099/4*c_0110_2 - 64148941/2, c_0011_0 - 1, c_0011_3 - 48*c_0110_2^18 - 205*c_0110_2^17 + 685*c_0110_2^16 + 4182*c_0110_2^15 - 1128*c_0110_2^14 - 26586*c_0110_2^13 - 12975*c_0110_2^12 + 66979*c_0110_2^11 + 62431*c_0110_2^10 - 66912*c_0110_2^9 - 106206*c_0110_2^8 + 1235*c_0110_2^7 + 72113*c_0110_2^6 + 38971*c_0110_2^5 - 7324*c_0110_2^4 - 16032*c_0110_2^3 - 7412*c_0110_2^2 - 1632*c_0110_2 - 152, c_0101_0 + 3*c_0110_2^18 + 13*c_0110_2^17 - 42*c_0110_2^16 - 264*c_0110_2^15 + 54*c_0110_2^14 + 1665*c_0110_2^13 + 915*c_0110_2^12 - 4129*c_0110_2^11 - 4160*c_0110_2^10 + 3922*c_0110_2^9 + 6883*c_0110_2^8 + 353*c_0110_2^7 - 4485*c_0110_2^6 - 2716*c_0110_2^5 + 288*c_0110_2^4 + 1020*c_0110_2^3 + 527*c_0110_2^2 + 136*c_0110_2 + 17, c_0101_1 + 277368*c_0110_2^18 + 1086020*c_0110_2^17 - 4337609*c_0110_2^16 - 22597985*c_0110_2^15 + 14446557*c_0110_2^14 + 147949362*c_0110_2^13 + 22722040*c_0110_2^12 - 391561318*c_0110_2^11 - 220928008*c_0110_2^10 + 455792323*c_0110_2^9 + 446097423*c_0110_2^8 - 154868339*c_0110_2^7 - 350563120*c_0110_2^6 - 104055420*c_0110_2^5 + 70696847*c_0110_2^4 + 64791284*c_0110_2^3 + 21482188*c_0110_2^2 + 3417715*c_0110_2 + 217803, c_0101_4 + 1072230*c_0110_2^18 + 4268927*c_0110_2^17 - 16513604*c_0110_2^16 - 88543137*c_0110_2^15 + 50462205*c_0110_2^14 + 577312088*c_0110_2^13 + 123844907*c_0110_2^12 - 1519243503*c_0110_2^11 - 952113397*c_0110_2^10 + 1736633482*c_0110_2^9 + 1848766634*c_0110_2^8 - 524238729*c_0110_2^7 - 1418316235*c_0110_2^6 - 471682446*c_0110_2^5 + 268803594*c_0110_2^4 + 269947158*c_0110_2^3 + 93385456*c_0110_2^2 + 15402406*c_0110_2 + 1016346, c_0101_5 - 405*c_0110_2^18 - 1710*c_0110_2^17 + 5862*c_0110_2^16 + 34997*c_0110_2^15 - 11208*c_0110_2^14 - 223701*c_0110_2^13 - 98604*c_0110_2^12 + 569475*c_0110_2^11 + 498750*c_0110_2^10 - 587741*c_0110_2^9 - 866215*c_0110_2^8 + 51668*c_0110_2^7 + 603887*c_0110_2^6 + 299032*c_0110_2^5 - 75135*c_0110_2^4 - 130664*c_0110_2^3 - 56133*c_0110_2^2 - 11340*c_0110_2 - 935, c_0110_2^19 + 13/3*c_0110_2^18 - 14*c_0110_2^17 - 88*c_0110_2^16 + 18*c_0110_2^15 + 555*c_0110_2^14 + 305*c_0110_2^13 - 4129/3*c_0110_2^12 - 4160/3*c_0110_2^11 + 3922/3*c_0110_2^10 + 6883/3*c_0110_2^9 + 353/3*c_0110_2^8 - 1495*c_0110_2^7 - 2716/3*c_0110_2^6 + 96*c_0110_2^5 + 340*c_0110_2^4 + 527/3*c_0110_2^3 + 45*c_0110_2^2 + 6*c_0110_2 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB