Magma V2.19-8 Tue Aug 20 2013 16:14:12 on localhost [Seed = 2934911631] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s158 geometric_solution 4.24030078 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 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.622881257900 0.165275765412 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -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 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.877273937518 0.232694144475 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 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 0 0 0 0 0 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 1.142932466892 0.474505202719 4 2 4 5 3012 0132 2310 0132 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 -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.847316199796 1.140154885932 5 3 2 3 1023 3201 0132 1230 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 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.847316199796 1.140154885932 5 4 3 5 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.419900430606 0.565021095638 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 184531313241354045431/999170735835118579678*c_0101_3^13 - 2761992864586892176239/499585367917559289839*c_0101_3^11 - 60058303406035916363168/499585367917559289839*c_0101_3^9 - 4584357300882110336655635/499585367917559289839*c_0101_3^7 - 1531047313785112721599152/499585367917559289839*c_0101_3^5 - 177745908570766541605797/999170735835118579678*c_0101_3^3 + 25360762266641998529075/499585367917559289839*c_0101_3, c_0011_0 - 1, c_0011_1 - 118852183538940/47259991289145709*c_0101_3^12 + 7114735524550783/94519982578291418*c_0101_3^10 + 77381422745292833/47259991289145709*c_0101_3^8 + 5905602545746861009/47259991289145709*c_0101_3^6 + 1995579909888731967/47259991289145709*c_0101_3^4 + 12000530272562266/47259991289145709*c_0101_3^2 - 115999411089966233/94519982578291418, c_0011_4 + 1069126830508093/189039965156582836*c_0101_3^13 - 32055008637343155/189039965156582836*c_0101_3^11 - 347200653624785559/94519982578291418*c_0101_3^9 - 26544355587485086613/94519982578291418*c_0101_3^7 - 7620999374905739799/94519982578291418*c_0101_3^5 - 820886228048567309/189039965156582836*c_0101_3^3 + 441752226230471017/189039965156582836*c_0101_3, c_0101_0 + 2596043499852777/189039965156582836*c_0101_3^13 - 77626311712334689/189039965156582836*c_0101_3^11 - 846244004050783069/94519982578291418*c_0101_3^9 - 64521643300359968467/94519982578291418*c_0101_3^7 - 23679574730633074651/94519982578291418*c_0101_3^5 - 1392756480195161233/189039965156582836*c_0101_3^3 + 1412285717782163479/189039965156582836*c_0101_3, c_0101_1 + 76170445312795/189039965156582836*c_0101_3^12 - 2266541470253703/189039965156582836*c_0101_3^10 - 24997996641185905/94519982578291418*c_0101_3^8 - 1896671550993558837/94519982578291418*c_0101_3^6 - 968731510594911111/94519982578291418*c_0101_3^4 + 27931366808865289/189039965156582836*c_0101_3^2 + 177195105376103641/189039965156582836, c_0101_3^14 - 30*c_0101_3^12 - 649*c_0101_3^10 - 49644*c_0101_3^8 - 13368*c_0101_3^6 + 665*c_0101_3^4 + 600*c_0101_3^2 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB