Magma V2.19-8 Tue Aug 20 2013 16:14:54 on localhost [Seed = 2530675453] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s872 geometric_solution 5.55943615 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 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.522949400804 0.691249940146 0 3 5 4 0132 0132 0132 0132 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 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 0 0 0.512250252486 0.553040173063 3 0 4 5 3201 0132 3201 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 -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.512250252486 0.553040173063 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 1 0 0 -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.401380403490 1.367167584442 2 4 1 4 2310 2310 0132 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 1 0 -1 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.782791065587 1.339003123897 2 5 5 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803038030803 0.670789735394 ==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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_2'], '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' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 8407907159926456975896/28525433774067715043*c_0101_5^16 - 14630683419709225238190/28525433774067715043*c_0101_5^15 - 34352001111039225553750/28525433774067715043*c_0101_5^14 - 46908560279280770044772/28525433774067715043*c_0101_5^13 + 47312727590477810819932/28525433774067715043*c_0101_5^12 + 10918521142971547832991/2194264136466747311*c_0101_5^11 + 2989371414723816179828/390759366768050891*c_0101_5^10 + 279328152579261046086516/28525433774067715043*c_0101_5^9 + 9547013472213561973978/28525433774067715043*c_0101_5^8 - 402537846649282267866019/28525433774067715043*c_0101_5^7 - 321114629737283518154749/28525433774067715043*c_0101_5^6 + 169071768842063487791945/28525433774067715043*c_0101_5^5 + 281231261399983216236874/28525433774067715043*c_0101_5^4 - 3273279481649451478978/2194264136466747311*c_0101_5^3 - 118820856150254432976220/28525433774067715043*c_0101_5^2 + 639358378077333315843/2194264136466747311*c_0101_5 + 20922290937623050649668/28525433774067715043, c_0011_0 - 1, c_0011_4 + 18905154418542372327/2194264136466747311*c_0101_5^16 + 32549766270124396989/2194264136466747311*c_0101_5^15 + 77838506024306025736/2194264136466747311*c_0101_5^14 + 106776894877856316604/2194264136466747311*c_0101_5^13 - 102341387763973081588/2194264136466747311*c_0101_5^12 - 306962011896221773448/2194264136466747311*c_0101_5^11 - 6672215245278968335/30058412828311607*c_0101_5^10 - 638939883538644348520/2194264136466747311*c_0101_5^9 - 47500246935692595785/2194264136466747311*c_0101_5^8 + 844493482695379832228/2194264136466747311*c_0101_5^7 + 673982736644500197965/2194264136466747311*c_0101_5^6 - 358439795596518300701/2194264136466747311*c_0101_5^5 - 577325857996688523375/2194264136466747311*c_0101_5^4 + 104743877826750371791/2194264136466747311*c_0101_5^3 + 235875730949921492884/2194264136466747311*c_0101_5^2 - 22194134945660620623/2194264136466747311*c_0101_5 - 37409332836192169140/2194264136466747311, c_0101_0 - 8535970300527295776/2194264136466747311*c_0101_5^16 - 13057136298374076714/2194264136466747311*c_0101_5^15 - 32357926227564160876/2194264136466747311*c_0101_5^14 - 39809746737978814048/2194264136466747311*c_0101_5^13 + 57146842294919433912/2194264136466747311*c_0101_5^12 + 136440273282951866542/2194264136466747311*c_0101_5^11 + 2738150994862646012/30058412828311607*c_0101_5^10 + 237655967990727155704/2194264136466747311*c_0101_5^9 - 50447599270566549125/2194264136466747311*c_0101_5^8 - 422936046790230012593/2194264136466747311*c_0101_5^7 - 275297903813539318266/2194264136466747311*c_0101_5^6 + 218741784529526564301/2194264136466747311*c_0101_5^5 + 275567627073062578625/2194264136466747311*c_0101_5^4 - 65020527164090027855/2194264136466747311*c_0101_5^3 - 117078359135744775483/2194264136466747311*c_0101_5^2 + 14069595449594269848/2194264136466747311*c_0101_5 + 21350310484259185716/2194264136466747311, c_0101_1 - 8645172884364786291/2194264136466747311*c_0101_5^16 - 16184656919720070060/2194264136466747311*c_0101_5^15 - 35389078761100404437/2194264136466747311*c_0101_5^14 - 51159038357085364065/2194264136466747311*c_0101_5^13 + 49124411009285303220/2194264136466747311*c_0101_5^12 + 157946256721394187464/2194264136466747311*c_0101_5^11 + 3152588196777571314/30058412828311607*c_0101_5^10 + 297919586208711028557/2194264136466747311*c_0101_5^9 + 11598701262877165273/2194264136466747311*c_0101_5^8 - 451240564834538724800/2194264136466747311*c_0101_5^7 - 366137749971170021900/2194264136466747311*c_0101_5^6 + 191926000220609054637/2194264136466747311*c_0101_5^5 + 331277198114671741363/2194264136466747311*c_0101_5^4 - 48363211171518666229/2194264136466747311*c_0101_5^3 - 145934619674014924944/2194264136466747311*c_0101_5^2 + 12891814908118677023/2194264136466747311*c_0101_5 + 26732729621999747075/2194264136466747311, c_0101_2 - 1363612725117378/97910139505901*c_0101_5^16 - 2215845078742992/97910139505901*c_0101_5^15 - 5280984706385401/97910139505901*c_0101_5^14 - 6873450699492578/97910139505901*c_0101_5^13 + 8742537552474673/97910139505901*c_0101_5^12 + 22543962726744556/97910139505901*c_0101_5^11 + 33103756357904771/97910139505901*c_0101_5^10 + 40807785345543404/97910139505901*c_0101_5^9 - 5066296875753843/97910139505901*c_0101_5^8 - 67958317667418240/97910139505901*c_0101_5^7 - 47437547980784254/97910139505901*c_0101_5^6 + 32841402425443060/97910139505901*c_0101_5^5 + 44874912413042188/97910139505901*c_0101_5^4 - 10040623966081931/97910139505901*c_0101_5^3 - 19092899776683753/97910139505901*c_0101_5^2 + 2267283307615561/97910139505901*c_0101_5 + 3384223443447579/97910139505901, c_0101_5^17 + 7/3*c_0101_5^16 + 46/9*c_0101_5^15 + 8*c_0101_5^14 - 7/3*c_0101_5^13 - 182/9*c_0101_5^12 - 323/9*c_0101_5^11 - 437/9*c_0101_5^10 - 187/9*c_0101_5^9 + 425/9*c_0101_5^8 + 199/3*c_0101_5^7 + 20/9*c_0101_5^6 - 136/3*c_0101_5^5 - 130/9*c_0101_5^4 + 155/9*c_0101_5^3 + 65/9*c_0101_5^2 - 28/9*c_0101_5 - 13/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB