Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 1065263666] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2844 geometric_solution 6.06524970 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 -1 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265712603462 0.665075999533 0 3 4 5 0132 3201 3012 0132 0 0 0 0 0 1 0 -1 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 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.293415857572 0.989275102640 4 0 3 4 3201 0132 3012 2310 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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.061949124289 0.838616500898 5 2 1 0 3201 1230 2310 0132 0 0 0 0 0 0 -1 1 0 0 0 0 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 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.293415857572 0.989275102640 2 1 0 2 3201 1230 0132 2310 0 0 0 0 0 1 -2 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 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.061949124289 0.838616500898 6 6 1 3 0132 3201 0132 2310 0 0 0 0 0 0 1 -1 1 0 -1 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 0 1 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.586236795081 2.336921227122 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -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 1 0 -1 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.545773054497 0.628229157089 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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_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' : negation(d['1']), 's_1_0' : 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' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 22274293976330155720632507856/142704700951208037124822841*c_0101_2^\ 21 - 194483952425995877097517506032/142704700951208037124822841*c_0\ 101_2^20 + 151463380994738066326778070428/1427047009512080371248228\ 41*c_0101_2^19 + 1150703578969720613171396102298/142704700951208037\ 124822841*c_0101_2^18 - 392761771047925723418532949881/142704700951\ 208037124822841*c_0101_2^17 - 2898307068656693850476900553239/14270\ 4700951208037124822841*c_0101_2^16 + 637642031206883375508341021635/142704700951208037124822841*c_0101_2\ ^15 + 4071429581498464633843572605734/142704700951208037124822841*c\ _0101_2^14 - 34393942955582651135874240975/751077373427410721709593\ 9*c_0101_2^13 - 3479904585877421917115201185954/1427047009512080371\ 24822841*c_0101_2^12 + 540196280753529624445299178993/1427047009512\ 08037124822841*c_0101_2^11 + 67494010141882129781823036512/49208517\ 56938208176718029*c_0101_2^10 - 17335573703610244530836452082/75107\ 73734274107217095939*c_0101_2^9 - 827952088507138711515249470505/14\ 2704700951208037124822841*c_0101_2^8 + 195483612754874761904528327535/142704700951208037124822841*c_0101_2\ ^7 + 16918566327261979233492106659/7510773734274107217095939*c_0101\ _2^6 - 65681467481317270209707990898/142704700951208037124822841*c_\ 0101_2^5 - 2864338854319836231904134582/4920851756938208176718029*c\ _0101_2^4 + 1422170698853539074734213839/4920851756938208176718029*\ c_0101_2^3 + 24951512702826748274412360054/142704700951208037124822\ 841*c_0101_2^2 - 347702303979109121291220541/4920851756938208176718\ 029*c_0101_2 - 2765232554518396619920934381/14270470095120803712482\ 2841, c_0011_0 - 1, c_0011_3 - 95366077275186472854728/258992197733589904037791*c_0101_2^21 - 829487419341503884815460/258992197733589904037791*c_0101_2^20 + 576596010582360015312416/258992197733589904037791*c_0101_2^19 + 4049331692373465662826321/258992197733589904037791*c_0101_2^18 - 1146049824593292962284177/258992197733589904037791*c_0101_2^17 - 8192055322866873980675459/258992197733589904037791*c_0101_2^16 + 1591969016694371896819493/258992197733589904037791*c_0101_2^15 + 9033080116931703530608263/258992197733589904037791*c_0101_2^14 - 1401003112756243310838213/258992197733589904037791*c_0101_2^13 - 6028706801394387797638334/258992197733589904037791*c_0101_2^12 + 1568408772980444607683913/258992197733589904037791*c_0101_2^11 + 2859174987224753786640140/258992197733589904037791*c_0101_2^10 - 563811674282680198210504/258992197733589904037791*c_0101_2^9 - 1144570411776911772768130/258992197733589904037791*c_0101_2^8 + 573396480974671400073229/258992197733589904037791*c_0101_2^7 + 348973326184810317346456/258992197733589904037791*c_0101_2^6 + 53757675764964507659643/258992197733589904037791*c_0101_2^5 - 100083246161343611353325/258992197733589904037791*c_0101_2^4 + 249668488325256920191354/258992197733589904037791*c_0101_2^3 + 14068223577069384526035/258992197733589904037791*c_0101_2^2 + 411116183564493184751249/258992197733589904037791*c_0101_2 - 272947635228516484580/258992197733589904037791, c_0011_4 - 18875762502418865550272/258992197733589904037791*c_0101_2^21 - 281698684894318240380136/258992197733589904037791*c_0101_2^20 - 873942046958035998299012/258992197733589904037791*c_0101_2^19 + 1822219330596886005319232/258992197733589904037791*c_0101_2^18 + 4682365109283299854712821/258992197733589904037791*c_0101_2^17 - 4487618409598765747669417/258992197733589904037791*c_0101_2^16 - 9885165462533413021948404/258992197733589904037791*c_0101_2^15 + 6359411425512055917715278/258992197733589904037791*c_0101_2^14 + 11125266348479779007105865/258992197733589904037791*c_0101_2^13 - 5297948790832981437856503/258992197733589904037791*c_0101_2^12 - 7380757560198393736136279/258992197733589904037791*c_0101_2^11 + 3703820283781914462038574/258992197733589904037791*c_0101_2^10 + 3349555979816250760510927/258992197733589904037791*c_0101_2^9 - 1608102536695219166478674/258992197733589904037791*c_0101_2^8 - 1343774545449749575824966/258992197733589904037791*c_0101_2^7 + 912052371241642763352195/258992197733589904037791*c_0101_2^6 + 376747140214588752920315/258992197733589904037791*c_0101_2^5 - 96033541797294043907035/258992197733589904037791*c_0101_2^4 - 93218613357515397435534/258992197733589904037791*c_0101_2^3 + 777395218232667870750609/258992197733589904037791*c_0101_2^2 + 11647812024169792622261/258992197733589904037791*c_0101_2 - 11920759659398309106841/258992197733589904037791, c_0011_5 - 3442166820030804662661968/258992197733589904037791*c_0101_2^\ 21 - 29813693374301085366881408/258992197733589904037791*c_0101_2^2\ 0 + 25569137270870027687315380/258992197733589904037791*c_0101_2^19 + 176831622773663926730776706/258992197733589904037791*c_0101_2^18 - 72408286342832326947742123/258992197733589904037791*c_0101_2^17 - 447680904577953064943892917/258992197733589904037791*c_0101_2^16 + 124934639609789152664087006/258992197733589904037791*c_0101_2^15 + 632230626169732789904634512/258992197733589904037791*c_0101_2^14 - 132992800012286372201829497/258992197733589904037791*c_0101_2^13 - 543596762207096007616852357/258992197733589904037791*c_0101_2^12 + 104527425532260677615409787/258992197733589904037791*c_0101_2^11 + 304670751818689741943533048/258992197733589904037791*c_0101_2^10 - 57024795217000973450377229/258992197733589904037791*c_0101_2^9 - 126332953700214035131408450/258992197733589904037791*c_0101_2^8 + 29398134841046299089396349/258992197733589904037791*c_0101_2^7 + 47094954030299062586468272/258992197733589904037791*c_0101_2^6 - 9326110684964243947112834/258992197733589904037791*c_0101_2^5 - 12392829080830360329554893/258992197733589904037791*c_0101_2^4 + 6132039085858918973413729/258992197733589904037791*c_0101_2^3 + 3097291206686732739881781/258992197733589904037791*c_0101_2^2 - 1551591600991805553311899/258992197733589904037791*c_0101_2 - 417775517528456133077899/258992197733589904037791, c_0101_0 - 1310174382840584586685752/258992197733589904037791*c_0101_2^\ 21 - 11153174435565559720502524/258992197733589904037791*c_0101_2^2\ 0 + 11623797277141668633597800/258992197733589904037791*c_0101_2^19 + 67573645656792193987278635/258992197733589904037791*c_0101_2^18 - 39646281719248046578718755/258992197733589904037791*c_0101_2^17 - 176172544305397184406029600/258992197733589904037791*c_0101_2^16 + 80476831767128592419177850/258992197733589904037791*c_0101_2^15 + 258073529762367884935377308/258992197733589904037791*c_0101_2^14 - 102281165891942542381685744/258992197733589904037791*c_0101_2^13 - 233397741971368312822140459/258992197733589904037791*c_0101_2^12 + 90828381533539187335666474/258992197733589904037791*c_0101_2^11 + 139170705760812138561766596/258992197733589904037791*c_0101_2^10 - 56729354139975986060086961/258992197733589904037791*c_0101_2^9 - 61153871545359242772215636/258992197733589904037791*c_0101_2^8 + 29028849403546984166855067/258992197733589904037791*c_0101_2^7 + 23006441744500720093937122/258992197733589904037791*c_0101_2^6 - 11491672119500739257703162/258992197733589904037791*c_0101_2^5 - 6503445870436691310965141/258992197733589904037791*c_0101_2^4 + 4610508825644001234552373/258992197733589904037791*c_0101_2^3 + 1472895332077858895886442/258992197733589904037791*c_0101_2^2 - 1207668177238893261861227/258992197733589904037791*c_0101_2 - 163735680690916016878273/258992197733589904037791, c_0101_1 - c_0101_2, c_0101_2^22 + 17/2*c_0101_2^21 - 9*c_0101_2^20 - 413/8*c_0101_2^19 + 249/8*c_0101_2^18 + 135*c_0101_2^17 - 255/4*c_0101_2^16 - 1587/8*c_0101_2^15 + 651/8*c_0101_2^14 + 1439/8*c_0101_2^13 - 72*c_0101_2^12 - 859/8*c_0101_2^11 + 179/4*c_0101_2^10 + 377/8*c_0101_2^9 - 183/8*c_0101_2^8 - 71/4*c_0101_2^7 + 9*c_0101_2^6 + 5*c_0101_2^5 - 29/8*c_0101_2^4 - 9/8*c_0101_2^3 + 9/8*c_0101_2^2 + 1/8*c_0101_2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB