Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 442205728] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0097 geometric_solution 3.63162925 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 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 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 -3.393739070108 0.611638594601 0 0 3 3 0132 3201 3201 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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.509754140987 0.133587552374 0 0 2 2 3201 0132 1230 3012 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 -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.158777050935 0.015982754442 1 4 1 4 2310 0132 0132 1023 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 0 0 0 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.870763016959 0.164998204084 5 3 6 3 0132 0132 0132 1023 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 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.982979768044 0.506074405310 4 6 6 6 0132 0213 3012 1230 0 0 0 0 0 0 0 0 -1 0 0 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 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.988650786146 1.000346215343 5 5 5 4 3012 1230 0213 0132 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 -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.988650786146 1.000346215343 ==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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 35720937006/5*c_0110_2^25 + 35026204528*c_0110_2^24 + 193691042683*c_0110_2^23 - 666762597819*c_0110_2^22 - 2585279876450*c_0110_2^21 + 28502050031447/5*c_0110_2^20 + 86283752551059/5*c_0110_2^19 - 142790293295959/5*c_0110_2^18 - 300841396785322/5*c_0110_2^17 + 486782964169756/5*c_0110_2^16 + 545046697577808/5*c_0110_2^15 - 1093175367277842/5*c_0110_2^14 - 378129274420263/5*c_0110_2^13 + 1488146677196873/5*c_0110_2^12 - 59605073326375*c_0110_2^11 - 1070012092720039/5*c_0110_2^10 + 720005702497296/5*c_0110_2^9 + 225926602961207/5*c_0110_2^8 - 87472552141134*c_0110_2^7 + 29086318991227*c_0110_2^6 + 50645972775204/5*c_0110_2^5 - 12119736835263*c_0110_2^4 + 4762990484710*c_0110_2^3 - 1004191462204*c_0110_2^2 + 113996289665*c_0110_2 - 27537263266/5, c_0011_0 - 1, c_0011_3 - 63*c_0110_2^25 + 333*c_0110_2^24 + 1591*c_0110_2^23 - 6540*c_0110_2^22 - 20580*c_0110_2^21 + 59116*c_0110_2^20 + 133376*c_0110_2^19 - 311116*c_0110_2^18 - 437148*c_0110_2^17 + 1066758*c_0110_2^16 + 642968*c_0110_2^15 - 2313326*c_0110_2^14 + 52574*c_0110_2^13 + 2918560*c_0110_2^12 - 1517936*c_0110_2^11 - 1738240*c_0110_2^10 + 2003595*c_0110_2^9 - 50348*c_0110_2^8 - 949642*c_0110_2^7 + 544168*c_0110_2^6 + 6567*c_0110_2^5 - 146322*c_0110_2^4 + 81176*c_0110_2^3 - 22790*c_0110_2^2 + 3544*c_0110_2 - 252, c_0011_6 - 70397052*c_0110_2^25 + 349219145*c_0110_2^24 + 1889657461*c_0110_2^23 - 6685740656*c_0110_2^22 - 25124293507*c_0110_2^21 + 57740106128*c_0110_2^20 + 167199858106*c_0110_2^19 - 292022032886*c_0110_2^18 - 579356945559*c_0110_2^17 + 997347425403*c_0110_2^16 + 1028508915103*c_0110_2^15 - 2229001638043*c_0110_2^14 - 639797830023*c_0110_2^13 + 3004452461277*c_0110_2^12 - 738943353834*c_0110_2^11 - 2115495010184*c_0110_2^10 + 1540244643962*c_0110_2^9 + 395438990154*c_0110_2^8 - 901662310110*c_0110_2^7 + 326136798534*c_0110_2^6 + 93971419299*c_0110_2^5 - 126915670402*c_0110_2^4 + 51851915843*c_0110_2^3 - 11269072275*c_0110_2^2 + 1316273828*c_0110_2 - 65428606, c_0101_0 - 3*c_0110_2^25 + 16*c_0110_2^24 + 75*c_0110_2^23 - 315*c_0110_2^22 - 965*c_0110_2^21 + 2861*c_0110_2^20 + 6215*c_0110_2^19 - 15111*c_0110_2^18 - 20097*c_0110_2^17 + 51755*c_0110_2^16 + 28153*c_0110_2^15 - 111499*c_0110_2^14 + 7813*c_0110_2^13 + 138607*c_0110_2^12 - 78883*c_0110_2^11 - 79017*c_0110_2^10 + 99172*c_0110_2^9 - 7120*c_0110_2^8 - 44882*c_0110_2^7 + 28050*c_0110_2^6 - 1023*c_0110_2^5 - 6919*c_0110_2^4 + 4195*c_0110_2^3 - 1285*c_0110_2^2 + 231*c_0110_2 - 22, c_0101_1 - 75667446*c_0110_2^25 + 365663943*c_0110_2^24 + 2075917617*c_0110_2^23 - 6910450185*c_0110_2^22 - 27832057090*c_0110_2^21 + 58314947503*c_0110_2^20 + 186391366594*c_0110_2^19 - 288524926969*c_0110_2^18 - 654294484810*c_0110_2^17 + 981147888409*c_0110_2^16 + 1211865119835*c_0110_2^15 - 2216920575897*c_0110_2^14 - 933814568750*c_0110_2^13 + 3055220164763*c_0110_2^12 - 438992500583*c_0110_2^11 - 2251940272661*c_0110_2^10 + 1369824796520*c_0110_2^9 + 538199548659*c_0110_2^8 - 874190626214*c_0110_2^7 + 258842626000*c_0110_2^6 + 113729521450*c_0110_2^5 - 118761439410*c_0110_2^4 + 44368142134*c_0110_2^3 - 8971940556*c_0110_2^2 + 977687018*c_0110_2 - 45264807, c_0101_5 + 690*c_0110_2^25 - 3620*c_0110_2^24 - 17567*c_0110_2^23 + 70934*c_0110_2^22 + 228175*c_0110_2^21 - 638415*c_0110_2^20 - 1485705*c_0110_2^19 + 3348369*c_0110_2^18 + 4918315*c_0110_2^17 - 11486599*c_0110_2^16 - 7490193*c_0110_2^15 + 25029955*c_0110_2^14 + 404837*c_0110_2^13 - 31924371*c_0110_2^12 + 15363137*c_0110_2^11 + 19612963*c_0110_2^10 - 21150337*c_0110_2^9 - 266823*c_0110_2^8 + 10366088*c_0110_2^7 - 5546740*c_0110_2^6 - 280828*c_0110_2^5 + 1583780*c_0110_2^4 - 825447*c_0110_2^3 + 218569*c_0110_2^2 - 31395*c_0110_2 + 1978, c_0110_2^26 - 16/3*c_0110_2^25 - 25*c_0110_2^24 + 105*c_0110_2^23 + 965/3*c_0110_2^22 - 2861/3*c_0110_2^21 - 6215/3*c_0110_2^20 + 5037*c_0110_2^19 + 6699*c_0110_2^18 - 51755/3*c_0110_2^17 - 28153/3*c_0110_2^16 + 111499/3*c_0110_2^15 - 7813/3*c_0110_2^14 - 138607/3*c_0110_2^13 + 78883/3*c_0110_2^12 + 26339*c_0110_2^11 - 99172/3*c_0110_2^10 + 7120/3*c_0110_2^9 + 44882/3*c_0110_2^8 - 9350*c_0110_2^7 + 341*c_0110_2^6 + 6919/3*c_0110_2^5 - 4195/3*c_0110_2^4 + 1285/3*c_0110_2^3 - 230/3*c_0110_2^2 + 23/3*c_0110_2 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB