Magma V2.19-8 Tue Aug 20 2013 16:14:12 on localhost [Seed = 3819077570] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s164 geometric_solution 4.25297848 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 3 0132 0132 2310 0132 0 0 0 0 0 0 -1 1 0 0 1 -1 -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 -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 1.655054207972 1.843930704428 0 0 1 1 0132 3201 2031 1302 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395322897888 0.250040032330 3 0 4 3 3012 0132 0132 3120 0 0 0 0 0 0 1 -1 -1 0 0 1 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 -1 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.743598701529 0.531490442045 2 4 0 2 3120 3201 0132 1230 0 0 0 0 0 0 -1 1 -1 0 1 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 -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.743598701529 0.531490442045 5 5 3 2 0132 3201 2310 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 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.479079753461 0.380348923382 4 5 4 5 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.987296149540 1.127036314408 ==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' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), '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' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_4'])})} 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_0011_4, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 103153695861/35922217511*c_0101_4^13 + 824000041898/35922217511*c_0101_4^12 - 829367999952/35922217511*c_0101_4^11 + 1266804752526/35922217511*c_0101_4^10 - 7317786092172/35922217511*c_0101_4^9 + 5442373902414/35922217511*c_0101_4^8 - 8680753882828/35922217511*c_0101_4^7 + 17554584386706/35922217511*c_0101_4^6 - 10263704770149/35922217511*c_0101_4^5 + 12796304963624/35922217511*c_0101_4^4 - 11708906354004/35922217511*c_0101_4^3 + 5384972576028/35922217511*c_0101_4^2 - 3697451040502/35922217511*c_0101_4 - 354349274561/35922217511, c_0011_0 - 1, c_0011_3 + 4579620674/35922217511*c_0101_4^13 + 41127276293/35922217511*c_0101_4^12 + 3832736331/35922217511*c_0101_4^11 + 58798137183/35922217511*c_0101_4^10 - 261316209761/35922217511*c_0101_4^9 + 9187260248/35922217511*c_0101_4^8 - 384936661956/35922217511*c_0101_4^7 + 419867062505/35922217511*c_0101_4^6 - 196731447946/35922217511*c_0101_4^5 + 425641036006/35922217511*c_0101_4^4 - 213145960690/35922217511*c_0101_4^3 + 168881903995/35922217511*c_0101_4^2 - 71872534759/35922217511*c_0101_4 - 49659702546/35922217511, c_0011_4 + 7328106714/35922217511*c_0101_4^13 + 64272001260/35922217511*c_0101_4^12 - 8602876210/35922217511*c_0101_4^11 + 89993684738/35922217511*c_0101_4^10 - 393906996621/35922217511*c_0101_4^9 + 52091968428/35922217511*c_0101_4^8 - 509216952313/35922217511*c_0101_4^7 + 533568449815/35922217511*c_0101_4^6 - 236993454382/35922217511*c_0101_4^5 + 416931556045/35922217511*c_0101_4^4 - 186240764923/35922217511*c_0101_4^3 + 132819824879/35922217511*c_0101_4^2 + 6290373249/35922217511*c_0101_4 - 41487690218/35922217511, c_0101_0 + 7460794496/35922217511*c_0101_4^13 + 64531210195/35922217511*c_0101_4^12 - 16619306091/35922217511*c_0101_4^11 + 90364078766/35922217511*c_0101_4^10 - 439117711308/35922217511*c_0101_4^9 + 101219488295/35922217511*c_0101_4^8 - 537396314236/35922217511*c_0101_4^7 + 723963441678/35922217511*c_0101_4^6 - 237715989789/35922217511*c_0101_4^5 + 500363853072/35922217511*c_0101_4^4 - 303934851125/35922217511*c_0101_4^3 + 42518916837/35922217511*c_0101_4^2 - 472991088/35922217511*c_0101_4 - 55072167002/35922217511, c_0101_2 + 625947939/35922217511*c_0101_4^13 + 4757193756/35922217511*c_0101_4^12 - 4496277890/35922217511*c_0101_4^11 + 29711915703/35922217511*c_0101_4^10 - 67084752411/35922217511*c_0101_4^9 + 65402055483/35922217511*c_0101_4^8 - 191551726757/35922217511*c_0101_4^7 + 192307510081/35922217511*c_0101_4^6 - 159380263625/35922217511*c_0101_4^5 + 227949837077/35922217511*c_0101_4^4 - 104995169726/35922217511*c_0101_4^3 + 59797551297/35922217511*c_0101_4^2 + 24525784405/35922217511*c_0101_4 - 37885897916/35922217511, c_0101_4^14 + 9*c_0101_4^13 + c_0101_4^12 + 13*c_0101_4^11 - 55*c_0101_4^10 - 3*c_0101_4^9 - 79*c_0101_4^8 + 75*c_0101_4^7 - 21*c_0101_4^6 + 72*c_0101_4^5 - 24*c_0101_4^4 + 14*c_0101_4^3 - 9*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB