Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 4054871333] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1399 geometric_solution 5.24534071 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.016652463820 1.071618475981 0 3 4 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.938173735493 0.969971840500 1 4 3 0 3012 0132 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 -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.938173735493 0.969971840500 2 1 3 3 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513376105074 0.468965952484 5 2 5 1 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.551787138520 0.565024161047 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708029826104 0.336930286951 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604143637581 0.104250396621 ==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' : 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' : negation(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_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_1'], '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_0011_2'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_2, c_0101_1, c_0101_2, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1109878231901/1168149197963*c_0110_6^17 - 44495710152072/1168149197963*c_0110_6^15 + 391911933885489/1168149197963*c_0110_6^13 - 105690397453321/106195381633*c_0110_6^11 + 1454372697637837/1168149197963*c_0110_6^9 - 802767899856986/1168149197963*c_0110_6^7 + 38999928563400/1168149197963*c_0110_6^5 + 151283860360891/1168149197963*c_0110_6^3 - 46623113506633/1168149197963*c_0110_6, c_0011_0 - 1, c_0011_2 + 7186794821/9654125603*c_0110_6^16 - 290474851529/9654125603*c_0110_6^14 + 2633713177777/9654125603*c_0110_6^12 - 8426127274639/9654125603*c_0110_6^10 + 12480008627552/9654125603*c_0110_6^8 - 10106384870250/9654125603*c_0110_6^6 + 4486475656313/9654125603*c_0110_6^4 - 1030718565891/9654125603*c_0110_6^2 + 129091681630/9654125603, c_0101_1 + 4095367332/9654125603*c_0110_6^17 - 165601030654/9654125603*c_0110_6^15 + 1503675765107/9654125603*c_0110_6^13 - 4822552550668/9654125603*c_0110_6^11 + 7148991063531/9654125603*c_0110_6^9 - 5783826850289/9654125603*c_0110_6^7 + 2601500414505/9654125603*c_0110_6^5 - 628798573555/9654125603*c_0110_6^3 + 94699842349/9654125603*c_0110_6, c_0101_2 + 16158603456/9654125603*c_0110_6^17 - 652257045976/9654125603*c_0110_6^15 + 5888493529468/9654125603*c_0110_6^13 - 18670734217148/9654125603*c_0110_6^11 + 27357481409479/9654125603*c_0110_6^9 - 22030859474379/9654125603*c_0110_6^7 + 9736993661350/9654125603*c_0110_6^5 - 2231360391835/9654125603*c_0110_6^3 + 267167594157/9654125603*c_0110_6, c_0101_3 - 10701758445/9654125603*c_0110_6^16 + 431166302330/9654125603*c_0110_6^14 - 3867028739520/9654125603*c_0110_6^12 + 12075336089252/9654125603*c_0110_6^10 - 17248877868658/9654125603*c_0110_6^8 + 13446188658105/9654125603*c_0110_6^6 - 5683200568423/9654125603*c_0110_6^4 + 1250835413263/9654125603*c_0110_6^2 - 159739978045/9654125603, c_0101_4 - 8459358346/9654125603*c_0110_6^16 + 341278282091/9654125603*c_0110_6^14 - 3075040979245/9654125603*c_0110_6^12 + 9705838254070/9654125603*c_0110_6^10 - 14111693831125/9654125603*c_0110_6^8 + 11245936716456/9654125603*c_0110_6^6 - 4888119692773/9654125603*c_0110_6^4 + 1095492981103/9654125603*c_0110_6^2 - 137747961922/9654125603, c_0110_6^18 - 41*c_0110_6^16 + 390*c_0110_6^14 - 1386*c_0110_6^12 + 2421*c_0110_6^10 - 2423*c_0110_6^8 + 1450*c_0110_6^6 - 511*c_0110_6^4 + 103*c_0110_6^2 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB