Magma V2.19-8 Tue Aug 20 2013 16:16:54 on localhost [Seed = 4122241320] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1164 geometric_solution 5.04043437 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -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 -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.769994851025 0.058390648018 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -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 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.633457649436 0.154967256124 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 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 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.193760618156 1.346288905231 2 5 6 4 0132 0132 0132 1230 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 -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 1.204657232103 1.421503726200 3 6 5 2 3012 1023 3201 0132 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 1 0 -1 -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 1.204657232103 1.421503726200 4 3 5 5 2310 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299762509229 0.535760858140 4 6 6 3 1023 1230 3012 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 -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.882314139944 0.674769729554 ==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' : negation(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_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 392903342999/24278911488*c_0101_5^15 + 1316178265039/36418367232*c_0101_5^14 + 3467396185741/72836734464*c_0101_5^13 + 1341049333235/6069727872*c_0101_5^12 - 114304109381/6069727872*c_0101_5^11 + 7057379111405/12139455744*c_0101_5^10 - 942883478431/3034863936*c_0101_5^9 + 2154003040309/4046485248*c_0101_5^8 - 276483574789/5602825728*c_0101_5^7 - 1345607615927/72836734464*c_0101_5^6 + 1277385071077/4284513792*c_0101_5^5 - 1451370376025/9104591808*c_0101_5^4 + 618524303539/5602825728*c_0101_5^3 - 4167090433/267782112*c_0101_5^2 - 36864717865/5602825728*c_0101_5 + 433305368609/72836734464, c_0011_0 - 1, c_0011_4 - 704620391/1428171264*c_0101_3*c_0101_5^15 - 2367333361/2142256896*c_0101_3*c_0101_5^14 - 5126165689/4284513792*c_0101_3*c_0101_5^13 - 2180786195/357042816*c_0101_3*c_0101_5^12 + 469599593/357042816*c_0101_3*c_0101_5^11 - 10148790701/714085632*c_0101_3*c_0101_5^10 + 842713349/89260704*c_0101_3*c_0101_5^9 - 1958550577/238028544*c_0101_3*c_0101_5^8 - 527106923/329577984*c_0101_3*c_0101_5^7 + 18424253051/4284513792*c_0101_3*c_0101_5^6 - 23770125797/4284513792*c_0101_3*c_0101_5^5 + 48807721/1071128448*c_0101_3*c_0101_5^4 + 1197169769/329577984*c_0101_3*c_0101_5^3 - 20141396/8368191*c_0101_3*c_0101_5^2 + 386926921/329577984*c_0101_3*c_0101_5 - 998831549/4284513792*c_0101_3, c_0101_0 - 456010567/357042816*c_0101_3*c_0101_5^15 - 149780753/133891056*c_0101_3*c_0101_5^14 + 365117821/1071128448*c_0101_3*c_0101_5^13 - 1115391115/89260704*c_0101_3*c_0101_5^12 + 2173139719/89260704*c_0101_3*c_0101_5^11 - 8305492357/178521408*c_0101_3*c_0101_5^10 + 6966952237/89260704*c_0101_3*c_0101_5^9 - 3908941811/59507136*c_0101_3*c_0101_5^8 + 2912451557/82394496*c_0101_3*c_0101_5^7 + 17793577849/1071128448*c_0101_3*c_0101_5^6 - 46364850853/1071128448*c_0101_3*c_0101_5^5 + 23788022527/535564224*c_0101_3*c_0101_5^4 - 1792776293/82394496*c_0101_3*c_0101_5^3 + 338874701/133891056*c_0101_3*c_0101_5^2 + 192546257/82394496*c_0101_3*c_0101_5 - 2019805903/1071128448*c_0101_3, c_0101_1 - 3722807695/1428171264*c_0101_3*c_0101_5^15 - 12722051825/2142256896*c_0101_3*c_0101_5^14 - 32429765057/4284513792*c_0101_3*c_0101_5^13 - 12314803867/357042816*c_0101_3*c_0101_5^12 + 1287768145/357042816*c_0101_3*c_0101_5^11 - 62689451173/714085632*c_0101_3*c_0101_5^10 + 4670404555/89260704*c_0101_3*c_0101_5^9 - 18172859321/238028544*c_0101_3*c_0101_5^8 + 5156512397/329577984*c_0101_3*c_0101_5^7 - 30541320557/4284513792*c_0101_3*c_0101_5^6 - 140833914205/4284513792*c_0101_3*c_0101_5^5 + 18077555501/1071128448*c_0101_3*c_0101_5^4 - 4723109327/329577984*c_0101_3*c_0101_5^3 + 270014041/66945528*c_0101_3*c_0101_5^2 - 447392287/329577984*c_0101_3*c_0101_5 - 9063063781/4284513792*c_0101_3, c_0101_3^2 - 10835245/2203968*c_0101_5^15 - 126050057/13223808*c_0101_5^14 - 144587473/13223808*c_0101_5^13 - 34666051/550992*c_0101_5^12 + 27100103/1101984*c_0101_5^11 - 194486353/1101984*c_0101_5^10 + 300889447/2203968*c_0101_5^9 - 131649893/734656*c_0101_5^8 + 17671547/508608*c_0101_5^7 + 275827667/13223808*c_0101_5^6 - 709247143/6611904*c_0101_5^5 + 968127019/13223808*c_0101_5^4 - 41239315/1017216*c_0101_5^3 + 8510543/3305952*c_0101_5^2 + 2535617/508608*c_0101_5 - 73598597/13223808, c_0101_4 + 106454731/238028544*c_0101_5^15 + 293270741/357042816*c_0101_5^14 + 401027333/714085632*c_0101_5^13 + 285197767/59507136*c_0101_5^12 - 230746261/59507136*c_0101_5^11 + 1389904441/119014272*c_0101_5^10 - 208877503/14876784*c_0101_5^9 + 265912157/39671424*c_0101_5^8 + 14247487/54929664*c_0101_5^7 - 6155225119/714085632*c_0101_5^6 + 6160447057/714085632*c_0101_5^5 - 920834225/178521408*c_0101_5^4 - 130553269/54929664*c_0101_5^3 + 19260953/11157588*c_0101_5^2 - 69749477/54929664*c_0101_5 + 49035193/714085632, c_0101_5^16 + 7/3*c_0101_5^15 + 3*c_0101_5^14 + 41/3*c_0101_5^13 + 34*c_0101_5^11 - 14*c_0101_5^10 + 26*c_0101_5^9 + 19/3*c_0101_5^8 - 6*c_0101_5^7 + 20*c_0101_5^6 - 19/3*c_0101_5^5 + 3*c_0101_5^4 + 7/3*c_0101_5^3 - c_0101_5^2 + 2/3*c_0101_5 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB