Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 1882320143] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2995 geometric_solution 6.17412478 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.960637855258 0.706085466523 0 5 5 6 0132 0132 1023 0132 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 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.532318144815 0.242979322394 2 0 2 6 2031 0132 1302 1023 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722064830652 0.780416996331 6 3 3 0 0132 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.976427434259 0.651273063586 4 6 0 4 3012 0132 0132 1230 0 0 0 0 0 1 -1 0 0 0 0 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 -1 0 1 -1 0 0 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.679461939541 0.809271757668 5 1 1 5 3201 0132 1023 2310 0 0 0 0 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 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.983532149801 0.733800887827 3 4 1 2 0132 0132 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.960637855258 0.706085466523 ==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_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' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_0110_2'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0110_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0110_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0110_2']})} 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_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 14443399916566/18823171057223*c_0110_2^17 - 219357716569051/18823171057223*c_0110_2^16 - 1242797491071845/18823171057223*c_0110_2^15 - 3442872783425133/18823171057223*c_0110_2^14 - 4259607509224632/18823171057223*c_0110_2^13 + 880667361025895/18823171057223*c_0110_2^12 + 670997505430395/1447936235171*c_0110_2^11 + 6022995989564992/18823171057223*c_0110_2^10 - 8497448302698116/18823171057223*c_0110_2^9 - 13169460179051193/18823171057223*c_0110_2^8 + 2003810094566625/18823171057223*c_0110_2^7 + 305417160746981/459101733103*c_0110_2^6 + 1424726793660269/18823171057223*c_0110_2^5 - 9353797061174602/18823171057223*c_0110_2^4 - 2494770286325452/18823171057223*c_0110_2^3 + 4858302229866961/18823171057223*c_0110_2^2 + 1613192567541769/18823171057223*c_0110_2 - 1254010002522694/18823171057223, c_0011_0 - 1, c_0011_3 - 654007/9384937*c_0110_2^17 - 8464112/9384937*c_0110_2^16 - 43334355/9384937*c_0110_2^15 - 109454781/9384937*c_0110_2^14 - 116983616/9384937*c_0110_2^13 + 56465049/9384937*c_0110_2^12 + 263460461/9384937*c_0110_2^11 + 123707944/9384937*c_0110_2^10 - 287998585/9384937*c_0110_2^9 - 329774542/9384937*c_0110_2^8 + 120243789/9384937*c_0110_2^7 + 318803733/9384937*c_0110_2^6 - 20037495/9384937*c_0110_2^5 - 229570323/9384937*c_0110_2^4 - 22407179/9384937*c_0110_2^3 + 109741225/9384937*c_0110_2^2 + 24329918/9384937*c_0110_2 - 11013177/9384937, c_0101_0 - 1671733/9384937*c_0110_2^17 - 12647689/9384937*c_0110_2^16 - 37874585/9384937*c_0110_2^15 - 49587355/9384937*c_0110_2^14 - 6492497/9384937*c_0110_2^13 + 55185524/9384937*c_0110_2^12 + 49554381/9384937*c_0110_2^11 - 15527883/9384937*c_0110_2^10 - 56867763/9384937*c_0110_2^9 - 50329779/9384937*c_0110_2^8 - 19607055/9384937*c_0110_2^7 + 23119803/9384937*c_0110_2^6 + 45693843/9384937*c_0110_2^5 - 1276138/9384937*c_0110_2^4 - 44068823/9384937*c_0110_2^3 + 2998129/9384937*c_0110_2^2 + 26913217/9384937*c_0110_2 + 1130853/9384937, c_0101_1 - 1329608/9384937*c_0110_2^17 - 13659248/9384937*c_0110_2^16 - 57389741/9384937*c_0110_2^15 - 118222188/9384937*c_0110_2^14 - 88754093/9384937*c_0110_2^13 + 101366826/9384937*c_0110_2^12 + 239501359/9384937*c_0110_2^11 + 41053610/9384937*c_0110_2^10 - 285018663/9384937*c_0110_2^9 - 223170489/9384937*c_0110_2^8 + 149499155/9384937*c_0110_2^7 + 221763597/9384937*c_0110_2^6 - 67865510/9384937*c_0110_2^5 - 168958145/9384937*c_0110_2^4 + 4908642/9384937*c_0110_2^3 + 85237169/9384937*c_0110_2^2 + 22079887/9384937*c_0110_2 - 11034220/9384937, c_0101_3 - c_0110_2^2 + 1, c_0101_5 - 3360369/9384937*c_0110_2^17 - 28453383/9384937*c_0110_2^16 - 96013795/9384937*c_0110_2^15 - 139848083/9384937*c_0110_2^14 + 3334181/9384937*c_0110_2^13 + 277271009/9384937*c_0110_2^12 + 244227189/9384937*c_0110_2^11 - 229833756/9384937*c_0110_2^10 - 458229784/9384937*c_0110_2^9 + 10812633/9384937*c_0110_2^8 + 432732436/9384937*c_0110_2^7 + 119234682/9384937*c_0110_2^6 - 294267809/9384937*c_0110_2^5 - 121840063/9384937*c_0110_2^4 + 149993497/9384937*c_0110_2^3 + 75301905/9384937*c_0110_2^2 - 30221449/9384937*c_0110_2 - 4071546/9384937, c_0110_2^18 + 9*c_0110_2^17 + 33*c_0110_2^16 + 56*c_0110_2^15 + 18*c_0110_2^14 - 88*c_0110_2^13 - 116*c_0110_2^12 + 42*c_0110_2^11 + 184*c_0110_2^10 + 60*c_0110_2^9 - 149*c_0110_2^8 - 99*c_0110_2^7 + 92*c_0110_2^6 + 87*c_0110_2^5 - 42*c_0110_2^4 - 51*c_0110_2^3 + 7*c_0110_2^2 + 10*c_0110_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB