Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 37985825] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s362 geometric_solution 4.58356323 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 0 0 -1 -1 2 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.978139999401 0.586543452365 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 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 0 0 0 0 1 -1 0 -1 0 0 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.114075908760 1.129047795381 4 3 1 3 0132 2031 0132 3012 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 -1 1 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.815815613281 0.613075910397 2 4 2 1 1302 2310 1230 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815815613281 0.613075910397 2 5 5 3 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 0 0 0 0 0 -1 1 -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.338202214273 0.269845396800 4 4 5 5 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.973100125018 1.863191385241 ==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_0101_5'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), '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_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(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' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 4785205899872262388/938138790338130707*c_0101_5^15 - 13014457903498152726/938138790338130707*c_0101_5^14 + 27652206725458555715/938138790338130707*c_0101_5^13 - 17008383104470183305/938138790338130707*c_0101_5^12 + 19021958204878827315/938138790338130707*c_0101_5^11 + 492319415253029895667/938138790338130707*c_0101_5^10 - 66508230757400613254/938138790338130707*c_0101_5^9 - 319901611158274491512/938138790338130707*c_0101_5^8 - 1029927247119366319918/938138790338130707*c_0101_5^7 - 2091837895464141985146/938138790338130707*c_0101_5^6 + 1916922218735374219762/938138790338130707*c_0101_5^5 - 669663214106400265402/938138790338130707*c_0101_5^4 - 104316802694932239230/938138790338130707*c_0101_5^3 + 164602105814102576811/938138790338130707*c_0101_5^2 + 66148514915252975557/938138790338130707*c_0101_5 - 12436492215395171286/938138790338130707, c_0011_0 - 1, c_0011_2 + 80159179496614459/938138790338130707*c_0101_5^15 + 226263205773176124/938138790338130707*c_0101_5^14 - 427178754150587351/938138790338130707*c_0101_5^13 + 271708957062738913/938138790338130707*c_0101_5^12 - 369539696557204204/938138790338130707*c_0101_5^11 - 8213129023312296993/938138790338130707*c_0101_5^10 + 156981067617231066/938138790338130707*c_0101_5^9 + 4159008137361344783/938138790338130707*c_0101_5^8 + 18096293567724812836/938138790338130707*c_0101_5^7 + 37436902317392145382/938138790338130707*c_0101_5^6 - 25217902416470098245/938138790338130707*c_0101_5^5 + 13374884200739363227/938138790338130707*c_0101_5^4 - 1903636430055152989/938138790338130707*c_0101_5^3 - 554157705813574872/938138790338130707*c_0101_5^2 - 2332619364770571631/938138790338130707*c_0101_5 - 141406729112218455/938138790338130707, c_0101_0 + 394406503732009996/938138790338130707*c_0101_5^15 + 1119450746039314144/938138790338130707*c_0101_5^14 - 2121407952160362748/938138790338130707*c_0101_5^13 + 1226402032833448527/938138790338130707*c_0101_5^12 - 1546488094797081030/938138790338130707*c_0101_5^11 - 40709607289807544982/938138790338130707*c_0101_5^10 + 621955381459686576/938138790338130707*c_0101_5^9 + 23750215423928010062/938138790338130707*c_0101_5^8 + 87410977948998441176/938138790338130707*c_0101_5^7 + 184386266364273581632/938138790338130707*c_0101_5^6 - 131017264201239271583/938138790338130707*c_0101_5^5 + 52512139281840243958/938138790338130707*c_0101_5^4 + 7003101208935157613/938138790338130707*c_0101_5^3 - 8789579107773526407/938138790338130707*c_0101_5^2 - 4114744113192238957/938138790338130707*c_0101_5 - 204011032627825052/938138790338130707, c_0101_1 - 103378474309757331/938138790338130707*c_0101_5^15 - 400078775725035393/938138790338130707*c_0101_5^14 + 260229688693543181/938138790338130707*c_0101_5^13 + 272261494663829124/938138790338130707*c_0101_5^12 + 35528589652836925/938138790338130707*c_0101_5^11 + 11101758398914926218/938138790338130707*c_0101_5^10 + 10845798833128025106/938138790338130707*c_0101_5^9 - 7070091740702653694/938138790338130707*c_0101_5^8 - 29364446617741406851/938138790338130707*c_0101_5^7 - 71118513732279498897/938138790338130707*c_0101_5^6 - 14070555809801592867/938138790338130707*c_0101_5^5 + 24129674624171795240/938138790338130707*c_0101_5^4 - 19324702755394391578/938138790338130707*c_0101_5^3 - 2290551547686535935/938138790338130707*c_0101_5^2 + 5039034543394115166/938138790338130707*c_0101_5 + 644649969530839993/938138790338130707, c_0101_4 + 205902846162896424/938138790338130707*c_0101_5^15 + 571589532329879423/938138790338130707*c_0101_5^14 - 1163187098328568660/938138790338130707*c_0101_5^13 + 648883530447582389/938138790338130707*c_0101_5^12 - 755966821036098203/938138790338130707*c_0101_5^11 - 21233395505885574352/938138790338130707*c_0101_5^10 + 1670507918441481308/938138790338130707*c_0101_5^9 + 14467758987204141319/938138790338130707*c_0101_5^8 + 45221103702161434632/938138790338130707*c_0101_5^7 + 92208360624758199159/938138790338130707*c_0101_5^6 - 78549262556803719208/938138790338130707*c_0101_5^5 + 21199468862969251044/938138790338130707*c_0101_5^4 + 7347843820567737129/938138790338130707*c_0101_5^3 - 7226261627909254663/938138790338130707*c_0101_5^2 - 2241549311073847235/938138790338130707*c_0101_5 + 290774127653620779/938138790338130707, c_0101_5^16 + 3*c_0101_5^15 - 5*c_0101_5^14 + 2*c_0101_5^13 - 3*c_0101_5^12 - 104*c_0101_5^11 - 15*c_0101_5^10 + 69*c_0101_5^9 + 232*c_0101_5^8 + 497*c_0101_5^7 - 274*c_0101_5^6 + 40*c_0101_5^5 + 68*c_0101_5^4 - 24*c_0101_5^3 - 21*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB