Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 795783981] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s411 geometric_solution 4.67653930 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 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 1 0 -1 0 0 1 -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.510978607632 0.151153151692 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 1 -1 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.689461388317 0.381176699711 1 4 3 3 0132 0132 3012 2310 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 0 0 0 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.438729543256 1.082400094328 2 2 4 1 3201 1230 0132 0132 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 0 0 1 0 0 -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.438729543256 1.082400094328 5 2 5 3 0132 0132 1023 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 1.856565438587 1.215038390646 4 5 4 5 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.501112396898 0.446244973207 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : 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_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 70075572362158591/1377274748961*c_0101_4^20 + 201243724088677922/459091582987*c_0101_4^19 - 226535482636030819/459091582987*c_0101_4^18 - 3222821947735016846/459091582987*c_0101_4^17 - 651926415799585664/459091582987*c_0101_4^16 + 86534563721143294558/1377274748961*c_0101_4^15 - 1331166247202337610/1377274748961*c_0101_4^14 - 412473500885918539099/1377274748961*c_0101_4^13 + 83026290775545718808/459091582987*c_0101_4^12 + 263542132187004011188/459091582987*c_0101_4^11 - 787121998004480662471/1377274748961*c_0101_4^10 - 523202040490947783620/1377274748961*c_0101_4^9 + 239599669460066473502/459091582987*c_0101_4^8 + 147604752382941620272/1377274748961*c_0101_4^7 - 91456498666856374501/459091582987*c_0101_4^6 - 12208683136895275439/459091582987*c_0101_4^5 + 48637244403559970266/1377274748961*c_0101_4^4 + 3506862687845460610/459091582987*c_0101_4^3 - 3061898309119737361/1377274748961*c_0101_4^2 - 1324568643248331356/1377274748961*c_0101_4 - 114004855876468381/1377274748961, c_0011_0 - 1, c_0011_1 + 10615075277769/459091582987*c_0101_4^20 + 83884146660323/459091582987*c_0101_4^19 - 179032465681337/459091582987*c_0101_4^18 - 1500697350948464/459091582987*c_0101_4^17 + 693972005334396/459091582987*c_0101_4^16 + 14741669599597632/459091582987*c_0101_4^15 - 7172338966008851/459091582987*c_0101_4^14 - 72312375420994825/459091582987*c_0101_4^13 + 67937815004068027/459091582987*c_0101_4^12 + 136039613445477709/459091582987*c_0101_4^11 - 180267566588030971/459091582987*c_0101_4^10 - 81806157207563771/459091582987*c_0101_4^9 + 159895418296035162/459091582987*c_0101_4^8 + 18650218235481492/459091582987*c_0101_4^7 - 61648636483824974/459091582987*c_0101_4^6 - 5330533890537752/459091582987*c_0101_4^5 + 11326647223385479/459091582987*c_0101_4^4 + 2140356971092342/459091582987*c_0101_4^3 - 762909866271094/459091582987*c_0101_4^2 - 302586977359749/459091582987*c_0101_4 - 25614116203926/459091582987, c_0011_3 - 796730238031/9767906021*c_0101_4^20 - 7060440421576/9767906021*c_0101_4^19 + 5752053808122/9767906021*c_0101_4^18 + 108981488836117/9767906021*c_0101_4^17 + 48022192339681/9767906021*c_0101_4^16 - 941104772760939/9767906021*c_0101_4^15 - 166444311316289/9767906021*c_0101_4^14 + 4429714262337995/9767906021*c_0101_4^13 - 2044263834094346/9767906021*c_0101_4^12 - 8541592443194631/9767906021*c_0101_4^11 + 7344212871599323/9767906021*c_0101_4^10 + 5832533657244799/9767906021*c_0101_4^9 - 6801022210681563/9767906021*c_0101_4^8 - 1738435769141776/9767906021*c_0101_4^7 + 2564020613416004/9767906021*c_0101_4^6 + 408703269311115/9767906021*c_0101_4^5 - 441619417065473/9767906021*c_0101_4^4 - 101727118867078/9767906021*c_0101_4^3 + 26531030180076/9767906021*c_0101_4^2 + 11910308483766/9767906021*c_0101_4 + 1012171937968/9767906021, c_0101_0 - 36884427232215/459091582987*c_0101_4^20 - 319717488575299/459091582987*c_0101_4^19 + 339123019423629/459091582987*c_0101_4^18 + 5089643608053975/459091582987*c_0101_4^17 + 1293280688929629/459091582987*c_0101_4^16 - 45245560221573168/459091582987*c_0101_4^15 - 1352404961977771/459091582987*c_0101_4^14 + 215302920590090240/459091582987*c_0101_4^13 - 121751508090689536/459091582987*c_0101_4^12 - 414842250184255393/459091582987*c_0101_4^11 + 395087143336919386/459091582987*c_0101_4^10 + 280347968111633595/459091582987*c_0101_4^9 - 361924414064673028/459091582987*c_0101_4^8 - 83107760081112695/459091582987*c_0101_4^7 + 137363377604317899/459091582987*c_0101_4^6 + 20732019034060259/459091582987*c_0101_4^5 - 23932084620170993/459091582987*c_0101_4^4 - 5503303657764437/459091582987*c_0101_4^3 + 1444740234506016/459091582987*c_0101_4^2 + 655752394223384/459091582987*c_0101_4 + 57433732648455/459091582987, c_0101_1 - 70586889661539/459091582987*c_0101_4^20 - 624666931676082/459091582987*c_0101_4^19 + 518020559907326/459091582987*c_0101_4^18 + 9656457529549137/459091582987*c_0101_4^17 + 4132307467892950/459091582987*c_0101_4^16 - 83548506383019482/459091582987*c_0101_4^15 - 13819649737082969/459091582987*c_0101_4^14 + 393635401168788266/459091582987*c_0101_4^13 - 185279081353071962/459091582987*c_0101_4^12 - 759187854041378062/459091582987*c_0101_4^11 + 659768479002570972/459091582987*c_0101_4^10 + 518323701728386451/459091582987*c_0101_4^9 - 611627180063369931/459091582987*c_0101_4^8 - 154702130071578657/459091582987*c_0101_4^7 + 231635196410859486/459091582987*c_0101_4^6 + 36789099135710419/459091582987*c_0101_4^5 - 40187127761289418/459091582987*c_0101_4^4 - 9307912101657636/459091582987*c_0101_4^3 + 2432261863404010/459091582987*c_0101_4^2 + 1104197788257617/459091582987*c_0101_4 + 95741914282478/459091582987, c_0101_4^21 + 8*c_0101_4^20 - 15*c_0101_4^19 - 132*c_0101_4^18 + 57*c_0101_4^17 + 1252*c_0101_4^16 - 779*c_0101_4^15 - 5874*c_0101_4^14 + 7177*c_0101_4^13 + 9093*c_0101_4^12 - 18175*c_0101_4^11 - 550*c_0101_4^10 + 14849*c_0101_4^9 - 4208*c_0101_4^8 - 5209*c_0101_4^7 + 1887*c_0101_4^6 + 1015*c_0101_4^5 - 277*c_0101_4^4 - 136*c_0101_4^3 + 8*c_0101_4^2 + 10*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB