Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 357861688] 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' : 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_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 - 323537065072/303204521*c_0101_4^11 + 94009261633/303204521*c_0101_4^10 + 2041281839440/303204521*c_0101_4^9 - 386063262133/303204521*c_0101_4^8 - 1911029606530/303204521*c_0101_4^7 - 1165813153299/303204521*c_0101_4^6 + 1319625724735/303204521*c_0101_4^5 + 2546616259849/303204521*c_0101_4^4 - 3940646438160/303204521*c_0101_4^3 + 2225590209189/303204521*c_0101_4^2 - 610579554710/303204521*c_0101_4 + 70939480114/303204521, c_0011_0 - 1, c_0011_3 - 257619042447/5760885899*c_0101_4^11 + 110760330432/5760885899*c_0101_4^10 + 1633601585980/5760885899*c_0101_4^9 - 532341084291/5760885899*c_0101_4^8 - 1598363124281/5760885899*c_0101_4^7 - 741296686227/5760885899*c_0101_4^6 + 1295457223219/5760885899*c_0101_4^5 + 2007739533796/5760885899*c_0101_4^4 - 3455717483401/5760885899*c_0101_4^3 + 2029216296405/5760885899*c_0101_4^2 - 581262441402/5760885899*c_0101_4 + 72603642200/5760885899, c_0101_0 + 191532341624/5760885899*c_0101_4^11 - 50100047931/5760885899*c_0101_4^10 - 1182678642145/5760885899*c_0101_4^9 + 204187843216/5760885899*c_0101_4^8 + 966475147632/5760885899*c_0101_4^7 + 635339211352/5760885899*c_0101_4^6 - 622164385835/5760885899*c_0101_4^5 - 1311648858396/5760885899*c_0101_4^4 + 2302942708551/5760885899*c_0101_4^3 - 1502425243413/5760885899*c_0101_4^2 + 473186421202/5760885899*c_0101_4 - 64559907217/5760885899, c_0101_1 - 282453563756/5760885899*c_0101_4^11 - 13034214496/5760885899*c_0101_4^10 + 1763771512231/5760885899*c_0101_4^9 + 258578466096/5760885899*c_0101_4^8 - 1492212343199/5760885899*c_0101_4^7 - 1521933290986/5760885899*c_0101_4^6 + 550917083688/5760885899*c_0101_4^5 + 2341556783708/5760885899*c_0101_4^4 - 2601519748510/5760885899*c_0101_4^3 + 1195586839167/5760885899*c_0101_4^2 - 276242791616/5760885899*c_0101_4 + 30695144644/5760885899, c_0101_2 - 56803029426/5760885899*c_0101_4^11 + 99234464813/5760885899*c_0101_4^10 + 375419168023/5760885899*c_0101_4^9 - 587153800464/5760885899*c_0101_4^8 - 498495147651/5760885899*c_0101_4^7 + 238799770302/5760885899*c_0101_4^6 + 777297056265/5760885899*c_0101_4^5 + 357354401965/5760885899*c_0101_4^4 - 1435713053865/5760885899*c_0101_4^3 + 1016922911796/5760885899*c_0101_4^2 - 315028330709/5760885899*c_0101_4 + 41249295506/5760885899, c_0101_4^12 - 8/13*c_0101_4^11 - 81/13*c_0101_4^10 + 42/13*c_0101_4^9 + 73/13*c_0101_4^8 + 23/13*c_0101_4^7 - 69/13*c_0101_4^6 - 87/13*c_0101_4^5 + 191/13*c_0101_4^4 - 139/13*c_0101_4^3 + 53/13*c_0101_4^2 - 11/13*c_0101_4 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB