Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 1225315726] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0416 geometric_solution 4.47612325 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 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 1 -1 0 -1 0 1 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.370755451813 0.441905720236 0 2 4 4 0132 3201 2310 0132 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 0 0 0 1 0 -1 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.370755451813 0.441905720236 5 0 1 5 0132 0132 2310 3201 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 -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.926894947965 0.903830151859 0 6 6 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -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 -1 0 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.158280997362 0.813214473342 6 1 1 6 3201 3201 0132 0132 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 -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 -0.158280997362 0.813214473342 2 2 5 5 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 1.757428873797 0.355983417192 3 3 4 4 2310 0132 0132 2310 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 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 2.230605717903 1.184803675484 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 3923160846429/562572969248*c_0101_6^11 - 16045262203823/1125145938496*c_0101_6^10 + 21614909334995/1125145938496*c_0101_6^9 - 59893870447193/1125145938496*c_0101_6^8 + 16708255718493/281286484624*c_0101_6^7 - 47875227810941/1125145938496*c_0101_6^6 - 17949798904341/1125145938496*c_0101_6^5 + 1770108241403/281286484624*c_0101_6^4 - 4117935084281/70321621156*c_0101_6^3 + 27915082707919/140643242312*c_0101_6^2 - 1109778795215/35160810578*c_0101_6 - 4064359017589/35160810578, c_0011_0 - 1, c_0011_3 + 55625418739/562572969248*c_0101_6^11 - 57913547983/281286484624*c_0101_6^10 + 46203629671/140643242312*c_0101_6^9 - 474824192519/562572969248*c_0101_6^8 + 485219979273/562572969248*c_0101_6^7 - 179707963563/281286484624*c_0101_6^6 - 118816003265/562572969248*c_0101_6^5 + 100852625553/281286484624*c_0101_6^4 - 48397859705/35160810578*c_0101_6^3 + 188318459113/70321621156*c_0101_6^2 + 837641631/17580405289*c_0101_6 - 35844758038/17580405289, c_0011_4 + 55625418739/562572969248*c_0101_6^11 - 57913547983/281286484624*c_0101_6^10 + 46203629671/140643242312*c_0101_6^9 - 474824192519/562572969248*c_0101_6^8 + 485219979273/562572969248*c_0101_6^7 - 179707963563/281286484624*c_0101_6^6 - 118816003265/562572969248*c_0101_6^5 + 100852625553/281286484624*c_0101_6^4 - 48397859705/35160810578*c_0101_6^3 + 188318459113/70321621156*c_0101_6^2 + 837641631/17580405289*c_0101_6 - 35844758038/17580405289, c_0101_0 + 68743873561/281286484624*c_0101_6^11 - 268220818677/562572969248*c_0101_6^10 + 366601259609/562572969248*c_0101_6^9 - 985704885055/562572969248*c_0101_6^8 + 64845379633/35160810578*c_0101_6^7 - 752075268311/562572969248*c_0101_6^6 - 543249972147/562572969248*c_0101_6^5 + 45040368443/140643242312*c_0101_6^4 - 170081223389/70321621156*c_0101_6^3 + 220296000823/35160810578*c_0101_6^2 - 15174012429/17580405289*c_0101_6 - 68658847963/17580405289, c_0101_2 - 59069715881/281286484624*c_0101_6^11 + 109422001515/281286484624*c_0101_6^10 - 145097791167/281286484624*c_0101_6^9 + 103343934107/70321621156*c_0101_6^8 - 394941450791/281286484624*c_0101_6^7 + 290477636993/281286484624*c_0101_6^6 + 108843355289/140643242312*c_0101_6^5 - 3495201145/35160810578*c_0101_6^4 + 49940596747/35160810578*c_0101_6^3 - 176811897771/35160810578*c_0101_6^2 - 20655725643/35160810578*c_0101_6 + 53856511166/17580405289, c_0101_5 + 21845654127/281286484624*c_0101_6^11 - 52461037215/562572969248*c_0101_6^10 + 45030311709/562572969248*c_0101_6^9 - 197311055883/562572969248*c_0101_6^8 + 11143879343/281286484624*c_0101_6^7 + 167654483643/562572969248*c_0101_6^6 - 695096680203/562572969248*c_0101_6^5 + 196531759497/281286484624*c_0101_6^4 - 183209171605/140643242312*c_0101_6^3 + 151232206953/70321621156*c_0101_6^2 + 29520926275/35160810578*c_0101_6 - 42067476766/17580405289, c_0101_6^12 - 13/11*c_0101_6^11 + 13/11*c_0101_6^10 - 60/11*c_0101_6^9 + 25/11*c_0101_6^8 + 1/11*c_0101_6^7 - 78/11*c_0101_6^6 - 20/11*c_0101_6^5 - 96/11*c_0101_6^4 + 224/11*c_0101_6^3 + 192/11*c_0101_6^2 - 192/11*c_0101_6 - 128/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB