Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 4038159580] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s218 geometric_solution 4.36063571 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 1 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 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.753043940984 0.678984833519 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.339130697910 0.246588954650 0 0 4 3 2310 0132 0132 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 -1 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.085546673432 0.404589734924 4 4 2 5 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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 0 0 0 0.672423119692 1.093998977906 3 3 5 2 1023 3012 2310 0132 0 0 0 0 0 1 -1 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 -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.672423119692 1.093998977906 5 4 3 5 3012 3201 0132 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 0.672423119692 1.093998977906 ==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' : negation(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' : negation(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_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} 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_5, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 378679750560879201/613371935029340*c_0101_2^15 - 47495234874442147/306685967514670*c_0101_2^14 - 842740653161615959/306685967514670*c_0101_2^13 + 1003539961619490958/153342983757335*c_0101_2^12 - 79075981035746603/153342983757335*c_0101_2^11 - 3407959296210167941/153342983757335*c_0101_2^10 + 732090402968433551/122674387005868*c_0101_2^9 + 11342158371068942909/306685967514670*c_0101_2^8 + 152862658199621701/122674387005868*c_0101_2^7 - 11058609126248535749/306685967514670*c_0101_2^6 - 6748378483059961049/613371935029340*c_0101_2^5 + 4783265698948604349/306685967514670*c_0101_2^4 + 1339860835391993196/153342983757335*c_0101_2^3 - 496790084515453667/613371935029340*c_0101_2^2 - 218722175690168636/153342983757335*c_0101_2 - 148351371242404319/613371935029340, c_0011_0 - 1, c_0011_3 - 6246527772612267/306685967514670*c_0101_2^15 + 740675093431153/306685967514670*c_0101_2^14 + 28400088504030601/306685967514670*c_0101_2^13 - 62832121677284519/306685967514670*c_0101_2^12 - 5166977447939381/306685967514670*c_0101_2^11 + 230480265134802153/306685967514670*c_0101_2^10 - 3325917115450937/30668596751467*c_0101_2^9 - 197587459747240418/153342983757335*c_0101_2^8 - 10420560115252039/61337193502934*c_0101_2^7 + 383063916572433571/306685967514670*c_0101_2^6 + 75425902275917874/153342983757335*c_0101_2^5 - 81905382937621083/153342983757335*c_0101_2^4 - 53495945173443599/153342983757335*c_0101_2^3 + 6586580169355149/306685967514670*c_0101_2^2 + 17074189148499593/306685967514670*c_0101_2 + 1498320293528119/153342983757335, c_0011_5 + 6612261943096663/613371935029340*c_0101_2^15 - 419416514084708/153342983757335*c_0101_2^14 - 7418687199445436/153342983757335*c_0101_2^13 + 35110173673688683/306685967514670*c_0101_2^12 - 2347154940215013/306685967514670*c_0101_2^11 - 120345861616302411/306685967514670*c_0101_2^10 + 12993618592401067/122674387005868*c_0101_2^9 + 202252340336837237/306685967514670*c_0101_2^8 + 1834290226060931/122674387005868*c_0101_2^7 - 99507545382842351/153342983757335*c_0101_2^6 - 115574382112888297/613371935029340*c_0101_2^5 + 88599831674963177/306685967514670*c_0101_2^4 + 23494701214490753/153342983757335*c_0101_2^3 - 12853019058617021/613371935029340*c_0101_2^2 - 7896987321881131/306685967514670*c_0101_2 - 1971343363616307/613371935029340, c_0101_0 + 23655410264311903/613371935029340*c_0101_2^15 - 2792563036616911/306685967514670*c_0101_2^14 - 53087094597931087/306685967514670*c_0101_2^13 + 62425179248761254/153342983757335*c_0101_2^12 - 3241741734313029/153342983757335*c_0101_2^11 - 215376441761784453/153342983757335*c_0101_2^10 + 44278893142109633/122674387005868*c_0101_2^9 + 722369503913465277/306685967514670*c_0101_2^8 + 10308182650816319/122674387005868*c_0101_2^7 - 707021473235546187/306685967514670*c_0101_2^6 - 430080002891302047/613371935029340*c_0101_2^5 + 310774732220291157/306685967514670*c_0101_2^4 + 85441070297536493/153342983757335*c_0101_2^3 - 37167919702850741/613371935029340*c_0101_2^2 - 14268457148197068/153342983757335*c_0101_2 - 9521247336633897/613371935029340, c_0101_1 - 18093007090519529/613371935029340*c_0101_2^15 + 1006886661112754/153342983757335*c_0101_2^14 + 20258305875080468/153342983757335*c_0101_2^13 - 94963548656905929/306685967514670*c_0101_2^12 + 4093590089940919/306685967514670*c_0101_2^11 + 328496403286427803/306685967514670*c_0101_2^10 - 32113109794917953/122674387005868*c_0101_2^9 - 550369253363590731/306685967514670*c_0101_2^8 - 10597985437321009/122674387005868*c_0101_2^7 + 267872359718416393/153342983757335*c_0101_2^6 + 338613678582639991/613371935029340*c_0101_2^5 - 232255473715025321/306685967514670*c_0101_2^4 - 65550484354958409/153342983757335*c_0101_2^3 + 24191491794530543/613371935029340*c_0101_2^2 + 21019687073985453/306685967514670*c_0101_2 + 7468463044048561/613371935029340, c_0101_2^16 + 1/7*c_0101_2^15 - 32/7*c_0101_2^14 + 62/7*c_0101_2^13 + 24/7*c_0101_2^12 - 256/7*c_0101_2^11 - 31/7*c_0101_2^10 + 451/7*c_0101_2^9 + 177/7*c_0101_2^8 - 411/7*c_0101_2^7 - 285/7*c_0101_2^6 + 135/7*c_0101_2^5 + 170/7*c_0101_2^4 + 27/7*c_0101_2^3 - 3*c_0101_2^2 - 9/7*c_0101_2 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB