Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 4122241491] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s076 geometric_solution 3.61725153 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.802542114476 0.134284121530 0 0 2 2 0132 3201 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 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.640170354897 0.694476408646 3 1 1 4 0132 3201 0132 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 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 1.302575549479 1.019478907275 2 5 4 4 0132 0132 3201 2031 0 0 0 0 0 1 -1 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 1 -1 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.002486241110 0.511565002461 3 3 2 5 2310 1302 0132 2310 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 1 -1 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.002486241110 0.511565002461 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 -1 0 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 0 -1 1 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.002486241110 0.511565002461 ==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' : negation(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' : negation(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_3'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 873689220420703961410771/26782443415187258957840*c_0101_3^14 - 1229076821418421111263013/3347805426898407369730*c_0101_3^13 - 1818840758828872207255819/2678244341518725895784*c_0101_3^12 - 9918622484437740807245407/3347805426898407369730*c_0101_3^11 - 57006920980799845572153161/26782443415187258957840*c_0101_3^10 - 259345269549383575866527897/26782443415187258957840*c_0101_3^9 - 25559790317231210300748409/3347805426898407369730*c_0101_3^8 - 206726920264786271996017491/13391221707593629478920*c_0101_3^7 - 318475094625088612471987589/26782443415187258957840*c_0101_3^6 - 257145671927739208243836221/13391221707593629478920*c_0101_3^5 - 36232758860672238223456039/6695610853796814739460*c_0101_3^4 - 47530918199536189185167069/13391221707593629478920*c_0101_3^3 + 1101290141254260095245121/5356488683037451791568*c_0101_3^2 - 2891196132499681025792647/2434767583198841723440*c_0101_3 - 1395222680338325264690673/26782443415187258957840, c_0011_0 - 1, c_0011_2 + 481227572172486271/30434594789985521543*c_0101_3^14 + 5231448170132972849/30434594789985521543*c_0101_3^13 + 8305933795732994109/30434594789985521543*c_0101_3^12 + 43944927215091896310/30434594789985521543*c_0101_3^11 + 22108585234306625174/30434594789985521543*c_0101_3^10 + 162858155182881198203/30434594789985521543*c_0101_3^9 + 79598784165944048578/30434594789985521543*c_0101_3^8 + 286111712754274595886/30434594789985521543*c_0101_3^7 + 166119932921232526480/30434594789985521543*c_0101_3^6 + 372698362428429406668/30434594789985521543*c_0101_3^5 + 77345128165298013081/30434594789985521543*c_0101_3^4 + 225383408360898993942/30434594789985521543*c_0101_3^3 + 4847098112688287584/30434594789985521543*c_0101_3^2 + 14429397407731909518/30434594789985521543*c_0101_3 - 11255432161142107524/30434594789985521543, c_0011_4 + 2963123290685044263/30434594789985521543*c_0101_3^14 + 32952771194854467067/30434594789985521543*c_0101_3^13 + 57056296548254544018/30434594789985521543*c_0101_3^12 + 258893149893584560548/30434594789985521543*c_0101_3^11 + 154739390551818812838/30434594789985521543*c_0101_3^10 + 837154065859596962662/30434594789985521543*c_0101_3^9 + 571919479721256451450/30434594789985521543*c_0101_3^8 + 1248254863336650614546/30434594789985521543*c_0101_3^7 + 880831596433528816891/30434594789985521543*c_0101_3^6 + 1502943602036065550697/30434594789985521543*c_0101_3^5 + 220166046151055543517/30434594789985521543*c_0101_3^4 + 153637799074204241982/30434594789985521543*c_0101_3^3 - 70824614919827747470/30434594789985521543*c_0101_3^2 + 69000549747412403590/30434594789985521543*c_0101_3 - 7462214818524790069/30434594789985521543, c_0101_0 + 463929952080320397/30434594789985521543*c_0101_3^14 + 5787494093285845909/30434594789985521543*c_0101_3^13 + 16552285322832536997/30434594789985521543*c_0101_3^12 + 59679350103270161903/30434594789985521543*c_0101_3^11 + 91236456214495503504/30434594789985521543*c_0101_3^10 + 218102696939544483417/30434594789985521543*c_0101_3^9 + 299713658465498604422/30434594789985521543*c_0101_3^8 + 485815467312836074721/30434594789985521543*c_0101_3^7 + 530209570650073715494/30434594789985521543*c_0101_3^6 + 648266993837186384721/30434594789985521543*c_0101_3^5 + 561976274768768740625/30434594789985521543*c_0101_3^4 + 334357071583757422184/30434594789985521543*c_0101_3^3 + 78075255609313923899/30434594789985521543*c_0101_3^2 - 10089634519926397647/30434594789985521543*c_0101_3 + 16828426292140330150/30434594789985521543, c_0101_1 - 367080463453298831/30434594789985521543*c_0101_3^14 - 4256516550262018815/30434594789985521543*c_0101_3^13 - 9271873014764328030/30434594789985521543*c_0101_3^12 - 38487997574163544343/30434594789985521543*c_0101_3^11 - 40687703237144914613/30434594789985521543*c_0101_3^10 - 138216201889117384598/30434594789985521543*c_0101_3^9 - 141984873067387692250/30434594789985521543*c_0101_3^8 - 269219833019667590489/30434594789985521543*c_0101_3^7 - 252204775516642279193/30434594789985521543*c_0101_3^6 - 374575350593687248363/30434594789985521543*c_0101_3^5 - 200623489545462107552/30434594789985521543*c_0101_3^4 - 190336128613829610359/30434594789985521543*c_0101_3^3 - 26223074920076610308/30434594789985521543*c_0101_3^2 + 1188804487665321756/30434594789985521543*c_0101_3 + 21461464287059858693/30434594789985521543, c_0101_3^15 + 11*c_0101_3^14 + 18*c_0101_3^13 + 86*c_0101_3^12 + 43*c_0101_3^11 + 284*c_0101_3^10 + 161*c_0101_3^9 + 426*c_0101_3^8 + 253*c_0101_3^7 + 515*c_0101_3^6 + 30*c_0101_3^5 + 90*c_0101_3^4 - 29*c_0101_3^3 + 42*c_0101_3^2 - 8*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB