Magma V2.19-8 Tue Aug 20 2013 16:17:01 on localhost [Seed = 2345277273] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1261 geometric_solution 5.16148543 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038985762564 0.505538978632 0 1 0 1 0132 2310 2310 3201 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 0 0 0 0 0 0 0 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.030503220186 0.954093365844 4 3 5 0 0132 3012 0132 0132 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 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 1.266759746639 1.404692314412 2 4 0 5 1230 2310 0132 2310 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 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 1.266759746639 1.404692314412 2 4 4 3 0132 3201 2310 3201 0 0 0 0 0 1 -1 0 1 0 -1 0 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 -1 1 0 0 0 1 -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.513159619555 0.548834108606 3 6 6 2 3201 0132 3201 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 -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.098950271215 0.476721132382 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.156782502096 0.869230694612 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 2700615469/33983801*c_0101_6^10 + 284658960208/1529271045*c_0101_6^9 + 245057595589/1529271045*c_0101_6^8 + 185899273118/1529271045*c_0101_6^7 - 237736777652/1529271045*c_0101_6^6 - 76560401332/509757015*c_0101_6^5 - 606937965824/1529271045*c_0101_6^4 - 972733194424/1529271045*c_0101_6^3 - 11729674378/169919005*c_0101_6^2 - 772951766306/1529271045*c_0101_6 + 48704297257/1529271045, c_0011_0 - 1, c_0011_2 + 19800909/33983801*c_0101_6^10 + 825130346/509757015*c_0101_6^9 + 985620968/509757015*c_0101_6^8 + 923266006/509757015*c_0101_6^7 - 300167734/509757015*c_0101_6^6 - 274789484/169919005*c_0101_6^5 - 1968113308/509757015*c_0101_6^4 - 3258818138/509757015*c_0101_6^3 - 418317668/169919005*c_0101_6^2 - 2443282807/509757015*c_0101_6 - 484679926/509757015, c_0011_5 - 67892845/101951403*c_0101_6^10 - 155240317/101951403*c_0101_6^9 - 125305679/101951403*c_0101_6^8 - 82044436/101951403*c_0101_6^7 + 41534132/33983801*c_0101_6^6 + 65714753/101951403*c_0101_6^5 + 297032629/101951403*c_0101_6^4 + 187321697/33983801*c_0101_6^3 + 103639307/101951403*c_0101_6^2 + 407385416/101951403*c_0101_6 + 35472506/33983801, c_0101_0 - 21972115/101951403*c_0101_6^10 - 86220104/101951403*c_0101_6^9 - 41675089/33983801*c_0101_6^8 - 36289055/33983801*c_0101_6^7 - 2534878/101951403*c_0101_6^6 + 129257786/101951403*c_0101_6^5 + 61529028/33983801*c_0101_6^4 + 375235501/101951403*c_0101_6^3 + 281064590/101951403*c_0101_6^2 + 210888196/101951403*c_0101_6 + 115744127/101951403, c_0101_1 - 50880515/101951403*c_0101_6^10 - 126428774/101951403*c_0101_6^9 - 122648380/101951403*c_0101_6^8 - 106856582/101951403*c_0101_6^7 + 30182747/33983801*c_0101_6^6 + 143650696/101951403*c_0101_6^5 + 270546326/101951403*c_0101_6^4 + 147423995/33983801*c_0101_6^3 + 56485432/101951403*c_0101_6^2 + 355558675/101951403*c_0101_6 + 9812907/33983801, c_0101_2 - 30507133/101951403*c_0101_6^10 - 325333759/509757015*c_0101_6^9 - 64801264/169919005*c_0101_6^8 - 25976468/169919005*c_0101_6^7 + 299739526/509757015*c_0101_6^6 + 152986543/509757015*c_0101_6^5 + 266088079/169919005*c_0101_6^4 + 824836337/509757015*c_0101_6^3 - 307052519/509757015*c_0101_6^2 + 711587348/509757015*c_0101_6 + 34272949/509757015, c_0101_6^11 + 13/5*c_0101_6^10 + 13/5*c_0101_6^9 + 2*c_0101_6^8 - 8/5*c_0101_6^7 - 12/5*c_0101_6^6 - 27/5*c_0101_6^5 - 46/5*c_0101_6^4 - 14/5*c_0101_6^3 - 32/5*c_0101_6^2 - 6/5*c_0101_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB