Magma V2.19-8 Tue Aug 20 2013 16:14:05 on localhost [Seed = 307465774] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s032 geometric_solution 3.56959334 oriented_manifold CS_known -0.0000000000000001 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 2.413134460320 0.119001527514 0 2 2 0 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 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.910840673909 0.311708574549 1 1 3 3 2310 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 1 -1 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.365999619332 0.255902875023 4 2 5 2 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 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.986822303899 0.520289391146 3 5 5 5 0132 1230 3012 2310 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 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.992481683965 0.967662759047 4 4 4 3 3201 1230 3012 0132 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 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.992481683965 0.967662759047 ==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' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(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_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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' : negation(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_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : 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_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 4309636579/500339080*c_0101_3^10 - 13783419779/100067816*c_0101_3^9 + 370176308709/500339080*c_0101_3^8 - 705746492397/500339080*c_0101_3^7 - 68870311717/250169540*c_0101_3^6 + 698672007989/250169540*c_0101_3^5 - 46665622231/250169540*c_0101_3^4 - 109549758913/100067816*c_0101_3^3 - 56454071799/500339080*c_0101_3^2 + 1813066329/25016954*c_0101_3 + 38809628151/500339080, c_0011_0 - 1, c_0011_3 + 10532483/62542385*c_0101_3^10 - 32733893/12508477*c_0101_3^9 + 832166888/62542385*c_0101_3^8 - 1374178759/62542385*c_0101_3^7 - 801930608/62542385*c_0101_3^6 + 2689265376/62542385*c_0101_3^5 + 1085004051/62542385*c_0101_3^4 - 64538431/12508477*c_0101_3^3 - 339557308/62542385*c_0101_3^2 - 30643092/12508477*c_0101_3 - 35085398/62542385, c_0101_0 + 11214824/62542385*c_0101_3^10 - 37474720/12508477*c_0101_3^9 + 1087552049/62542385*c_0101_3^8 - 2463860817/62542385*c_0101_3^7 + 660102656/62542385*c_0101_3^6 + 4305851648/62542385*c_0101_3^5 - 2406637662/62542385*c_0101_3^4 - 441161367/12508477*c_0101_3^3 + 491785136/62542385*c_0101_3^2 + 75521596/12508477*c_0101_3 + 106395291/62542385, c_0101_1 + 14372908/62542385*c_0101_3^10 - 44967067/12508477*c_0101_3^9 + 1159866913/62542385*c_0101_3^8 - 2005858889/62542385*c_0101_3^7 - 868183348/62542385*c_0101_3^6 + 3815470981/62542385*c_0101_3^5 + 1022960816/62542385*c_0101_3^4 - 145042527/12508477*c_0101_3^3 - 572546948/62542385*c_0101_3^2 - 32212471/12508477*c_0101_3 + 31602977/62542385, c_0101_2 - 1500525/12508477*c_0101_3^10 + 24027452/12508477*c_0101_3^9 - 129446072/12508477*c_0101_3^8 + 248641028/12508477*c_0101_3^7 + 46214918/12508477*c_0101_3^6 - 506205537/12508477*c_0101_3^5 + 52813631/12508477*c_0101_3^4 + 237107176/12508477*c_0101_3^3 + 9864442/12508477*c_0101_3^2 - 15609296/12508477*c_0101_3 - 7244931/12508477, c_0101_3^11 - 16*c_0101_3^10 + 86*c_0101_3^9 - 164*c_0101_3^8 - 33*c_0101_3^7 + 328*c_0101_3^6 - 20*c_0101_3^5 - 137*c_0101_3^4 - 16*c_0101_3^3 + 11*c_0101_3^2 + 9*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB