Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 728414158] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0608 geometric_solution 4.61516451 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 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 2.358985731558 0.137604235327 0 2 2 0 0132 0132 3201 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 -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 -1.003147336235 0.453168495492 1 1 3 3 2310 0132 0132 3201 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 1 -1 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.245742317858 0.248185787667 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 0 0 1 -1 -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 -1 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 1.055261238272 0.965967085606 3 6 5 5 0132 0132 0213 2310 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 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.381469941632 0.724581526147 4 4 6 3 3201 0213 1023 0132 0 0 0 0 0 0 1 -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 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.381469941632 0.724581526147 6 4 5 6 3012 0132 1023 1230 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 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 1.431098446623 1.080597737294 ==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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 3094993066/192463763*c_0101_6^19 + 96565728846/192463763*c_0101_6^17 - 876954640848/192463763*c_0101_6^15 + 3871727706934/192463763*c_0101_6^13 - 10200424454850/192463763*c_0101_6^11 + 17376776801226/192463763*c_0101_6^9 - 19187800858739/192463763*c_0101_6^7 + 12987334669163/192463763*c_0101_6^5 - 4767226309279/192463763*c_0101_6^3 + 707960672478/192463763*c_0101_6, c_0011_0 - 1, c_0011_3 - 205038022/192463763*c_0101_6^18 + 5972967225/192463763*c_0101_6^16 - 45667171176/192463763*c_0101_6^14 + 160042316021/192463763*c_0101_6^12 - 330490364659/192463763*c_0101_6^10 + 421918430535/192463763*c_0101_6^8 - 313103394504/192463763*c_0101_6^6 + 118396079788/192463763*c_0101_6^4 - 17530428600/192463763*c_0101_6^2 + 285243112/192463763, c_0011_5 - 192788057/192463763*c_0101_6^19 + 5682133717/192463763*c_0101_6^17 - 44799135660/192463763*c_0101_6^15 + 163418991244/192463763*c_0101_6^13 - 350123841684/192463763*c_0101_6^11 + 466669339278/192463763*c_0101_6^9 - 366144575770/192463763*c_0101_6^7 + 147018998448/192463763*c_0101_6^5 - 21814509320/192463763*c_0101_6^3 - 453542894/192463763*c_0101_6, c_0101_0 - 268319342/192463763*c_0101_6^19 + 7849649363/192463763*c_0101_6^17 - 60691864080/192463763*c_0101_6^15 + 215768108785/192463763*c_0101_6^13 - 450865664967/192463763*c_0101_6^11 + 582179684968/192463763*c_0101_6^9 - 435559598244/192463763*c_0101_6^7 + 160577900276/192463763*c_0101_6^5 - 18158857004/192463763*c_0101_6^3 - 1492985325/192463763*c_0101_6, c_0101_1 - 150409962/192463763*c_0101_6^18 + 4437025153/192463763*c_0101_6^16 - 35091513089/192463763*c_0101_6^14 + 129078477918/192463763*c_0101_6^12 - 280792065224/192463763*c_0101_6^10 + 382778082028/192463763*c_0101_6^8 - 313336139182/192463763*c_0101_6^6 + 137203126898/192463763*c_0101_6^4 - 24838309894/192463763*c_0101_6^2 + 471835772/192463763, c_0101_3 - 112850684/192463763*c_0101_6^18 + 3221510928/192463763*c_0101_6^16 - 23282024603/192463763*c_0101_6^14 + 75311616233/192463763*c_0101_6^12 - 143482999285/192463763*c_0101_6^10 + 164607618263/192463763*c_0101_6^8 - 103801250667/192463763*c_0101_6^6 + 31033496192/192463763*c_0101_6^4 - 3382216068/192463763*c_0101_6^2 + 84404941/192463763, c_0101_6^20 - 30*c_0101_6^18 + 248*c_0101_6^16 - 973*c_0101_6^14 + 2283*c_0101_6^12 - 3439*c_0101_6^10 + 3285*c_0101_6^8 - 1880*c_0101_6^6 + 581*c_0101_6^4 - 76*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB