Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 2496989436] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s846 geometric_solution 5.44097345 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 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.093471481696 0.983365659599 0 3 5 4 0132 0132 0132 0132 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 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.816720735575 0.926838181787 3 0 4 5 2310 0132 3201 2310 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 0 0 0 1 0 0 -1 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.816720735575 0.926838181787 3 1 2 3 3201 0132 3201 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.232718392635 0.625641716908 2 4 1 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737182602029 0.538772877300 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309203358571 0.612824473254 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 3179153849/915520*c_0101_3^15 + 8504147681/915520*c_0101_3^14 + 57854582893/915520*c_0101_3^13 - 30664537077/457760*c_0101_3^12 + 2345694907/228880*c_0101_3^11 + 62024360391/228880*c_0101_3^10 + 2907705419/114440*c_0101_3^9 - 183140495187/457760*c_0101_3^8 - 239760686919/915520*c_0101_3^7 + 5778947763/28610*c_0101_3^6 + 254774171359/915520*c_0101_3^5 + 6286903231/915520*c_0101_3^4 - 48528628039/457760*c_0101_3^3 - 5415228151/183104*c_0101_3^2 + 11938295347/915520*c_0101_3 + 4734326687/915520, c_0011_0 - 1, c_0011_4 - 709522/2861*c_0101_3^15 + 1875529/2861*c_0101_3^14 + 12983360/2861*c_0101_3^13 - 13319478/2861*c_0101_3^12 + 1483833/2861*c_0101_3^11 + 55815358/2861*c_0101_3^10 + 6649760/2861*c_0101_3^9 - 82299217/2861*c_0101_3^8 - 55532382/2861*c_0101_3^7 + 40659432/2861*c_0101_3^6 + 58131093/2861*c_0101_3^5 + 2263614/2861*c_0101_3^4 - 21970351/2861*c_0101_3^3 - 6364495/2861*c_0101_3^2 + 2685467/2861*c_0101_3 + 1093353/2861, c_0101_0 + 17659/2861*c_0101_3^15 + 24427/2861*c_0101_3^14 - 555764/2861*c_0101_3^13 - 822747/2861*c_0101_3^12 + 2021393/2861*c_0101_3^11 - 2845845/2861*c_0101_3^10 - 4839303/2861*c_0101_3^9 + 4315459/2861*c_0101_3^8 + 8146172/2861*c_0101_3^7 + 260566/2861*c_0101_3^6 - 6274101/2861*c_0101_3^5 - 2763719/2861*c_0101_3^4 + 2054133/2861*c_0101_3^3 + 1385654/2861*c_0101_3^2 - 225249/2861*c_0101_3 - 199929/2861, c_0101_1 + 537353/2861*c_0101_3^15 - 1372961/2861*c_0101_3^14 - 9986588/2861*c_0101_3^13 + 9312150/2861*c_0101_3^12 + 225393/2861*c_0101_3^11 - 43207118/2861*c_0101_3^10 - 8208822/2861*c_0101_3^9 + 63760903/2861*c_0101_3^8 + 46577539/2861*c_0101_3^7 - 29901261/2861*c_0101_3^6 - 47217996/2861*c_0101_3^5 - 3533499/2861*c_0101_3^4 + 17649397/2861*c_0101_3^3 + 5653618/2861*c_0101_3^2 - 2143763/2861*c_0101_3 - 948032/2861, c_0101_2 + c_0101_3^15 - 2*c_0101_3^14 - 20*c_0101_3^13 + 7*c_0101_3^12 + 10*c_0101_3^11 - 80*c_0101_3^10 - 60*c_0101_3^9 + 110*c_0101_3^8 + 153*c_0101_3^7 - 7*c_0101_3^6 - 119*c_0101_3^5 - 56*c_0101_3^4 + 29*c_0101_3^3 + 29*c_0101_3^2 + c_0101_3 - 4, c_0101_3^16 - 2*c_0101_3^15 - 20*c_0101_3^14 + 7*c_0101_3^13 + 10*c_0101_3^12 - 80*c_0101_3^11 - 60*c_0101_3^10 + 110*c_0101_3^9 + 153*c_0101_3^8 - 7*c_0101_3^7 - 119*c_0101_3^6 - 56*c_0101_3^5 + 29*c_0101_3^4 + 29*c_0101_3^3 + 2*c_0101_3^2 - 4*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB