Magma V2.19-8 Tue Aug 20 2013 16:14:19 on localhost [Seed = 2564359357] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s295 geometric_solution 4.46225941 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 3 0132 0132 3120 0132 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 0 1 0 -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.223388790244 0.828568749269 0 4 2 4 0132 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540683478639 2.661169096784 1 0 0 3 2310 0132 3120 1023 0 0 0 0 0 0 0 0 -1 0 0 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 -1 0 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.223388790244 0.828568749269 3 3 0 2 1302 2031 0132 1023 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 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.602187043946 0.642475101519 5 1 5 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557156062242 0.226229322224 4 4 5 5 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503045300803 0.079208862499 ==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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0110_3'], 'c_1001_3' : negation(d['c_0110_3']), 'c_1001_2' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0110_3'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0110_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_3, c_0101_0, c_0101_4, c_0101_5, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 10953468*c_0110_3^25 - 57329*c_0110_3^24 - 32807955*c_0110_3^23 - 24862532*c_0110_3^22 - 55385969*c_0110_3^21 - 73760859*c_0110_3^20 - 2522402*c_0110_3^19 + 193598934*c_0110_3^18 + 737548385*c_0110_3^17 + 1405733517*c_0110_3^16 + 1696346269*c_0110_3^15 + 937368574*c_0110_3^14 - 874313796*c_0110_3^13 - 2489985116*c_0110_3^12 - 2542433836*c_0110_3^11 - 906209336*c_0110_3^10 + 955454101*c_0110_3^9 + 1555803209*c_0110_3^8 + 877772820*c_0110_3^7 - 32956616*c_0110_3^6 - 380983125*c_0110_3^5 - 239096756*c_0110_3^4 - 35303854*c_0110_3^3 + 34581227*c_0110_3^2 + 20781991*c_0110_3 + 3670004, c_0011_0 - 1, c_0011_3 + 486920*c_0110_3^25 + 14454*c_0110_3^24 + 1451312*c_0110_3^23 + 1145099*c_0110_3^22 + 2465199*c_0110_3^21 + 3336898*c_0110_3^20 + 157650*c_0110_3^19 - 8631484*c_0110_3^18 - 32981498*c_0110_3^17 - 63173927*c_0110_3^16 - 76522625*c_0110_3^15 - 42837971*c_0110_3^14 + 38556325*c_0110_3^13 + 111829325*c_0110_3^12 + 115036820*c_0110_3^11 + 41824815*c_0110_3^10 - 42425008*c_0110_3^9 - 70231510*c_0110_3^8 - 40062255*c_0110_3^7 + 1144539*c_0110_3^6 + 17167892*c_0110_3^5 + 10902485*c_0110_3^4 + 1662647*c_0110_3^3 - 1555880*c_0110_3^2 - 950196*c_0110_3 - 169659, c_0101_0 - 1297076*c_0110_3^25 - 26467*c_0110_3^24 - 3874209*c_0110_3^23 - 3008674*c_0110_3^22 - 6568100*c_0110_3^21 - 8826960*c_0110_3^20 - 381369*c_0110_3^19 + 22969815*c_0110_3^18 + 87660365*c_0110_3^17 + 167608994*c_0110_3^16 + 202759379*c_0110_3^15 + 112985846*c_0110_3^14 - 102973457*c_0110_3^13 - 296758071*c_0110_3^12 - 304479503*c_0110_3^11 - 109952659*c_0110_3^10 + 113019549*c_0110_3^9 + 186036113*c_0110_3^8 + 105724888*c_0110_3^7 - 3338576*c_0110_3^6 - 45501384*c_0110_3^5 - 28781940*c_0110_3^4 - 4343335*c_0110_3^3 + 4125452*c_0110_3^2 + 2506335*c_0110_3 + 445999, c_0101_4 - 100056*c_0110_3^25 + 3314*c_0110_3^24 - 304949*c_0110_3^23 - 210117*c_0110_3^22 - 518178*c_0110_3^21 - 645275*c_0110_3^20 - 30688*c_0110_3^19 + 1766824*c_0110_3^18 + 6675431*c_0110_3^17 + 12668178*c_0110_3^16 + 15268611*c_0110_3^15 + 8358005*c_0110_3^14 - 7932602*c_0110_3^13 - 22422864*c_0110_3^12 - 22822181*c_0110_3^11 - 8086320*c_0110_3^10 + 8602338*c_0110_3^9 + 13966817*c_0110_3^8 + 7869396*c_0110_3^7 - 293407*c_0110_3^6 - 3413702*c_0110_3^5 - 2147036*c_0110_3^4 - 320067*c_0110_3^3 + 308535*c_0110_3^2 + 187046*c_0110_3 + 33486, c_0101_5 - 197780*c_0110_3^25 + 52773*c_0110_3^24 - 629517*c_0110_3^23 - 261714*c_0110_3^22 - 1008412*c_0110_3^21 - 1052907*c_0110_3^20 + 122102*c_0110_3^19 + 3393341*c_0110_3^18 + 12437071*c_0110_3^17 + 22371237*c_0110_3^16 + 25813788*c_0110_3^15 + 11929616*c_0110_3^14 - 16932732*c_0110_3^13 - 39881256*c_0110_3^12 - 37202773*c_0110_3^11 - 9904836*c_0110_3^10 + 17238677*c_0110_3^9 + 23419531*c_0110_3^8 + 11447554*c_0110_3^7 - 1861504*c_0110_3^6 - 5845657*c_0110_3^5 - 3163723*c_0110_3^4 - 260980*c_0110_3^3 + 538219*c_0110_3^2 + 265416*c_0110_3 + 40118, c_0110_3^26 + 3/4*c_0110_3^25 + 3*c_0110_3^24 + 9/2*c_0110_3^23 + 27/4*c_0110_3^22 + 21/2*c_0110_3^21 + 21/4*c_0110_3^20 - 35/2*c_0110_3^19 - 161/2*c_0110_3^18 - 357/2*c_0110_3^17 - 501/2*c_0110_3^16 - 201*c_0110_3^15 + 16*c_0110_3^14 + 1147/4*c_0110_3^13 + 803/2*c_0110_3^12 + 1023/4*c_0110_3^11 - 51/2*c_0110_3^10 - 207*c_0110_3^9 - 186*c_0110_3^8 - 227/4*c_0110_3^7 + 37*c_0110_3^6 + 191/4*c_0110_3^5 + 39/2*c_0110_3^4 - 3/4*c_0110_3^3 - 17/4*c_0110_3^2 - 7/4*c_0110_3 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB