Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 425231820] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1229 geometric_solution 5.12731362 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272337929842 0.137402778099 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 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.199208757914 1.339292675771 1 3 4 5 0132 3201 0132 0132 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 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.497598901518 1.241169059378 5 4 2 1 1023 1023 2310 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 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.497598901518 1.241169059378 3 6 6 2 1023 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663055039861 0.183652423103 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 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 0 1 -1 1 0 0 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.280215850022 0.692266087883 6 4 4 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.280215850022 0.692266087883 ==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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 217017776241231/4304564731886*c_0101_6^11 + 5235359363922069/4304564731886*c_0101_6^10 + 18022201169496207/4304564731886*c_0101_6^9 - 32654683115670927/8609129463772*c_0101_6^8 + 38520321613813350/2152282365943*c_0101_6^7 - 53973168227830836/2152282365943*c_0101_6^6 - 5552652706176172/2152282365943*c_0101_6^5 + 37164540390619939/4304564731886*c_0101_6^4 + 1996327877843033/2152282365943*c_0101_6^3 - 1755312085925700/2152282365943*c_0101_6^2 - 1448468961333086/2152282365943*c_0101_6 - 1928813850603317/8609129463772, c_0011_0 - 1, c_0011_1 - 134281006241/8609129463772*c_0101_6^11 + 2661126617593/8609129463772*c_0101_6^10 + 6285771894809/2152282365943*c_0101_6^9 + 9210224266288/2152282365943*c_0101_6^8 + 721635494221/2152282365943*c_0101_6^7 + 73458569333029/4304564731886*c_0101_6^6 - 161215484358141/4304564731886*c_0101_6^5 + 11874079550841/2152282365943*c_0101_6^4 + 32550545621573/8609129463772*c_0101_6^3 + 25128482309337/8609129463772*c_0101_6^2 + 4930208217259/4304564731886*c_0101_6 - 1661901754057/2152282365943, c_0011_3 + 179684745645/4304564731886*c_0101_3*c_0101_6^11 - 2043952367565/2152282365943*c_0101_3*c_0101_6^10 - 21012821931077/4304564731886*c_0101_3*c_0101_6^9 - 3688541594669/4304564731886*c_0101_3*c_0101_6^8 - 16968077115177/2152282365943*c_0101_3*c_0101_6^7 - 7317267323925/4304564731886*c_0101_3*c_0101_6^6 + 92775976949699/2152282365943*c_0101_3*c_0101_6^5 - 42588739914508/2152282365943*c_0101_3*c_0101_6^4 - 32297752789195/4304564731886*c_0101_3*c_0101_6^3 + 13987621476085/4304564731886*c_0101_3*c_0101_6^2 + 4483431973983/4304564731886*c_0101_3*c_0101_6 + 5197547211365/4304564731886*c_0101_3, c_0101_0 - 417515712877/4304564731886*c_0101_6^11 + 4983491249485/2152282365943*c_0101_6^10 + 74326015947507/8609129463772*c_0101_6^9 - 43024063733959/8609129463772*c_0101_6^8 + 143903963420271/4304564731886*c_0101_6^7 - 174935763543757/4304564731886*c_0101_6^6 - 55717849622173/4304564731886*c_0101_6^5 + 35135102007875/4304564731886*c_0101_6^4 + 16803569416994/2152282365943*c_0101_6^3 - 4287416702289/4304564731886*c_0101_6^2 - 308343901689/8609129463772*c_0101_6 - 2335100598403/8609129463772, c_0101_1 + 13202399947/4304564731886*c_0101_6^11 - 1002557246715/8609129463772*c_0101_6^10 + 3462743451823/4304564731886*c_0101_6^9 + 24997437423903/8609129463772*c_0101_6^8 - 14659112723232/2152282365943*c_0101_6^7 + 87249699024653/4304564731886*c_0101_6^6 - 74814584113128/2152282365943*c_0101_6^5 + 90549842915243/4304564731886*c_0101_6^4 - 2857011002021/4304564731886*c_0101_6^3 + 1824137977657/8609129463772*c_0101_6^2 - 4132602647769/4304564731886*c_0101_6 - 7674020719273/8609129463772, c_0101_3^2 - 4264725988007/17218258927544*c_0101_6^11 + 103895398990849/17218258927544*c_0101_6^10 + 329392049002131/17218258927544*c_0101_6^9 - 396468599996567/17218258927544*c_0101_6^8 + 806029199601521/8609129463772*c_0101_6^7 - 1265633910164033/8609129463772*c_0101_6^6 + 207913421029673/8609129463772*c_0101_6^5 + 258810310589515/8609129463772*c_0101_6^4 - 9214293168719/17218258927544*c_0101_6^3 + 1614245333705/17218258927544*c_0101_6^2 - 48978496910073/17218258927544*c_0101_6 - 12353383923647/17218258927544, c_0101_6^12 - 24*c_0101_6^11 - 86*c_0101_6^10 + 64*c_0101_6^9 - 349*c_0101_6^8 + 456*c_0101_6^7 + 100*c_0101_6^6 - 148*c_0101_6^5 - 33*c_0101_6^4 + 4*c_0101_6^3 + 14*c_0101_6^2 + 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB