Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 3903419427] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1593 geometric_solution 5.36178369 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.655091065831 0.187853087899 0 2 2 0 3201 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 1 0 -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 1.416268272614 0.575068240769 3 1 1 4 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 -1 0 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.202173978699 0.470999986548 2 5 4 6 0132 0132 1302 0132 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 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.277514443211 0.652642383938 3 6 2 5 2031 2310 0132 2310 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 -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.277514443211 0.652642383938 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.448233540368 1.297612381626 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533714197263 0.895728776546 ==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' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1131693652708429600208224810438150561897389/21323100797117230700184\ 443440775907814496*c_0101_5^27 - 5883157218014381498931308480436463\ 0004325811/10661550398558615350092221720387953907248*c_0101_5^25 - 814427959783121068426417160453046766114531/666346899909913459380763\ 857524247119203*c_0101_5^23 - 4522161447091490552281151176976462347\ 564120479/21323100797117230700184443440775907814496*c_0101_5^21 + 3913593464841298146710409470509692390791023975/26653875996396538375\ 23055430096988476812*c_0101_5^19 - 53400732024110785308392394445096806200295115237/1066155039855861535\ 0092221720387953907248*c_0101_5^17 + 239555616481481280028184675078196446912383936757/213231007971172307\ 00184443440775907814496*c_0101_5^15 - 88859231354741572393544062311569832690952202005/5330775199279307675\ 046110860193976953624*c_0101_5^13 + 341285941071691483932540548167990232696119598427/213231007971172307\ 00184443440775907814496*c_0101_5^11 - 6485119930540210282331264152087880718886482656/66634689990991345938\ 0763857524247119203*c_0101_5^9 + 3860530329841415804272897968725005\ 682137039025/969231854414419577281111065489813991568*c_0101_5^7 - 22026989829856461537098158398398096387356299193/2132310079711723070\ 0184443440775907814496*c_0101_5^5 + 2912452831337344905073541820954220403156923823/21323100797117230700\ 184443440775907814496*c_0101_5^3 - 136733561196381825086427227815027481520734297/213231007971172307001\ 84443440775907814496*c_0101_5, c_0011_0 - 1, c_0011_1 - 2222342731625818982870596954468383835/6057699090090122358006\ 9441593113374473*c_0101_5^26 + 231090116672569040650472406393569538\ 362/60576990900901223580069441593113374473*c_0101_5^24 + 47995054247434380719249793231840230079/6057699090090122358006944159\ 3113374473*c_0101_5^22 + 8872579267065363264198409634780423014828/6\ 0576990900901223580069441593113374473*c_0101_5^20 - 61611490030129059979743764812029127688231/6057699090090122358006944\ 1593113374473*c_0101_5^18 + 210321930528720606450446285817738834480\ 546/60576990900901223580069441593113374473*c_0101_5^16 - 471617315779186812619858881967168070744008/605769909009012235800694\ 41593113374473*c_0101_5^14 + 69896508141572366333229343210425960622\ 5005/60576990900901223580069441593113374473*c_0101_5^12 - 668136094506678413620739087755040816162726/605769909009012235800694\ 41593113374473*c_0101_5^10 + 40091788453729507312493800517782420066\ 2464/60576990900901223580069441593113374473*c_0101_5^8 - 159302274195473974514796757218729798297603/605769909009012235800694\ 41593113374473*c_0101_5^6 + 393231190293023027657611906386331356334\ 46/60576990900901223580069441593113374473*c_0101_5^4 - 4275559297144233190739107230381379904710/60576990900901223580069441\ 593113374473*c_0101_5^2 + 25582225550465136692122939545909930045/60\ 576990900901223580069441593113374473, c_0011_4 + 396602588188645377984434071601188408/60576990900901223580069\ 441593113374473*c_0101_5^26 - 4110227894838100412499336513422348252\ 8/60576990900901223580069441593113374473*c_0101_5^24 - 22905355448267469758367671064775921607/6057699090090122358006944159\ 3113374473*c_0101_5^22 - 1591804037528098774276164344004027390897/6\ 0576990900901223580069441593113374473*c_0101_5^20 + 10439437362445774759421219284703889570406/6057699090090122358006944\ 1593113374473*c_0101_5^18 - 339058933186862857381620081619400209635\ 67/60576990900901223580069441593113374473*c_0101_5^16 + 72431611590464801979212507524014671659059/6057699090090122358006944\ 1593113374473*c_0101_5^14 - 997321067964337300581063021689542573681\ 85/60576990900901223580069441593113374473*c_0101_5^12 + 84893546255397194001857099742499141937016/6057699090090122358006944\ 1593113374473*c_0101_5^10 - 423244494054509000747119766546575410042\ 51/60576990900901223580069441593113374473*c_0101_5^8 + 13577645859993607418470007463173909242027/6057699090090122358006944\ 1593113374473*c_0101_5^6 - 1946805233645848867991338271436826504189\ /60576990900901223580069441593113374473*c_0101_5^4 - 59104697753514957922655659484695208746/6057699090090122358006944159\ 3113374473*c_0101_5^2 + 5435094454441385712990761373692518231/60576\ 990900901223580069441593113374473, c_0011_6 + 3549313808305266650088748956261287437/6057699090090122358006\ 9441593113374473*c_0101_5^26 - 368845079325049255418687584115431660\ 964/60576990900901223580069441593113374473*c_0101_5^24 - 100487915720283849166401050081133101736/605769909009012235800694415\ 93113374473*c_0101_5^22 - 14183979998410364836402356366055794670112\ /60576990900901223580069441593113374473*c_0101_5^20 + 97476636232802489400536210169888354211415/6057699090090122358006944\ 1593113374473*c_0101_5^18 - 329861816127043939019183990758767458281\ 536/60576990900901223580069441593113374473*c_0101_5^16 + 733621140882299229321789487159979632569870/605769909009012235800694\ 41593113374473*c_0101_5^14 - 10745197530991986999019672481887901452\ 79744/60576990900901223580069441593113374473*c_0101_5^12 + 1009601386159415011910553434768480635183032/60576990900901223580069\ 441593113374473*c_0101_5^10 - 5913974196623876297315425082655473744\ 46995/60576990900901223580069441593113374473*c_0101_5^8 + 229765790698116415733761156334543606358750/605769909009012235800694\ 41593113374473*c_0101_5^6 - 543463819121788393843654809528967155569\ 59/60576990900901223580069441593113374473*c_0101_5^4 + 5360397124631269224559538304394650180993/60576990900901223580069441\ 593113374473*c_0101_5^2 - 37344833706474481351585181666886998997/60\ 576990900901223580069441593113374473, c_0101_0 - 7730185926722825086807958517621613389/6057699090090122358006\ 9441593113374473*c_0101_5^27 + 802177198133178263176637756951153340\ 644/60576990900901223580069441593113374473*c_0101_5^25 + 337603198562994953490628900091118239992/605769909009012235800694415\ 93113374473*c_0101_5^23 + 30944650746586941913579480683743859274982\ /60576990900901223580069441593113374473*c_0101_5^21 - 207712304007329737933092611386656488928432/605769909009012235800694\ 41593113374473*c_0101_5^19 + 68777661215423593207292773125822839916\ 5495/60576990900901223580069441593113374473*c_0101_5^17 - 1496578090208724954027981728505508279257642/60576990900901223580069\ 441593113374473*c_0101_5^15 + 2120434421316023016240332978618354654\ 878224/60576990900901223580069441593113374473*c_0101_5^13 - 1888193753397223033925561229741040763348670/60576990900901223580069\ 441593113374473*c_0101_5^11 + 1011876831309108808469536427858709080\ 152082/60576990900901223580069441593113374473*c_0101_5^9 - 352080686257792372344584658864385567336738/605769909009012235800694\ 41593113374473*c_0101_5^7 + 658000347168243055694669316666238691376\ 01/60576990900901223580069441593113374473*c_0101_5^5 - 1272318785577012628778402601363008411386/60576990900901223580069441\ 593113374473*c_0101_5^3 - 595696762221974046402811053180323464778/6\ 0576990900901223580069441593113374473*c_0101_5, c_0101_2 + 14902291056962117142290790502912029772/605769909009012235800\ 69441593113374473*c_0101_5^27 - 15486549608792821729226459036143830\ 50543/60576990900901223580069441593113374473*c_0101_5^25 - 420963274278585571209930956806385385701/605769909009012235800694415\ 93113374473*c_0101_5^23 - 59573539076143179721538880586058000935636\ /60576990900901223580069441593113374473*c_0101_5^21 + 409281524548879757179144895419958246307926/605769909009012235800694\ 41593113374473*c_0101_5^19 - 13859638281562702872672594781402704437\ 59035/60576990900901223580069441593113374473*c_0101_5^17 + 3085848410948391283476703454392672146707050/60576990900901223580069\ 441593113374473*c_0101_5^15 - 4528525321623191346868562624504448836\ 382172/60576990900901223580069441593113374473*c_0101_5^13 + 4273115412602511503000613735051336918887813/60576990900901223580069\ 441593113374473*c_0101_5^11 - 2526724937658279470501474301089647743\ 502123/60576990900901223580069441593113374473*c_0101_5^9 + 998455027777025384877571689829318163574418/605769909009012235800694\ 41593113374473*c_0101_5^7 - 243170534691298941068418710242402446286\ 614/60576990900901223580069441593113374473*c_0101_5^5 + 27300924602644272436323792944705761511967/6057699090090122358006944\ 1593113374473*c_0101_5^3 - 653595267220566339002408019830619515170/\ 60576990900901223580069441593113374473*c_0101_5, c_0101_5^28 - 104*c_0101_5^26 - 20*c_0101_5^24 - 3995*c_0101_5^22 + 27782*c_0101_5^20 - 95170*c_0101_5^18 + 214365*c_0101_5^16 - 320030*c_0101_5^14 + 310255*c_0101_5^12 - 191494*c_0101_5^10 + 79790*c_0101_5^8 - 21321*c_0101_5^6 + 3021*c_0101_5^4 - 171*c_0101_5^2 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB