Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 1865347842] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s814 geometric_solution 5.37772991 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 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.534279654113 0.726570679076 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.534231006095 0.634637166289 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 -1 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 -1 1 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.534231006095 0.634637166289 1 5 2 5 0132 0132 2310 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 -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 1.054570619447 1.207837347685 4 1 2 4 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762163896327 0.786874135924 5 3 5 3 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 1 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471964138655 0.213181718586 ==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_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_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_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 48145218240/8944527031*c_0110_5^17 - 84626648239/8944527031*c_0110_5^16 - 271467920036/8944527031*c_0110_5^15 + 1055091599794/8944527031*c_0110_5^14 - 1783643307797/8944527031*c_0110_5^13 - 216795912682/8944527031*c_0110_5^12 + 3718062376753/8944527031*c_0110_5^11 + 3593382121125/8944527031*c_0110_5^10 - 7870428808511/8944527031*c_0110_5^9 - 9465267226457/8944527031*c_0110_5^8 + 7940179280094/8944527031*c_0110_5^7 + 10591013318487/8944527031*c_0110_5^6 - 1413695581222/8944527031*c_0110_5^5 - 7291666957803/8944527031*c_0110_5^4 - 748023492356/8944527031*c_0110_5^3 + 2151530337791/8944527031*c_0110_5^2 + 290684402275/8944527031*c_0110_5 - 198172602115/8944527031, c_0011_0 - 1, c_0011_1 + 5573894159/8944527031*c_0110_5^17 - 6970317971/8944527031*c_0110_5^16 - 29381683314/8944527031*c_0110_5^15 + 108162060953/8944527031*c_0110_5^14 - 182908733710/8944527031*c_0110_5^13 - 55631589956/8944527031*c_0110_5^12 + 323221939446/8944527031*c_0110_5^11 + 383702984219/8944527031*c_0110_5^10 - 634842467550/8944527031*c_0110_5^9 - 797220963449/8944527031*c_0110_5^8 + 765957219297/8944527031*c_0110_5^7 + 860453042688/8944527031*c_0110_5^6 - 300946268008/8944527031*c_0110_5^5 - 693160534800/8944527031*c_0110_5^4 + 34248717946/8944527031*c_0110_5^3 + 263733818930/8944527031*c_0110_5^2 + 24634646/8944527031*c_0110_5 - 33838000838/8944527031, c_0101_0 - 2867431788/8944527031*c_0110_5^17 + 5452187416/8944527031*c_0110_5^16 + 18180718779/8944527031*c_0110_5^15 - 63428684764/8944527031*c_0110_5^14 + 102058264105/8944527031*c_0110_5^13 + 21880794745/8944527031*c_0110_5^12 - 257388899147/8944527031*c_0110_5^11 - 278108442230/8944527031*c_0110_5^10 + 468442750845/8944527031*c_0110_5^9 + 752711191266/8944527031*c_0110_5^8 - 291731309240/8944527031*c_0110_5^7 - 693238676379/8944527031*c_0110_5^6 - 116925438647/8944527031*c_0110_5^5 + 312310834238/8944527031*c_0110_5^4 + 85095212781/8944527031*c_0110_5^3 - 83805306404/8944527031*c_0110_5^2 + 4462864952/8944527031*c_0110_5 + 8202487874/8944527031, c_0101_1 + 2472150447/8944527031*c_0110_5^17 - 10749827326/8944527031*c_0110_5^16 - 14739711054/8944527031*c_0110_5^15 + 91495638340/8944527031*c_0110_5^14 - 163870446128/8944527031*c_0110_5^13 + 75981281771/8944527031*c_0110_5^12 + 427862770669/8944527031*c_0110_5^11 + 58902635596/8944527031*c_0110_5^10 - 1153043426867/8944527031*c_0110_5^9 - 752751870395/8944527031*c_0110_5^8 + 1389239148955/8944527031*c_0110_5^7 + 1233776868138/8944527031*c_0110_5^6 - 512053493090/8944527031*c_0110_5^5 - 946865299425/8944527031*c_0110_5^4 + 6678235838/8944527031*c_0110_5^3 + 327202733235/8944527031*c_0110_5^2 + 14127777113/8944527031*c_0110_5 - 39801783038/8944527031, c_0101_4 - 16117855541/8944527031*c_0110_5^17 + 1419020891/8944527031*c_0110_5^16 + 92952523036/8944527031*c_0110_5^15 - 201303138016/8944527031*c_0110_5^14 + 263840730448/8944527031*c_0110_5^13 + 527209746937/8944527031*c_0110_5^12 - 404453834233/8944527031*c_0110_5^11 - 1798231241597/8944527031*c_0110_5^10 - 300932274897/8944527031*c_0110_5^9 + 2562219033700/8944527031*c_0110_5^8 + 1266200246651/8944527031*c_0110_5^7 - 1383810341457/8944527031*c_0110_5^6 - 1377660640145/8944527031*c_0110_5^5 + 314502440906/8944527031*c_0110_5^4 + 541501135873/8944527031*c_0110_5^3 - 18703161893/8944527031*c_0110_5^2 - 68682407250/8944527031*c_0110_5 - 8021409960/8944527031, c_0110_5^18 - 6*c_0110_5^16 + 12*c_0110_5^15 - 14*c_0110_5^14 - 37*c_0110_5^13 + 26*c_0110_5^12 + 121*c_0110_5^11 + 23*c_0110_5^10 - 181*c_0110_5^9 - 96*c_0110_5^8 + 113*c_0110_5^7 + 107*c_0110_5^6 - 32*c_0110_5^5 - 53*c_0110_5^4 + 4*c_0110_5^3 + 12*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB