Magma V2.19-8 Tue Aug 20 2013 16:14:47 on localhost [Seed = 3482211240] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s769 geometric_solution 5.32248860 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 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 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.323071157206 0.503758045910 3 2 4 0 0132 3012 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544547391330 0.991112141954 1 3 0 4 1230 0132 0132 3201 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 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 0 0 0 0 0.544547391330 0.991112141954 1 2 3 3 0132 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997561701631 1.143079297121 5 2 5 1 0132 2310 2310 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 0 0 0 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 0.740994314336 1.786341413150 4 4 5 5 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.245725342771 0.248337028280 ==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' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), '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_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 36144262704947489/5774964719851453*c_0101_4^17 + 215065169248916496/5774964719851453*c_0101_4^16 + 271084109511749159/5774964719851453*c_0101_4^15 - 1110545233037389045/5774964719851453*c_0101_4^14 - 4123426768676168522/5774964719851453*c_0101_4^13 + 586886174353225107/5774964719851453*c_0101_4^12 + 14336766150906902061/5774964719851453*c_0101_4^11 - 2972787564136085299/5774964719851453*c_0101_4^10 - 2988229212604757413/824994959978779*c_0101_4^9 + 13982951267369032397/5774964719851453*c_0101_4^8 + 10434717493358406148/5774964719851453*c_0101_4^7 - 15356648476695224302/5774964719851453*c_0101_4^6 + 4360834634018455433/5774964719851453*c_0101_4^5 + 4140700151928671015/5774964719851453*c_0101_4^4 - 5089452905220152064/5774964719851453*c_0101_4^3 + 123327797750100652/824994959978779*c_0101_4^2 + 939227590053455083/5774964719851453*c_0101_4 - 225572673613629297/5774964719851453, c_0011_0 - 1, c_0011_1 - 1294195315031243/824994959978779*c_0101_4^17 - 7793180017577748/824994959978779*c_0101_4^16 - 10803604381149979/824994959978779*c_0101_4^15 + 36016478487985632/824994959978779*c_0101_4^14 + 147102167953627131/824994959978779*c_0101_4^13 + 5340166653640291/824994959978779*c_0101_4^12 - 460807097070932069/824994959978779*c_0101_4^11 + 52352420126435784/824994959978779*c_0101_4^10 + 585399934174172814/824994959978779*c_0101_4^9 - 350061023139084140/824994959978779*c_0101_4^8 - 250164089053473494/824994959978779*c_0101_4^7 + 319496688844626889/824994959978779*c_0101_4^6 - 86099703233098148/824994959978779*c_0101_4^5 - 80946965314276367/824994959978779*c_0101_4^4 + 94331617076350071/824994959978779*c_0101_4^3 + 2638622203048907/824994959978779*c_0101_4^2 - 17755253653324474/824994959978779*c_0101_4 - 826115458960924/824994959978779, c_0011_4 - 1430551952520931/824994959978779*c_0101_4^17 - 6749030564117193/824994959978779*c_0101_4^16 - 2108072174348973/824994959978779*c_0101_4^15 + 47886339408049349/824994959978779*c_0101_4^14 + 103865233611671898/824994959978779*c_0101_4^13 - 163338354392574502/824994959978779*c_0101_4^12 - 387369196422481857/824994959978779*c_0101_4^11 + 644742816191965479/824994959978779*c_0101_4^10 + 136684975453338656/824994959978779*c_0101_4^9 - 884478178343583657/824994959978779*c_0101_4^8 + 598988094443301066/824994959978779*c_0101_4^7 + 93073765187836730/824994959978779*c_0101_4^6 - 379689526756868095/824994959978779*c_0101_4^5 + 240126441884539185/824994959978779*c_0101_4^4 - 16901367441164488/824994959978779*c_0101_4^3 - 48818864165750640/824994959978779*c_0101_4^2 + 12665872013732732/824994959978779*c_0101_4 + 2631434647322915/824994959978779, c_0101_0 - 1006948596429034/824994959978779*c_0101_4^17 - 4625232838910473/824994959978779*c_0101_4^16 - 765239431510099/824994959978779*c_0101_4^15 + 34622071595137543/824994959978779*c_0101_4^14 + 69801836833954373/824994959978779*c_0101_4^13 - 127706638444132202/824994959978779*c_0101_4^12 - 271708555901831137/824994959978779*c_0101_4^11 + 489908957951503416/824994959978779*c_0101_4^10 + 81636128675625870/824994959978779*c_0101_4^9 - 648644127893883413/824994959978779*c_0101_4^8 + 456815345241668563/824994959978779*c_0101_4^7 + 49856657649086716/824994959978779*c_0101_4^6 - 273087449264237963/824994959978779*c_0101_4^5 + 185665260594659994/824994959978779*c_0101_4^4 - 21678927726449216/824994959978779*c_0101_4^3 - 35277176619413433/824994959978779*c_0101_4^2 + 10131168023581274/824994959978779*c_0101_4 + 1120302037988761/824994959978779, c_0101_1 - 23399276049769317/824994959978779*c_0101_4^17 - 111683585950006524/824994959978779*c_0101_4^16 - 39598351339156116/824994959978779*c_0101_4^15 + 787938193884632347/824994959978779*c_0101_4^14 + 1755011055703689492/824994959978779*c_0101_4^13 - 2595942987752281012/824994959978779*c_0101_4^12 - 6608146102106643735/824994959978779*c_0101_4^11 + 10101785556829402404/824994959978779*c_0101_4^10 + 3102702276174453275/824994959978779*c_0101_4^9 - 14163627517081631284/824994959978779*c_0101_4^8 + 8671926869020004237/824994959978779*c_0101_4^7 + 2043360747381843896/824994959978779*c_0101_4^6 - 5921570544459330406/824994959978779*c_0101_4^5 + 3543565672914680414/824994959978779*c_0101_4^4 - 78983526144894079/824994959978779*c_0101_4^3 - 766167556585275865/824994959978779*c_0101_4^2 + 162578824104881236/824994959978779*c_0101_4 + 30856341079040563/824994959978779, c_0101_4^18 + 4*c_0101_4^17 - 2*c_0101_4^16 - 35*c_0101_4^15 - 49*c_0101_4^14 + 169*c_0101_4^13 + 197*c_0101_4^12 - 650*c_0101_4^11 + 200*c_0101_4^10 + 708*c_0101_4^9 - 837*c_0101_4^8 + 198*c_0101_4^7 + 320*c_0101_4^6 - 346*c_0101_4^5 + 120*c_0101_4^4 + 30*c_0101_4^3 - 32*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB