Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 3600239132] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1665 geometric_solution 5.39927283 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 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.125853697858 0.801512400897 3 2 4 0 0132 3012 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.840817694477 1.307017295091 1 3 0 4 1230 2310 0132 2310 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 1 -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.840817694477 1.307017295091 1 3 3 2 0132 3201 2310 3201 0 0 0 0 0 0 1 -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 0 0 0 0 0 -1 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.634398288781 0.509558526087 2 5 5 1 3201 0132 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 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.224774427068 0.291672997980 4 4 6 6 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.900501487365 3.248332336152 6 5 5 6 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.144830907639 0.177832820035 ==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_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 6884286682397119149/104452396780597592*c_0101_5^17 + 23760520002776021291/104452396780597592*c_0101_5^16 - 91464813704576240999/104452396780597592*c_0101_5^15 + 36626690624108219447/26113099195149398*c_0101_5^14 - 46636929970182222619/52226198390298796*c_0101_5^13 - 55283070278581261469/13056549597574699*c_0101_5^12 + 1433762848763431472171/104452396780597592*c_0101_5^11 - 1221338435055641856877/52226198390298796*c_0101_5^10 + 330919709191626405401/13056549597574699*c_0101_5^9 - 216143768932396022016/13056549597574699*c_0101_5^8 + 167937186128186513665/104452396780597592*c_0101_5^7 + 1452854453697966804311/104452396780597592*c_0101_5^6 - 1097138360906283128969/52226198390298796*c_0101_5^5 + 329580541502007779561/26113099195149398*c_0101_5^4 + 62603493936675947765/52226198390298796*c_0101_5^3 - 141254582080309507053/26113099195149398*c_0101_5^2 + 246314504942755455261/104452396780597592*c_0101_5 - 15596298533763635951/52226198390298796, c_0011_0 - 1, c_0011_1 + 3443404016979/10981118248591*c_0101_5^17 + 4098478459371/10981118248591*c_0101_5^16 + 1963178334788/10981118248591*c_0101_5^15 + 105651865230810/10981118248591*c_0101_5^14 - 160564450442503/10981118248591*c_0101_5^13 + 266633718540875/10981118248591*c_0101_5^12 + 364040028012598/10981118248591*c_0101_5^11 - 1335913679936203/10981118248591*c_0101_5^10 + 2368170949435334/10981118248591*c_0101_5^9 - 2330137916344653/10981118248591*c_0101_5^8 + 1223644842626617/10981118248591*c_0101_5^7 + 109296406193606/10981118248591*c_0101_5^6 - 1702268733404693/10981118248591*c_0101_5^5 + 2188640172075722/10981118248591*c_0101_5^4 - 638863906921296/10981118248591*c_0101_5^3 - 790567831164507/10981118248591*c_0101_5^2 + 431709060691861/10981118248591*c_0101_5 + 34934803403083/10981118248591, c_0011_4 - 373711853728810/10981118248591*c_0101_5^17 + 1238236690212370/10981118248591*c_0101_5^16 - 4757059928794419/10981118248591*c_0101_5^15 + 7202333954859382/10981118248591*c_0101_5^14 - 3669311311873342/10981118248591*c_0101_5^13 - 24915904187175441/10981118248591*c_0101_5^12 + 74438196522312035/10981118248591*c_0101_5^11 - 119776135637938763/10981118248591*c_0101_5^10 + 121710193835309214/10981118248591*c_0101_5^9 - 69350319034392992/10981118248591*c_0101_5^8 - 6423751642693084/10981118248591*c_0101_5^7 + 79745905522689732/10981118248591*c_0101_5^6 - 105128334223802940/10981118248591*c_0101_5^5 + 50218212127877455/10981118248591*c_0101_5^4 + 19979372490380815/10981118248591*c_0101_5^3 - 28752777317651140/10981118248591*c_0101_5^2 + 6838761956741881/10981118248591*c_0101_5 + 543449197610944/10981118248591, c_0011_6 + 256008375292703/10981118248591*c_0101_5^17 - 859454678874033/10981118248591*c_0101_5^16 + 3287612049413088/10981118248591*c_0101_5^15 - 5055282457146236/10981118248591*c_0101_5^14 + 2639680530275498/10981118248591*c_0101_5^13 + 17051633611357486/10981118248591*c_0101_5^12 - 51754043403775654/10981118248591*c_0101_5^11 + 83723373378413833/10981118248591*c_0101_5^10 - 85735779864237857/10981118248591*c_0101_5^9 + 49412097874255745/10981118248591*c_0101_5^8 + 3745730997964258/10981118248591*c_0101_5^7 - 55344137311395458/10981118248591*c_0101_5^6 + 73932673605137581/10981118248591*c_0101_5^5 - 36186397893605091/10981118248591*c_0101_5^4 - 13474213858181699/10981118248591*c_0101_5^3 + 20448793689906783/10981118248591*c_0101_5^2 - 5011572201931570/10981118248591*c_0101_5 - 393547787993985/10981118248591, c_0101_0 + 45796185530251/10981118248591*c_0101_5^17 - 130690677407165/10981118248591*c_0101_5^16 + 527934242879016/10981118248591*c_0101_5^15 - 653018396697353/10981118248591*c_0101_5^14 + 204033834372514/10981118248591*c_0101_5^13 + 3090469415249483/10981118248591*c_0101_5^12 - 7697039457383706/10981118248591*c_0101_5^11 + 11487346232825302/10981118248591*c_0101_5^10 - 10394077932338644/10981118248591*c_0101_5^9 + 4773353838241271/10981118248591*c_0101_5^8 + 2161238933386307/10981118248591*c_0101_5^7 - 8549308699373076/10981118248591*c_0101_5^6 + 9350766354221748/10981118248591*c_0101_5^5 - 2774090160379188/10981118248591*c_0101_5^4 - 2895644860594797/10981118248591*c_0101_5^3 + 2121660103254971/10981118248591*c_0101_5^2 - 252897892471804/10981118248591*c_0101_5 - 16480269793771/10981118248591, c_0101_1 - 392442449457298/10981118248591*c_0101_5^17 + 1289974294678061/10981118248591*c_0101_5^16 - 4969444622633105/10981118248591*c_0101_5^15 + 7451978789115267/10981118248591*c_0101_5^14 - 3740455025291248/10981118248591*c_0101_5^13 - 26184292867725362/10981118248591*c_0101_5^12 + 77478153482775642/10981118248591*c_0101_5^11 - 124281555631009031/10981118248591*c_0101_5^10 + 125660590360968371/10981118248591*c_0101_5^9 - 71057585313155732/10981118248591*c_0101_5^8 - 7473363795741787/10981118248591*c_0101_5^7 + 83270063634293374/10981118248591*c_0101_5^6 - 108833543360592649/10981118248591*c_0101_5^5 + 51236811458295883/10981118248591*c_0101_5^4 + 21165498441627745/10981118248591*c_0101_5^3 - 29602193051624979/10981118248591*c_0101_5^2 + 6971552001439860/10981118248591*c_0101_5 + 554157418157458/10981118248591, c_0101_5^18 - 4*c_0101_5^17 + 15*c_0101_5^16 - 28*c_0101_5^15 + 23*c_0101_5^14 + 60*c_0101_5^13 - 245*c_0101_5^12 + 457*c_0101_5^11 - 545*c_0101_5^10 + 408*c_0101_5^9 - 109*c_0101_5^8 - 226*c_0101_5^7 + 428*c_0101_5^6 - 327*c_0101_5^5 + 38*c_0101_5^4 + 114*c_0101_5^3 - 71*c_0101_5^2 + 11*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB