Magma V2.19-8 Tue Aug 20 2013 16:15:48 on localhost [Seed = 1048551957] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0022 geometric_solution 3.58459982 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5.630956344650 4.160676748603 0 0 3 3 0132 3201 3201 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.145503709247 0.166976916681 0 0 4 4 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.084153056901 0.037449411109 1 5 1 6 2310 0132 0132 0132 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 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.926598204356 1.972741656388 2 4 2 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 -10.844785524659 4.441776546637 6 3 6 6 3201 0132 3012 2310 0 0 0 0 0 1 0 -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 -1 1 -1 0 1 0 -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.011807429103 0.974860235082 5 5 3 5 3201 1230 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 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 -1 0 1 -1 0 0 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.011807429103 0.974860235082 ==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' : negation(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' : negation(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_3']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 145199709394400/223932683611*c_0101_4^13 + 10169657442808/223932683611*c_0101_4^12 - 878366357806066/223932683611*c_0101_4^11 + 208490510920879/223932683611*c_0101_4^10 + 18084965523674/2460798721*c_0101_4^9 - 10344042809460/5461772771*c_0101_4^8 - 1581154636721020/223932683611*c_0101_4^7 + 96486415762778/31990383373*c_0101_4^6 + 30861190596954/17225591047*c_0101_4^5 - 129911444397290/223932683611*c_0101_4^4 - 74932832542494/223932683611*c_0101_4^3 - 84931802531902/223932683611*c_0101_4^2 + 66981354257066/223932683611*c_0101_4 + 14569454788463/223932683611, c_0011_0 - 1, c_0011_3 - 6935881072/17225591047*c_0101_4^13 - 51336753028/17225591047*c_0101_4^12 - 5915454397/17225591047*c_0101_4^11 + 251528893171/17225591047*c_0101_4^10 + 10315424545/2460798721*c_0101_4^9 - 9702358392/420136367*c_0101_4^8 - 127580765628/17225591047*c_0101_4^7 + 42296472298/2460798721*c_0101_4^6 + 37143514554/17225591047*c_0101_4^5 - 63886018818/17225591047*c_0101_4^4 - 64256472391/17225591047*c_0101_4^3 + 434785784/17225591047*c_0101_4^2 + 63878053002/17225591047*c_0101_4 + 1793234599/17225591047, c_0011_4 + 10463006096/17225591047*c_0101_4^13 - 35971936164/17225591047*c_0101_4^12 - 116289450421/17225591047*c_0101_4^11 + 195288425705/17225591047*c_0101_4^10 + 46749624141/2460798721*c_0101_4^9 - 7896131331/420136367*c_0101_4^8 - 411456786863/17225591047*c_0101_4^7 + 41301686504/2460798721*c_0101_4^6 + 151255022797/17225591047*c_0101_4^5 - 120046967247/17225591047*c_0101_4^4 - 2864907140/17225591047*c_0101_4^3 - 7408106002/17225591047*c_0101_4^2 + 20210353285/17225591047*c_0101_4 + 23501655988/17225591047, c_0011_6 - 39154759680/17225591047*c_0101_4^13 + 7517239904/17225591047*c_0101_4^12 + 238896453496/17225591047*c_0101_4^11 - 122301557746/17225591047*c_0101_4^10 - 62308375745/2460798721*c_0101_4^9 + 6202044465/420136367*c_0101_4^8 + 393825827779/17225591047*c_0101_4^7 - 47743397086/2460798721*c_0101_4^6 - 34503176611/17225591047*c_0101_4^5 + 130291962816/17225591047*c_0101_4^4 - 26949654297/17225591047*c_0101_4^3 - 29949847404/17225591047*c_0101_4^2 - 21568802100/17225591047*c_0101_4 + 10598163774/17225591047, c_0101_0 - 100417039056/17225591047*c_0101_4^13 - 64849773196/17225591047*c_0101_4^12 + 572806363113/17225591047*c_0101_4^11 + 159857406983/17225591047*c_0101_4^10 - 152314375348/2460798721*c_0101_4^9 - 4111262472/420136367*c_0101_4^8 + 1006784382921/17225591047*c_0101_4^7 - 17536828511/2460798721*c_0101_4^6 - 338494688572/17225591047*c_0101_4^5 + 57114048682/17225591047*c_0101_4^4 - 801733368/17225591047*c_0101_4^3 + 91276066975/17225591047*c_0101_4^2 + 3541420104/17225591047*c_0101_4 - 23722101302/17225591047, c_0101_1 - 233249972544/17225591047*c_0101_4^13 - 109011572944/17225591047*c_0101_4^12 + 1364248929212/17225591047*c_0101_4^11 + 185183486106/17225591047*c_0101_4^10 - 365906142803/2460798721*c_0101_4^9 - 5187544060/420136367*c_0101_4^8 + 2459227473275/17225591047*c_0101_4^7 - 46585580164/2460798721*c_0101_4^6 - 816658647281/17225591047*c_0101_4^5 + 74130559210/17225591047*c_0101_4^4 + 170023955781/17225591047*c_0101_4^3 + 135143352924/17225591047*c_0101_4^2 - 71375839758/17225591047*c_0101_4 - 32333432675/17225591047, c_0101_4^14 + 3/4*c_0101_4^13 - 97/16*c_0101_4^12 - 11/4*c_0101_4^11 + 201/16*c_0101_4^10 + 79/16*c_0101_4^9 - 53/4*c_0101_4^8 - 23/8*c_0101_4^7 + 25/4*c_0101_4^6 + 15/16*c_0101_4^5 - 19/16*c_0101_4^4 - 15/16*c_0101_4^3 + 1/16*c_0101_4^2 + 7/16*c_0101_4 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB