Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 155751716] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s200 geometric_solution 4.32260302 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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 1.991044344467 0.502046817555 0 2 3 0 0132 0132 0132 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 0.253872175953 0.936069949031 3 1 4 3 2310 0132 0132 3201 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 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.101358205959 0.712351012289 4 2 2 1 1023 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.101358205959 0.712351012289 5 3 5 2 0132 1023 1023 0132 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 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.686857385334 1.212974772278 4 5 4 5 0132 1302 1023 2031 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445027974642 0.284667052846 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), '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_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 27313293044636/598334968369*c_0101_4^11 + 445177949753745/598334968369*c_0101_4^10 + 1416657118606058/598334968369*c_0101_4^9 + 1458926907460779/598334968369*c_0101_4^8 + 2640653383932138/598334968369*c_0101_4^7 + 4632223927418267/598334968369*c_0101_4^6 - 1280764981827861/598334968369*c_0101_4^5 - 5353985920808455/598334968369*c_0101_4^4 - 421318193398932/598334968369*c_0101_4^3 + 2055265181477529/598334968369*c_0101_4^2 - 230830071327500/598334968369*c_0101_4 - 102230482768280/598334968369, c_0011_0 - 1, c_0011_3 + 26596530329/598334968369*c_0101_4^11 + 464022795800/598334968369*c_0101_4^10 + 1867420903436/598334968369*c_0101_4^9 + 2839849742625/598334968369*c_0101_4^8 + 3584145195401/598334968369*c_0101_4^7 + 6564985031243/598334968369*c_0101_4^6 + 2475540117939/598334968369*c_0101_4^5 - 9354751535130/598334968369*c_0101_4^4 - 7411540914861/598334968369*c_0101_4^3 + 2721722103071/598334968369*c_0101_4^2 + 2287873065268/598334968369*c_0101_4 - 538506758772/598334968369, c_0101_0 + 157197275360/598334968369*c_0101_4^11 + 2546178387057/598334968369*c_0101_4^10 + 7890851577657/598334968369*c_0101_4^9 + 7530941179270/598334968369*c_0101_4^8 + 14198296163916/598334968369*c_0101_4^7 + 24872679058152/598334968369*c_0101_4^6 - 10363985172763/598334968369*c_0101_4^5 - 30454014637704/598334968369*c_0101_4^4 + 376827159387/598334968369*c_0101_4^3 + 12939010504129/598334968369*c_0101_4^2 - 1562960274334/598334968369*c_0101_4 - 990576550509/598334968369, c_0101_1 + 363967454324/598334968369*c_0101_4^11 + 5935915119416/598334968369*c_0101_4^10 + 18942211094893/598334968369*c_0101_4^9 + 19711003786320/598334968369*c_0101_4^8 + 35605010915527/598334968369*c_0101_4^7 + 62230916531374/598334968369*c_0101_4^6 - 15999880735288/598334968369*c_0101_4^5 - 70791442403084/598334968369*c_0101_4^4 - 6828800872974/598334968369*c_0101_4^3 + 27008559580895/598334968369*c_0101_4^2 - 2070538491964/598334968369*c_0101_4 - 1268536891736/598334968369, c_0101_2 - 215809248358/598334968369*c_0101_4^11 - 3563706226473/598334968369*c_0101_4^10 - 11945650740107/598334968369*c_0101_4^9 - 13909091210304/598334968369*c_0101_4^8 - 23359018062249/598334968369*c_0101_4^7 - 41227256268486/598334968369*c_0101_4^6 + 2336992439625/598334968369*c_0101_4^5 + 44324393331159/598334968369*c_0101_4^4 + 11986086127623/598334968369*c_0101_4^3 - 14651346127430/598334968369*c_0101_4^2 - 888735428501/598334968369*c_0101_4 + 1084230601886/598334968369, c_0101_4^12 + 16*c_0101_4^11 + 47*c_0101_4^10 + 38*c_0101_4^9 + 81*c_0101_4^8 + 141*c_0101_4^7 - 97*c_0101_4^6 - 181*c_0101_4^5 + 43*c_0101_4^4 + 79*c_0101_4^3 - 31*c_0101_4^2 - c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB