Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 1410713753] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0347 geometric_solution 4.37262995 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.930274048400 0.136036343300 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 1 -1 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 -1 1 0 0 0 0 -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.747755056152 0.314425057749 3 1 1 3 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 -1 0 1 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.283608937617 0.388673404231 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.082142571562 0.703095061743 6 5 3 5 0132 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 1 -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 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.808086188927 1.196722991042 4 6 4 3 1023 2310 1230 0132 0 0 0 0 0 0 1 -1 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 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.808086188927 1.196722991042 4 6 6 5 0132 3201 2310 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.387543580379 0.573926790268 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_4']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], '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_0011_4, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 43454718719128249387/21695320192689127*c_0101_3*c_0101_6^15 - 166777377977591666552/21695320192689127*c_0101_3*c_0101_6^14 - 1591986036997684464510/21695320192689127*c_0101_3*c_0101_6^13 - 2298156550532060236492/21695320192689127*c_0101_3*c_0101_6^12 + 4646860367844025411558/21695320192689127*c_0101_3*c_0101_6^11 + 9826005225307619924335/21695320192689127*c_0101_3*c_0101_6^10 - 4288722605038137199881/21695320192689127*c_0101_3*c_0101_6^9 - 16827674523270167999998/21695320192689127*c_0101_3*c_0101_6^8 + 179120952024926363761/21695320192689127*c_0101_3*c_0101_6^7 + 17469490278300925272591/21695320192689127*c_0101_3*c_0101_6^6 + 3686156547620065331866/21695320192689127*c_0101_3*c_0101_6^5 - 10236634912003903325778/21695320192689127*c_0101_3*c_0101_6^4 - 3825498065776460984666/21695320192689127*c_0101_3*c_0101_6^3 + 2765194953696640263158/21695320192689127*c_0101_3*c_0101_6^2 + 1037166703399340985409/21695320192689127*c_0101_3*c_0101_6 - 163735830087894156235/21695320192689127*c_0101_3, c_0011_0 - 1, c_0011_1 + 4804726202259539/21695320192689127*c_0101_6^15 - 19816628219916063/21695320192689127*c_0101_6^14 - 168207063608416111/21695320192689127*c_0101_6^13 - 213337355592172702/21695320192689127*c_0101_6^12 + 494113530545030687/21695320192689127*c_0101_6^11 + 801174163048118757/21695320192689127*c_0101_6^10 - 546978146732938293/21695320192689127*c_0101_6^9 - 1216532144094415327/21695320192689127*c_0101_6^8 + 342544853959549196/21695320192689127*c_0101_6^7 + 1188908213137778277/21695320192689127*c_0101_6^6 - 74738315785321580/21695320192689127*c_0101_6^5 - 571687772771615338/21695320192689127*c_0101_6^4 - 30363122804725078/21695320192689127*c_0101_6^3 + 127328360164676838/21695320192689127*c_0101_6^2 - 27986035697029540/21695320192689127*c_0101_6 - 7810752585013053/21695320192689127, c_0011_4 - 5450573084623136/21695320192689127*c_0101_3*c_0101_6^15 + 25157615249390108/21695320192689127*c_0101_3*c_0101_6^14 + 183155335604782690/21695320192689127*c_0101_3*c_0101_6^13 + 135462005870040596/21695320192689127*c_0101_3*c_0101_6^12 - 803006166471684071/21695320192689127*c_0101_3*c_0101_6^11 - 819282982251145073/21695320192689127*c_0101_3*c_0101_6^10 + 1384509039574417052/21695320192689127*c_0101_3*c_0101_6^9 + 1763412949812665241/21695320192689127*c_0101_3*c_0101_6^8 - 1330555999812257076/21695320192689127*c_0101_3*c_0101_6^7 - 2143323447184102730/21695320192689127*c_0101_3*c_0101_6^6 + 794603558248596766/21695320192689127*c_0101_3*c_0101_6^5 + 1479763279923290503/21695320192689127*c_0101_3*c_0101_6^4 - 134203803622971334/21695320192689127*c_0101_3*c_0101_6^3 - 542348505283620437/21695320192689127*c_0101_3*c_0101_6^2 - 10888975179126677/21695320192689127*c_0101_3*c_0101_6 + 17699012657845164/21695320192689127*c_0101_3, c_0101_1 + 14806759163267657/21695320192689127*c_0101_3*c_0101_6^15 - 59432841226774814/21695320192689127*c_0101_3*c_0101_6^14 - 529022208133034850/21695320192689127*c_0101_3*c_0101_6^13 - 702146196478005525/21695320192689127*c_0101_3*c_0101_6^12 + 1601781978104298771/21695320192689127*c_0101_3*c_0101_6^11 + 2931924211490084890/21695320192689127*c_0101_3*c_0101_6^10 - 1657017482707455111/21695320192689127*c_0101_3*c_0101_6^9 - 4904289921413142912/21695320192689127*c_0101_3*c_0101_6^8 + 551138350378863314/21695320192689127*c_0101_3*c_0101_6^7 + 4969306319944373243/21695320192689127*c_0101_3*c_0101_6^6 + 624044402542601264/21695320192689127*c_0101_3*c_0101_6^5 - 2683944936496170335/21695320192689127*c_0101_3*c_0101_6^4 - 856784700417779526/21695320192689127*c_0101_3*c_0101_6^3 + 595029048195615310/21695320192689127*c_0101_3*c_0101_6^2 + 183127589645200143/21695320192689127*c_0101_3*c_0101_6 + 43562560443842523/21695320192689127*c_0101_3, c_0101_2 + 3355322910897564/21695320192689127*c_0101_6^15 - 13065295441650206/21695320192689127*c_0101_6^14 - 120714929107246796/21695320192689127*c_0101_6^13 - 176190261740023431/21695320192689127*c_0101_6^12 + 314436219350467215/21695320192689127*c_0101_6^11 + 654132246234916828/21695320192689127*c_0101_6^10 - 242397945328648807/21695320192689127*c_0101_6^9 - 970818176227130100/21695320192689127*c_0101_6^8 + 15103494326659126/21695320192689127*c_0101_6^7 + 898164446856436350/21695320192689127*c_0101_6^6 + 149823447275245319/21695320192689127*c_0101_6^5 - 395831311684881862/21695320192689127*c_0101_6^4 - 133555523936885237/21695320192689127*c_0101_6^3 + 54517901836350955/21695320192689127*c_0101_6^2 + 1240321258172339/21695320192689127*c_0101_6 + 5450573084623136/21695320192689127, c_0101_3^2 + 363947677493509/21695320192689127*c_0101_6^15 - 2645405939493189/21695320192689127*c_0101_6^14 - 8558547673787173/21695320192689127*c_0101_6^13 + 25982605335058153/21695320192689127*c_0101_6^12 + 107422124865579609/21695320192689127*c_0101_6^11 - 27848455133497561/21695320192689127*c_0101_6^10 - 275119072792522948/21695320192689127*c_0101_6^9 - 56908756276694171/21695320192689127*c_0101_6^8 + 330133597419163969/21695320192689127*c_0101_6^7 + 114560849502211261/21695320192689127*c_0101_6^6 - 258402410508634731/21695320192689127*c_0101_6^5 - 92091535143879375/21695320192689127*c_0101_6^4 + 81584853718259799/21695320192689127*c_0101_6^3 + 17712332885302760/21695320192689127*c_0101_6^2 - 4269946420006420/21695320192689127*c_0101_6 + 894581720257/21695320192689127, c_0101_6^16 - 4*c_0101_6^15 - 36*c_0101_6^14 - 47*c_0101_6^13 + 115*c_0101_6^12 + 208*c_0101_6^11 - 134*c_0101_6^10 - 368*c_0101_6^9 + 66*c_0101_6^8 + 396*c_0101_6^7 + 19*c_0101_6^6 - 244*c_0101_6^5 - 48*c_0101_6^4 + 75*c_0101_6^3 + 12*c_0101_6^2 - 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB