Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 2699115642] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0927 geometric_solution 4.82613985 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558096902909 0.106642773400 2 0 3 0 0132 2310 0132 0132 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 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.578131377855 0.481401228898 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 -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 -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.507718628270 1.322147098980 2 2 4 1 3201 1230 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507718628270 1.322147098980 3 2 5 5 2310 0132 3201 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 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.029847255408 1.158741170315 4 6 4 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -0.092102342029 1.393487254263 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425389792657 0.112796306226 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['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_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0110_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0110_0']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_1, c_0110_0, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 3*c_0110_6 - 5, c_0011_0 - 1, c_0011_1 + c_0110_6, c_0011_3 - c_0110_6, c_0011_5 + 1, c_0101_1 - 1, c_0110_0 - c_0110_6, c_0110_6^2 - c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_1, c_0110_0, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 206330142816041534796526595832841270416984/237860356219382048128246\ 7358771219094865*c_0110_6^18 - 181933655414826622492345887838398927\ 9326582/2378603562193820481282467358771219094865*c_0110_6^17 + 6320930797665968497967817905734991320766083/23786035621938204812824\ 67358771219094865*c_0110_6^16 + 44908853193899479746461781506505330\ 889338874/2378603562193820481282467358771219094865*c_0110_6^15 - 86751316558004154665846549735740867203915479/2378603562193820481282\ 467358771219094865*c_0110_6^14 - 1624541163881949176028270071262605\ 21465356433/2378603562193820481282467358771219094865*c_0110_6^13 + 40671782932375912642897838975575940653704894/2378603562193820481282\ 467358771219094865*c_0110_6^12 - 3402120364102074460089551172118105\ 22335461347/2378603562193820481282467358771219094865*c_0110_6^11 + 236621734995421865642430357377019492269853707/475720712438764096256\ 493471754243818973*c_0110_6^10 + 2197472403377266896323563080727142\ 472697962157/2378603562193820481282467358771219094865*c_0110_6^9 + 44344021822930663077574823127984809063862153/4757207124387640962564\ 93471754243818973*c_0110_6^8 + 132735617163878623124824625590000358\ 636281731/475720712438764096256493471754243818973*c_0110_6^7 - 1893656932813657560114680972143060331898209471/23786035621938204812\ 82467358771219094865*c_0110_6^6 - 583063546869939598207593939738393\ 30839949178/475720712438764096256493471754243818973*c_0110_6^5 + 336736224126210071934914655509194892113984744/237860356219382048128\ 2467358771219094865*c_0110_6^4 - 9183711988608038140939186513855729\ 884255528/475720712438764096256493471754243818973*c_0110_6^3 - 9146079295782754250679673685593431958364217/23786035621938204812824\ 67358771219094865*c_0110_6^2 - 691566972258719561552890109008356118\ 216967/475720712438764096256493471754243818973*c_0110_6 + 1678547873146893961918847035735765082776554/23786035621938204812824\ 67358771219094865, c_0011_0 - 1, c_0011_1 - 11306216483015371175094261879814360423/820208124894420855614\ 64391681766175685*c_0110_6^18 - 10195829665108524877365764999085169\ 8544/82020812489442085561464391681766175685*c_0110_6^17 + 326199769300577025384656775548297799546/820208124894420855614643916\ 81766175685*c_0110_6^16 + 2528445034864509985650693944051517869468/\ 82020812489442085561464391681766175685*c_0110_6^15 - 4255101988185177243341432801026803393888/82020812489442085561464391\ 681766175685*c_0110_6^14 - 9809824172544743432417310982792607569536\ /82020812489442085561464391681766175685*c_0110_6^13 + 371871380966093573732607424158113534098/820208124894420855614643916\ 81766175685*c_0110_6^12 - 18366186159962339322101189596256526167784\ /82020812489442085561464391681766175685*c_0110_6^11 + 12219777261202442335124531179756211623527/1640416249788841711229287\ 8336353235137*c_0110_6^10 + 133061197417991899761514798448148648527\ 619/82020812489442085561464391681766175685*c_0110_6^9 + 7467027887903070875919439432619088456500/16404162497888417112292878\ 336353235137*c_0110_6^8 + 8223109341415832236761957938413097279551/\ 16404162497888417112292878336353235137*c_0110_6^7 - 95740593166392029206202944012153707765342/8202081248944208556146439\ 1681766175685*c_0110_6^6 - 7161503787925791017499552057603252228385\ /16404162497888417112292878336353235137*c_0110_6^5 + 13665304372603054598646763490231257623713/8202081248944208556146439\ 1681766175685*c_0110_6^4 + 150955452885619649341537519713009060423/\ 16404162497888417112292878336353235137*c_0110_6^3 - 893039843641040343667663708903463054064/820208124894420855614643916\ 81766175685*c_0110_6^2 - 71509981879549931280597884567692427303/164\ 04162497888417112292878336353235137*c_0110_6 + 66904871724482880122145579519177422923/8202081248944208556146439168\ 1766175685, c_0011_3 - 6653135348802789184132984015684421741/8202081248944208556146\ 4391681766175685*c_0110_6^18 - 614393419646525094524699986285004739\ 53/82020812489442085561464391681766175685*c_0110_6^17 + 178795251211658386544942893438655731142/820208124894420855614643916\ 81766175685*c_0110_6^16 + 1527948597922533385025654682994194148106/\ 82020812489442085561464391681766175685*c_0110_6^15 - 2178274883331702061833293722682181375671/82020812489442085561464391\ 681766175685*c_0110_6^14 - 6276779496411987034726598379533089714857\ /82020812489442085561464391681766175685*c_0110_6^13 - 1059103914899862483593628691930907016884/82020812489442085561464391\ 681766175685*c_0110_6^12 - 1095269604189923378349062128824729655070\ 8/82020812489442085561464391681766175685*c_0110_6^11 + 6702318079198012822116678717475312030874/16404162497888417112292878\ 336353235137*c_0110_6^10 + 8585264109798079567389364688974177474496\ 8/82020812489442085561464391681766175685*c_0110_6^9 + 7908806098879272393959790812829195393941/16404162497888417112292878\ 336353235137*c_0110_6^8 + 6316297764021128673969063954543218452151/\ 16404162497888417112292878336353235137*c_0110_6^7 - 49135209228855438175838861602448442235414/8202081248944208556146439\ 1681766175685*c_0110_6^6 - 6479374726301765406145497757418734473351\ /16404162497888417112292878336353235137*c_0110_6^5 + 2541871972492571303090492330562700576341/82020812489442085561464391\ 681766175685*c_0110_6^4 + 67899010737385086235054965945106993458/16\ 404162497888417112292878336353235137*c_0110_6^3 - 638777208041349180295464875198038874913/820208124894420855614643916\ 81766175685*c_0110_6^2 - 26582668553897226272043731085828962698/164\ 04162497888417112292878336353235137*c_0110_6 + 10705296057650177725867496653644640396/8202081248944208556146439168\ 1766175685, c_0011_5 - 4336017216948468308464649781597781698/8202081248944208556146\ 4391681766175685*c_0110_6^18 - 401916438817273582818354290436576554\ 39/82020812489442085561464391681766175685*c_0110_6^17 + 115187495737811061547044296215553720986/820208124894420855614643916\ 81766175685*c_0110_6^16 + 1000247410557644377993520906513711903283/\ 82020812489442085561464391681766175685*c_0110_6^15 - 1386761414192596259191402636553235796043/82020812489442085561464391\ 681766175685*c_0110_6^14 - 4150228274305987994619197278030873877166\ /82020812489442085561464391681766175685*c_0110_6^13 - 808657494644536962439659453712595269037/820208124894420855614643916\ 81766175685*c_0110_6^12 - 7122341491292853155358798481855107477334/\ 82020812489442085561464391681766175685*c_0110_6^11 + 4313358302622036994188996504200212027342/16404162497888417112292878\ 336353235137*c_0110_6^10 + 5676322778946804054573677073615138927526\ 9/82020812489442085561464391681766175685*c_0110_6^9 + 5482194217379797254950540607271292042874/16404162497888417112292878\ 336353235137*c_0110_6^8 + 4194671811219896269173391946038543944708/\ 16404162497888417112292878336353235137*c_0110_6^7 - 31109585635221442541285185916375408525642/8202081248944208556146439\ 1681766175685*c_0110_6^6 - 4402490613894881639137876530907008401484\ /16404162497888417112292878336353235137*c_0110_6^5 + 1584148767606540352785730379369451179518/82020812489442085561464391\ 681766175685*c_0110_6^4 + 84126362863926587917420319743333157457/16\ 404162497888417112292878336353235137*c_0110_6^3 - 697878701458024512142829083037993306534/820208124894420855614643916\ 81766175685*c_0110_6^2 - 22689003554346562591652051120297290486/164\ 04162497888417112292878336353235137*c_0110_6 - 8062970981500658511576057862122602287/82020812489442085561464391681\ 766175685, c_0101_1 - 2553527533605566069307858680171129122/8202081248944208556146\ 4391681766175685*c_0110_6^18 - 217399097476898206893266254822687881\ 56/82020812489442085561464391681766175685*c_0110_6^17 + 85462803173482361353946460873562429684/8202081248944208556146439168\ 1766175685*c_0110_6^16 + 535487828035356973539742794974804851617/82\ 020812489442085561464391681766175685*c_0110_6^15 - 1254423565641751945791453329363471996877/82020812489442085561464391\ 681766175685*c_0110_6^14 - 1769982773266523916244487391367274976584\ /82020812489442085561464391681766175685*c_0110_6^13 + 1275881690031240925219329213225065816727/82020812489442085561464391\ 681766175685*c_0110_6^12 - 4050631021078053254199527744020444976221\ /82020812489442085561464391681766175685*c_0110_6^11 + 3171814656700839012379489078009834141442/16404162497888417112292878\ 336353235137*c_0110_6^10 + 2340518491680755938611140997092791878471\ 6/82020812489442085561464391681766175685*c_0110_6^9 - 1552266848344102205030241054702038018283/16404162497888417112292878\ 336353235137*c_0110_6^8 + 629341096207769340486147032990999039980/1\ 6404162497888417112292878336353235137*c_0110_6^7 - 26570963036825994219043785231420914305343/8202081248944208556146439\ 1681766175685*c_0110_6^6 + 409207618793439682971015323166416933475/\ 16404162497888417112292878336353235137*c_0110_6^5 + 8895428881373770810622451065073640265847/82020812489442085561464391\ 681766175685*c_0110_6^4 - 268195499458139820139053082008181122787/1\ 6404162497888417112292878336353235137*c_0110_6^3 - 411535689030246666452835530179680139551/820208124894420855614643916\ 81766175685*c_0110_6^2 + 14126268159428521847769520412480382886/164\ 04162497888417112292878336353235137*c_0110_6 + 39512731183211544474924848395502185057/8202081248944208556146439168\ 1766175685, c_0110_0 - 8704706379696235995628497854051270769/8202081248944208556146\ 4391681766175685*c_0110_6^18 - 787719392090208998225842277967538010\ 37/82020812489442085561464391681766175685*c_0110_6^17 + 248422217645703179884435654466791644423/820208124894420855614643916\ 81766175685*c_0110_6^16 + 1952382078349226167841516295441244765259/\ 82020812489442085561464391681766175685*c_0110_6^15 - 3206813042490022226425281036942438480994/82020812489442085561464391\ 681766175685*c_0110_6^14 - 7602627247681174945344869612496417426968\ /82020812489442085561464391681766175685*c_0110_6^13 - 63176831693974174061027309543878956521/8202081248944208556146439168\ 1766175685*c_0110_6^12 - 14301304296881321398297326027840442143537/\ 82020812489442085561464391681766175685*c_0110_6^11 + 9328742213127119370829344278593636166323/16404162497888417112292878\ 336353235137*c_0110_6^10 + 1034774718646403838326699070502241555555\ 02/82020812489442085561464391681766175685*c_0110_6^9 + 6696274633132861325542385741452602018666/16404162497888417112292878\ 336353235137*c_0110_6^8 + 6987501347926373267736077274544578864438/\ 16404162497888417112292878336353235137*c_0110_6^7 - 72489632830905304507549184104674017537816/8202081248944208556146439\ 1681766175685*c_0110_6^6 - 5749952523978537383311411450468217080391\ /16404162497888417112292878336353235137*c_0110_6^5 + 7211910969307370195038861447292351081159/82020812489442085561464391\ 681766175685*c_0110_6^4 + 171881463212335253812980625935888742736/1\ 6404162497888417112292878336353235137*c_0110_6^3 - 570505112722244399789485670025121812847/820208124894420855614643916\ 81766175685*c_0110_6^2 - 57149924555788340003741230260759134220/164\ 04162497888417112292878336353235137*c_0110_6 + 94347993543561518938824637030594879614/8202081248944208556146439168\ 1766175685, c_0110_6^19 + 9*c_0110_6^18 - 29*c_0110_6^17 - 223*c_0110_6^16 + 380*c_0110_6^15 + 858*c_0110_6^14 - 44*c_0110_6^13 + 1637*c_0110_6^12 - 5432*c_0110_6^11 - 11653*c_0110_6^10 - 3158*c_0110_6^9 - 3740*c_0110_6^8 + 8474*c_0110_6^7 + 2984*c_0110_6^6 - 1151*c_0110_6^5 + 34*c_0110_6^4 + 63*c_0110_6^3 + 18*c_0110_6^2 - 6*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB