Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 3002281864] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2378 geometric_solution 5.74571521 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 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 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.385458457979 0.116077276331 2 0 3 0 0132 2310 0132 0132 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 -1 0 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.387478689443 1.974981314768 1 4 3 5 0132 0132 0213 0132 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 1 0 -1 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.533757025458 0.600862273492 6 2 4 1 0132 0213 3201 0132 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 0 0 1 -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.533757025458 0.600862273492 3 2 5 6 2310 0132 1302 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 -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.679823484229 0.662745237089 4 6 2 6 2031 2310 0132 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 -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.626368503697 0.461129234573 3 5 4 5 0132 2310 2031 3201 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 -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.626368503697 0.461129234573 ==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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0110_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0110_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : negation(d['c_0110_0']), '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_1, c_0011_5, c_0101_1, c_0101_3, c_0110_0, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 814991/18513131*c_0110_5^12 - 3187763/18513131*c_0110_5^11 + 819694/18513131*c_0110_5^10 + 16837942/18513131*c_0110_5^9 + 9475455/18513131*c_0110_5^8 - 26627415/18513131*c_0110_5^7 + 19912278/18513131*c_0110_5^6 + 56957034/18513131*c_0110_5^5 - 31497/1424087*c_0110_5^4 - 31323345/18513131*c_0110_5^3 + 1042826/18513131*c_0110_5^2 + 11664334/18513131*c_0110_5 + 23423154/18513131, c_0011_0 - 1, c_0011_1 + 49356/203441*c_0110_5^12 + 30892/203441*c_0110_5^11 - 299218/203441*c_0110_5^10 - 6824/203441*c_0110_5^9 + 237116/203441*c_0110_5^8 - 196362/203441*c_0110_5^7 - 345768/203441*c_0110_5^6 - 53084/203441*c_0110_5^5 - 12654/203441*c_0110_5^4 + 938999/203441*c_0110_5^3 - 33792/203441*c_0110_5^2 - 146736/203441*c_0110_5 + 10468/203441, c_0011_5 + 5234/203441*c_0110_5^12 - 19444/203441*c_0110_5^11 - 46850/203441*c_0110_5^10 + 139141/203441*c_0110_5^9 + 40050/203441*c_0110_5^8 - 144728/203441*c_0110_5^7 + 19671/203441*c_0110_5^6 + 183352/203441*c_0110_5^5 + 47478/203441*c_0110_5^4 + 32497/203441*c_0110_5^3 - 571220/203441*c_0110_5^2 + 22130/203441*c_0110_5 + 78602/203441, c_0101_1 - 78602/203441*c_0110_5^12 - 73368/203441*c_0110_5^11 + 452168/203441*c_0110_5^10 + 110354/203441*c_0110_5^9 - 411073/203441*c_0110_5^8 + 433060/203441*c_0110_5^7 + 1034302/203441*c_0110_5^6 - 137533/203441*c_0110_5^5 - 131056/203441*c_0110_5^4 - 345532/203441*c_0110_5^3 + 32497/203441*c_0110_5^2 - 446381/203441*c_0110_5 - 56472/203441, c_0101_3 - c_0110_5, c_0110_0 - 141735/203441*c_0110_5^12 - 41574/203441*c_0110_5^11 + 965037/203441*c_0110_5^10 - 335399/203441*c_0110_5^9 - 1285261/203441*c_0110_5^8 + 1603131/203441*c_0110_5^7 + 1640061/203441*c_0110_5^6 - 2127899/203441*c_0110_5^5 - 271049/203441*c_0110_5^4 - 19640/203441*c_0110_5^3 + 100453/203441*c_0110_5^2 - 92342/203441*c_0110_5 - 107866/203441, c_0110_5^13 + c_0110_5^12 - 6*c_0110_5^11 - 2*c_0110_5^10 + 7*c_0110_5^9 - 5*c_0110_5^8 - 15*c_0110_5^7 + 2*c_0110_5^6 + 4*c_0110_5^5 + 5*c_0110_5^4 + c_0110_5^2 + c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB