Magma V2.19-8 Tue Aug 20 2013 16:15:59 on localhost [Seed = 1461111663] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0236 geometric_solution 4.22590613 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 -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 -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.672483610627 0.636502883012 3 2 2 0 0132 3012 1230 0132 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 -1 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 1.215643757896 0.742389853847 1 3 0 1 1230 3201 0132 3012 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 -1 1 0 0 -1 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 1.215643757896 0.742389853847 1 4 2 4 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 0 0 0 0 0 0 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.148950564271 0.511024740926 5 3 5 3 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799625891913 0.223026536876 4 6 4 6 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771292203469 0.087993889502 6 5 6 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670151740414 0.040748131178 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : 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_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 1647560468794785683/166001832829516538*c_0110_6^13 + 1735052516735210311/83000916414758269*c_0110_6^12 - 25481516688940111661/83000916414758269*c_0110_6^11 - 1267855119185107521/83000916414758269*c_0110_6^10 + 101948679804003567986/83000916414758269*c_0110_6^9 - 38045683202577879/83000916414758269*c_0110_6^8 + 130693716361224529731/83000916414758269*c_0110_6^7 + 196282263766420994216/83000916414758269*c_0110_6^6 - 169515575175244267527/166001832829516538*c_0110_6^5 - 131493449130906900715/166001832829516538*c_0110_6^4 - 31405602617725856612/83000916414758269*c_0110_6^3 - 19137042994038821510/83000916414758269*c_0110_6^2 + 36230879692265545967/166001832829516538*c_0110_6 + 14769310996348832539/166001832829516538, c_0011_0 - 1, c_0011_1 + 301328269285612/119083093851877*c_0110_6^13 + 492201588928913/119083093851877*c_0110_6^12 - 9522078203007662/119083093851877*c_0110_6^11 + 4092220720835530/119083093851877*c_0110_6^10 + 34372499287649421/119083093851877*c_0110_6^9 - 15919761827790999/119083093851877*c_0110_6^8 + 58832258799994762/119083093851877*c_0110_6^7 + 42632187440105857/119083093851877*c_0110_6^6 - 44722044225967321/119083093851877*c_0110_6^5 + 2179481179427713/119083093851877*c_0110_6^4 - 15889608537871534/119083093851877*c_0110_6^3 + 1472354435831007/119083093851877*c_0110_6^2 + 4366563024967687/119083093851877*c_0110_6 + 774328634679452/119083093851877, c_0101_1 - 203872723656013/119083093851877*c_0110_6^13 - 320767859918114/119083093851877*c_0110_6^12 + 6460399433379433/119083093851877*c_0110_6^11 - 3159194903793479/119083093851877*c_0110_6^10 - 23026228662785026/119083093851877*c_0110_6^9 + 12142238242294453/119083093851877*c_0110_6^8 - 40643861706833226/119083093851877*c_0110_6^7 - 26373579341309040/119083093851877*c_0110_6^6 + 31436469058346258/119083093851877*c_0110_6^5 - 3561604442342617/119083093851877*c_0110_6^4 + 10833239982253402/119083093851877*c_0110_6^3 - 1856858605421238/119083093851877*c_0110_6^2 - 2678115455055967/119083093851877*c_0110_6 - 396194095648843/119083093851877, c_0101_2 + 341830172596383/119083093851877*c_0110_6^13 + 565480003780067/119083093851877*c_0110_6^12 - 10794785547162027/119083093851877*c_0110_6^11 + 4411832854366801/119083093851877*c_0110_6^10 + 39233096475259519/119083093851877*c_0110_6^9 - 17368433686007744/119083093851877*c_0110_6^8 + 65890324506239906/119083093851877*c_0110_6^7 + 50207620286499668/119083093851877*c_0110_6^6 - 50736959045330584/119083093851877*c_0110_6^5 + 1116422605326514/119083093851877*c_0110_6^4 - 17069449710833911/119083093851877*c_0110_6^3 + 959386808751819/119083093851877*c_0110_6^2 + 5312590948411763/119083093851877*c_0110_6 + 978677700289028/119083093851877, c_0101_4 + 269127641737827/119083093851877*c_0110_6^13 + 434359551226265/119083093851877*c_0110_6^12 - 8513911627604830/119083093851877*c_0110_6^11 + 3819319847737557/119083093851877*c_0110_6^10 + 30654158855584811/119083093851877*c_0110_6^9 - 14828114199037941/119083093851877*c_0110_6^8 + 52725481024546563/119083093851877*c_0110_6^7 + 37093973605313617/119083093851877*c_0110_6^6 - 40809223085019670/119083093851877*c_0110_6^5 + 2587512774262747/119083093851877*c_0110_6^4 - 14173064393275377/119083093851877*c_0110_6^3 + 1719794611106961/119083093851877*c_0110_6^2 + 3872225239016571/119083093851877*c_0110_6 + 657543322139634/119083093851877, c_0101_5 + 520870682/20757032221*c_0110_6^13 + 1383449488/20757032221*c_0110_6^12 - 15482605346/20757032221*c_0110_6^11 - 9447787995/20757032221*c_0110_6^10 + 63457368677/20757032221*c_0110_6^9 + 30566140675/20757032221*c_0110_6^8 + 88891607380/20757032221*c_0110_6^7 + 181184521510/20757032221*c_0110_6^6 + 10316584661/20757032221*c_0110_6^5 - 13005946313/20757032221*c_0110_6^4 - 29232760102/20757032221*c_0110_6^3 - 18995548774/20757032221*c_0110_6^2 + 23106747541/20757032221*c_0110_6 - 5120911772/20757032221, c_0110_6^14 + 2*c_0110_6^13 - 31*c_0110_6^12 + 2*c_0110_6^11 + 119*c_0110_6^10 - 11*c_0110_6^9 + 176*c_0110_6^8 + 213*c_0110_6^7 - 96*c_0110_6^6 - 47*c_0110_6^5 - 50*c_0110_6^4 - 14*c_0110_6^3 + 16*c_0110_6^2 + 8*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB