Magma V2.19-8 Tue Aug 20 2013 16:18:22 on localhost [Seed = 3701293554] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2577 geometric_solution 5.87695474 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 2.145836633866 0.734420592280 0 2 3 0 3201 0132 0132 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 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.078514933943 0.583595564952 4 1 5 3 0132 0132 0132 2031 0 0 0 0 0 0 -1 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 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.568293284852 0.805617497980 5 2 6 1 2310 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568293284852 0.805617497980 2 6 5 6 0132 3201 1302 2310 0 0 0 0 0 0 -1 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 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.954709714942 0.629877756008 4 6 3 2 2031 3120 3201 0132 0 0 0 0 0 0 -1 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 0 0 1 0 -1 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.221722484016 0.407597544162 4 5 4 3 3201 3120 2310 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 -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.954709714942 0.629877756008 ==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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 378971470/296807357*c_0101_3^12 - 343878657/42401051*c_0101_3^11 - 521702362/42401051*c_0101_3^10 - 237570654/296807357*c_0101_3^9 - 3786157076/296807357*c_0101_3^8 - 17904532747/296807357*c_0101_3^7 - 19127650166/296807357*c_0101_3^6 - 592121083/26982487*c_0101_3^5 + 536368711/42401051*c_0101_3^4 + 183786872/6057293*c_0101_3^3 + 6219874744/296807357*c_0101_3^2 + 25617071/6057293*c_0101_3 - 62919951/296807357, c_0011_0 - 1, c_0011_1 + 12373/550663*c_0101_3^12 + 73995/550663*c_0101_3^11 + 70026/550663*c_0101_3^10 - 141970/550663*c_0101_3^9 + 40088/550663*c_0101_3^8 + 604732/550663*c_0101_3^7 + 215517/550663*c_0101_3^6 - 396378/550663*c_0101_3^5 - 774806/550663*c_0101_3^4 - 155331/550663*c_0101_3^3 + 1441369/550663*c_0101_3^2 + 276643/550663*c_0101_3 - 43084/550663, c_0011_3 + 425772/550663*c_0101_3^12 + 2362419/550663*c_0101_3^11 + 1976255/550663*c_0101_3^10 - 2716333/550663*c_0101_3^9 + 4727121/550663*c_0101_3^8 + 17438081/550663*c_0101_3^7 + 5825710/550663*c_0101_3^6 - 8467696/550663*c_0101_3^5 - 4939594/550663*c_0101_3^4 - 1720961/550663*c_0101_3^3 - 300194/550663*c_0101_3^2 + 762065/550663*c_0101_3 + 61662/550663, c_0011_5 - 43084/550663*c_0101_3^12 - 246131/550663*c_0101_3^11 - 227593/550663*c_0101_3^10 + 285446/550663*c_0101_3^9 - 486642/550663*c_0101_3^8 - 1984860/550663*c_0101_3^7 - 687788/550663*c_0101_3^6 + 991029/550663*c_0101_3^5 + 465302/550663*c_0101_3^4 - 473218/550663*c_0101_3^3 - 69163/550663*c_0101_3^2 + 804538/550663*c_0101_3 + 233559/550663, c_0101_0 - 44408/550663*c_0101_3^12 - 130280/550663*c_0101_3^11 + 258254/550663*c_0101_3^10 - 137427/550663*c_0101_3^9 - 1880785/550663*c_0101_3^8 + 572899/550663*c_0101_3^7 + 1486417/550663*c_0101_3^6 - 4125689/550663*c_0101_3^5 - 2882250/550663*c_0101_3^4 + 465151/550663*c_0101_3^3 + 95480/550663*c_0101_3^2 + 717657/550663*c_0101_3 + 278313/550663, c_0101_2 - c_0101_3, c_0101_3^13 + 6*c_0101_3^12 + 7*c_0101_3^11 - 5*c_0101_3^10 + 8*c_0101_3^9 + 47*c_0101_3^8 + 30*c_0101_3^7 - 18*c_0101_3^6 - 20*c_0101_3^5 - 7*c_0101_3^4 - 2*c_0101_3^3 + 2*c_0101_3^2 + c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB