Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 4054871350] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2164 geometric_solution 5.63870311 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 1 0 -1 1 0 -1 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.319312460360 0.508495893634 0 4 4 0 0132 0132 1023 1023 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 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 1.454209838250 0.739050197349 2 0 5 2 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.394183212220 0.886873939791 6 5 6 0 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 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 -1 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.637367872776 1.697497819549 5 1 1 5 2310 0132 1023 3201 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 0 0 0 0 0 1.454209838250 0.739050197349 3 4 4 2 1023 2310 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319312460360 0.508495893634 3 6 3 6 0132 2310 1023 3201 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 1 -1 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.507089340208 0.244771288854 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], '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_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 11/3*c_0101_4^2 - 23/3*c_0101_4 + 25/3, c_0011_0 - 1, c_0011_3 + 1, c_0101_0 + c_0101_4^2 + 2*c_0101_4, c_0101_1 + c_0101_4, c_0101_2 + c_0101_4 + 1, c_0101_3 + c_0101_4, c_0101_4^3 + 3*c_0101_4^2 - 1 ], 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_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 89186200777/5583646948*c_0101_4^13 - 43156702850/1395911737*c_0101_4^12 + 527250342841/5583646948*c_0101_4^11 - 685203763265/1395911737*c_0101_4^10 + 4952185759447/5583646948*c_0101_4^9 - 4549604448557/5583646948*c_0101_4^8 + 2294273410039/2791823474*c_0101_4^7 - 3466955230/10991431*c_0101_4^6 + 89989229424/1395911737*c_0101_4^5 - 998740296307/2791823474*c_0101_4^4 + 813420961613/2791823474*c_0101_4^3 - 274886625483/1395911737*c_0101_4^2 + 92789728257/5583646948*c_0101_4 + 102325132703/5583646948, c_0011_0 - 1, c_0011_3 + 17679009/507604268*c_0101_4^13 + 68302511/253802134*c_0101_4^12 + 222655059/507604268*c_0101_4^11 + 83198028/126901067*c_0101_4^10 + 1836226263/507604268*c_0101_4^9 - 1215079491/507604268*c_0101_4^8 + 308452170/126901067*c_0101_4^7 - 3944981/999221*c_0101_4^6 - 563193741/253802134*c_0101_4^5 - 106149747/126901067*c_0101_4^4 + 192132391/253802134*c_0101_4^3 + 292016959/253802134*c_0101_4^2 + 16410969/507604268*c_0101_4 + 63855187/507604268, c_0101_0 + 63855187/507604268*c_0101_4^13 + 104622285/253802134*c_0101_4^12 - 54960539/507604268*c_0101_4^11 + 486686277/126901067*c_0101_4^10 - 1263587563/507604268*c_0101_4^9 + 2857909255/507604268*c_0101_4^8 - 607082011/126901067*c_0101_4^7 + 920367/999221*c_0101_4^6 - 1193590735/253802134*c_0101_4^5 - 58103716/126901067*c_0101_4^4 - 403865055/253802134*c_0101_4^3 + 192132391/253802134*c_0101_4^2 + 267995211/507604268*c_0101_4 + 16410969/507604268, c_0101_1 + c_0101_4, c_0101_2 - 132684425/507604268*c_0101_4^13 - 103055895/126901067*c_0101_4^12 + 381008363/507604268*c_0101_4^11 - 871152257/126901067*c_0101_4^10 + 2793559009/507604268*c_0101_4^9 - 1006713191/507604268*c_0101_4^8 + 290995187/126901067*c_0101_4^7 + 5524654/999221*c_0101_4^6 + 309464679/253802134*c_0101_4^5 - 385728410/126901067*c_0101_4^4 + 579456067/253802134*c_0101_4^3 + 144702717/253802134*c_0101_4^2 - 1116893561/507604268*c_0101_4 - 97553497/507604268, c_0101_3 + 34414619/253802134*c_0101_4^13 + 101489505/253802134*c_0101_4^12 - 81511956/126901067*c_0101_4^11 + 384465980/126901067*c_0101_4^10 - 764985723/253802134*c_0101_4^9 - 462799016/126901067*c_0101_4^8 + 316086824/126901067*c_0101_4^7 - 6445021/999221*c_0101_4^6 + 442063028/126901067*c_0101_4^5 + 443832126/126901067*c_0101_4^4 - 87795506/126901067*c_0101_4^3 - 168417554/126901067*c_0101_4^2 + 170647041/253802134*c_0101_4 + 20285632/126901067, c_0101_4^14 + 3*c_0101_4^13 - 3*c_0101_4^12 + 27*c_0101_4^11 - 25*c_0101_4^10 + 16*c_0101_4^9 - 19*c_0101_4^8 - 12*c_0101_4^7 - 6*c_0101_4^6 + 14*c_0101_4^5 - 6*c_0101_4^4 + 3*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB