Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 2345277261] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0286 geometric_solution 4.32841426 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 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 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.946613389181 0.140115853864 0 0 4 4 0132 3201 2310 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.621415255537 0.175830707005 5 0 6 3 0132 0132 0132 1230 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 -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.682366522644 0.390712694280 2 5 0 6 3012 3120 0132 1230 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 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 0 0 0 0.682366522644 0.390712694280 4 1 1 4 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.232554295808 0.171019731025 2 3 6 6 0132 3120 2310 0132 0 0 0 0 0 0 0 0 0 0 -1 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 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 1.101545746040 0.826516744098 3 5 5 2 3012 3201 0132 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 1 0 -1 0 -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.146437372006 1.191905566156 ==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' : 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' : negation(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_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(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_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_1001_2']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_1001_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_0011_4, c_0011_6, c_0101_0, c_0101_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 38770876/58617003*c_1001_2^12 + 260463487/58617003*c_1001_2^11 - 873536105/58617003*c_1001_2^10 + 535611202/19539001*c_1001_2^9 - 418199931/19539001*c_1001_2^8 - 1577722900/58617003*c_1001_2^7 + 2012835128/19539001*c_1001_2^6 - 8414628277/58617003*c_1001_2^5 + 5557471129/58617003*c_1001_2^4 + 63842646/19539001*c_1001_2^3 - 3073472386/58617003*c_1001_2^2 + 1771454296/58617003*c_1001_2 + 278097359/58617003, c_0011_0 - 1, c_0011_3 - 658252/476561*c_1001_2^12 + 4364176/476561*c_1001_2^11 - 13719896/476561*c_1001_2^10 + 21755382/476561*c_1001_2^9 - 7075120/476561*c_1001_2^8 - 44543413/476561*c_1001_2^7 + 100984468/476561*c_1001_2^6 - 96662241/476561*c_1001_2^5 + 11557429/476561*c_1001_2^4 + 71861382/476561*c_1001_2^3 - 62228332/476561*c_1001_2^2 + 639512/476561*c_1001_2 + 19109708/476561, c_0011_4 + 130043/476561*c_1001_2^12 - 876597/476561*c_1001_2^11 + 2821500/476561*c_1001_2^10 - 4682638/476561*c_1001_2^9 + 2114901/476561*c_1001_2^8 + 8351224/476561*c_1001_2^7 - 20899313/476561*c_1001_2^6 + 22006698/476561*c_1001_2^5 - 5648411/476561*c_1001_2^4 - 12748500/476561*c_1001_2^3 + 13432767/476561*c_1001_2^2 - 1569122/476561*c_1001_2 - 3540285/476561, c_0011_6 - 658252/476561*c_1001_2^12 + 4364176/476561*c_1001_2^11 - 13719896/476561*c_1001_2^10 + 21755382/476561*c_1001_2^9 - 7075120/476561*c_1001_2^8 - 44543413/476561*c_1001_2^7 + 100984468/476561*c_1001_2^6 - 96662241/476561*c_1001_2^5 + 11557429/476561*c_1001_2^4 + 71861382/476561*c_1001_2^3 - 62228332/476561*c_1001_2^2 + 639512/476561*c_1001_2 + 19109708/476561, c_0101_0 + 39803/476561*c_1001_2^12 - 276796/476561*c_1001_2^11 + 886284/476561*c_1001_2^10 - 1391538/476561*c_1001_2^9 + 313306/476561*c_1001_2^8 + 3224354/476561*c_1001_2^7 - 6707731/476561*c_1001_2^6 + 5644656/476561*c_1001_2^5 + 750025/476561*c_1001_2^4 - 5915338/476561*c_1001_2^3 + 3978120/476561*c_1001_2^2 + 977004/476561*c_1001_2 - 1656943/476561, c_0101_1 + 243588/476561*c_1001_2^12 - 1663488/476561*c_1001_2^11 + 5336346/476561*c_1001_2^10 - 8689862/476561*c_1001_2^9 + 3239189/476561*c_1001_2^8 + 17060363/476561*c_1001_2^7 - 39982263/476561*c_1001_2^6 + 39228778/476561*c_1001_2^5 - 5669037/476561*c_1001_2^4 - 28498530/476561*c_1001_2^3 + 25337924/476561*c_1001_2^2 - 39140/476561*c_1001_2 - 7878624/476561, c_1001_2^13 - 8*c_1001_2^12 + 30*c_1001_2^11 - 62*c_1001_2^10 + 57*c_1001_2^9 + 52*c_1001_2^8 - 247*c_1001_2^7 + 361*c_1001_2^6 - 224*c_1001_2^5 - 83*c_1001_2^4 + 247*c_1001_2^3 - 134*c_1001_2^2 - 28*c_1001_2 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.200 seconds, Total memory usage: 32.09MB