Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2530675287] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0314 geometric_solution 4.35008984 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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.484371164399 0.054588261769 2 0 2 0 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476989359880 0.175164856360 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 1 0 -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 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.832945996297 3.980738295210 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 1 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 -1 0 1 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.161174507243 0.452534488224 6 5 3 5 0132 3012 0132 1302 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 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.881303372333 0.831220505796 4 6 4 3 1230 2310 2031 0132 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 0 0 -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.881303372333 0.831220505796 4 6 6 5 0132 1230 3012 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 -1 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 1.399502955291 0.566371890659 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_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' : d['c_0101_5'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_0101_0, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 12182446061150619085749866399073672044968808053/8987058695121125774\ 0361548727241847189132527*c_0101_6^23 - 59780915905054050550659141147016384191558710331/8987058695121125774\ 0361548727241847189132527*c_0101_6^22 - 249599354224612726402675883836726024177941623024/898705869512112577\ 40361548727241847189132527*c_0101_6^21 + 1196990894571427002193522785153257606898540754885/89870586951211257\ 740361548727241847189132527*c_0101_6^20 - 1220515272373229119043379015205316211745382525054/89870586951211257\ 740361548727241847189132527*c_0101_6^19 - 7766242624529271142541999086804206525690149937288/89870586951211257\ 740361548727241847189132527*c_0101_6^18 + 18258110066304700243532816117785474042633823367950/8987058695121125\ 7740361548727241847189132527*c_0101_6^17 + 9293662460668952501761037339407801941126863537993/89870586951211257\ 740361548727241847189132527*c_0101_6^16 - 37488917316864271237242127956793337682782105426278/8987058695121125\ 7740361548727241847189132527*c_0101_6^15 + 26207191067316963703733725859849521986510290077050/8987058695121125\ 7740361548727241847189132527*c_0101_6^14 - 18655946267153628715122577317304043155748476139094/8987058695121125\ 7740361548727241847189132527*c_0101_6^13 - 34625296623962527285141887854464726480411329540701/8987058695121125\ 7740361548727241847189132527*c_0101_6^12 + 53811571838611174966658745180896287575037161101140/8987058695121125\ 7740361548727241847189132527*c_0101_6^11 - 13794092667940752721634637523676580255134259165837/8987058695121125\ 7740361548727241847189132527*c_0101_6^10 + 196151149397555437584214330953473564729163164075/108277815603868985\ 2293512635267974062519669*c_0101_6^9 + 13596953237978480072603583828981184212383193195180/8987058695121125\ 7740361548727241847189132527*c_0101_6^8 - 19547883152835012571086038899252994822656396805745/8987058695121125\ 7740361548727241847189132527*c_0101_6^7 + 5458922192286115287443873362346916101653305342816/89870586951211257\ 740361548727241847189132527*c_0101_6^6 - 711501493029871102155320563834216189135461136575/691312207317009674\ 9258580671326295937625579*c_0101_6^5 + 126131848311958027291056305401645119054591433831/898705869512112577\ 40361548727241847189132527*c_0101_6^4 - 642493511352988951047750142065013529150385836708/898705869512112577\ 40361548727241847189132527*c_0101_6^3 - 56052719431165425113675641258881306566212004443/8987058695121125774\ 0361548727241847189132527*c_0101_6^2 + 193114181321958117409231610441085286915092983779/898705869512112577\ 40361548727241847189132527*c_0101_6 + 75006141214564153397628983276930458388893550929/8987058695121125774\ 0361548727241847189132527, c_0011_0 - 1, c_0011_1 + 213247040206480809641030459102692985715490/89870586951211257\ 740361548727241847189132527*c_0101_6^23 + 2218475483853358096221570300519398029132986/89870586951211257740361\ 548727241847189132527*c_0101_6^22 - 19742469848711213536779546996172075446196969/8987058695121125774036\ 1548727241847189132527*c_0101_6^21 - 50051440754012138986499672914549588637553936/8987058695121125774036\ 1548727241847189132527*c_0101_6^20 + 290343512043533480359936311085073301962683814/898705869512112577403\ 61548727241847189132527*c_0101_6^19 - 378414971006044672142737497926299192773712725/898705869512112577403\ 61548727241847189132527*c_0101_6^18 - 1910373733009730453653371650371045370487713159/89870586951211257740\ 361548727241847189132527*c_0101_6^17 + 4698354662960697892030833900159565423348995682/89870586951211257740\ 361548727241847189132527*c_0101_6^16 + 3438131855994721901581653169111138333660481476/89870586951211257740\ 361548727241847189132527*c_0101_6^15 - 10242174728243960856748810432849854746920434364/8987058695121125774\ 0361548727241847189132527*c_0101_6^14 + 3406390886597874270639551095505459984639766573/89870586951211257740\ 361548727241847189132527*c_0101_6^13 - 1635882947185501062992448862200284873052081024/89870586951211257740\ 361548727241847189132527*c_0101_6^12 - 10051168763292852092817597397605492297595932340/8987058695121125774\ 0361548727241847189132527*c_0101_6^11 + 12806856067582877911222306768206316812202298879/8987058695121125774\ 0361548727241847189132527*c_0101_6^10 + 30083465006181655263195972121750232464034954/1082778156038689852293\ 512635267974062519669*c_0101_6^9 + 1069116321791611684004176531070036389238890457/89870586951211257740\ 361548727241847189132527*c_0101_6^8 + 3343450919305765085711647662521036449518824852/89870586951211257740\ 361548727241847189132527*c_0101_6^7 - 4961973295323924831068069157221970272062582706/89870586951211257740\ 361548727241847189132527*c_0101_6^6 - 73670352050591067274506308414151936381748610/6913122073170096749258\ 580671326295937625579*c_0101_6^5 - 1325880868010353680452239660703391621692770052/89870586951211257740\ 361548727241847189132527*c_0101_6^4 - 82897429334071948803372254113000648784302696/8987058695121125774036\ 1548727241847189132527*c_0101_6^3 + 174683584162676897462397824045033996149229419/898705869512112577403\ 61548727241847189132527*c_0101_6^2 + 35837370708047807672074872553593848033688482/8987058695121125774036\ 1548727241847189132527*c_0101_6 + 568162448331187174888093810138970\ 51594102335/89870586951211257740361548727241847189132527, c_0011_4 + 1061846154968724767167322674431296578587883/8987058695121125\ 7740361548727241847189132527*c_0101_6^23 - 3963178450446033006603010592751434715360500/89870586951211257740361\ 548727241847189132527*c_0101_6^22 - 27669484923997947005699184832693521527644148/8987058695121125774036\ 1548727241847189132527*c_0101_6^21 + 77157139482603359623834960451753649720842949/8987058695121125774036\ 1548727241847189132527*c_0101_6^20 + 14943586581666661824179837973866567717689561/8987058695121125774036\ 1548727241847189132527*c_0101_6^19 - 769456659005131383102272384870126266343280627/898705869512112577403\ 61548727241847189132527*c_0101_6^18 + 714285793246442300915173179719924412079166120/898705869512112577403\ 61548727241847189132527*c_0101_6^17 + 2612038693815836231666664275848509738837234401/89870586951211257740\ 361548727241847189132527*c_0101_6^16 - 1613040717846699416044410698920408401986680086/89870586951211257740\ 361548727241847189132527*c_0101_6^15 - 2363998755268644279987559666664229723889921827/89870586951211257740\ 361548727241847189132527*c_0101_6^14 - 21098566265731044775379296148719911803399786/8987058695121125774036\ 1548727241847189132527*c_0101_6^13 - 2261717589310156114452368738612480320669236728/89870586951211257740\ 361548727241847189132527*c_0101_6^12 - 702699742618033305841108751665841895929193917/898705869512112577403\ 61548727241847189132527*c_0101_6^11 + 3984890216825951082487126478871288042846893643/89870586951211257740\ 361548727241847189132527*c_0101_6^10 + 39446095771499993019318403382568003564557730/1082778156038689852293\ 512635267974062519669*c_0101_6^9 - 291357801931996335183261218766245521901849843/898705869512112577403\ 61548727241847189132527*c_0101_6^8 + 124082614955061700762332082425670206248739265/898705869512112577403\ 61548727241847189132527*c_0101_6^7 - 780620757671084459566792220009826978135456675/898705869512112577403\ 61548727241847189132527*c_0101_6^6 - 112846099812208347927983869721985862441488638/691312207317009674925\ 8580671326295937625579*c_0101_6^5 - 136323144217321038175831403312791401989256928/898705869512112577403\ 61548727241847189132527*c_0101_6^4 - 156973693808150403854018668255844139360505496/898705869512112577403\ 61548727241847189132527*c_0101_6^3 - 32234266711540425314126300907981420745907181/8987058695121125774036\ 1548727241847189132527*c_0101_6^2 + 18946024937570099066413094340835564949233418/8987058695121125774036\ 1548727241847189132527*c_0101_6 - 175961047855232853676813378730970\ 61641897739/89870586951211257740361548727241847189132527, c_0101_0 + 2495735708921034887559023398605805225595043/8987058695121125\ 7740361548727241847189132527*c_0101_6^23 - 11520457664210283715380911852924161734495711/8987058695121125774036\ 1548727241847189132527*c_0101_6^22 - 56504338704887937643221488980390810016738831/8987058695121125774036\ 1548727241847189132527*c_0101_6^21 + 239874713939386649777520590481398106764685391/898705869512112577403\ 61548727241847189132527*c_0101_6^20 - 144401013579819898857530336123036643420368796/898705869512112577403\ 61548727241847189132527*c_0101_6^19 - 1858116471951368963639299462225040272303125468/89870586951211257740\ 361548727241847189132527*c_0101_6^18 + 3513033920735673535863363016556386964019484574/89870586951211257740\ 361548727241847189132527*c_0101_6^17 + 4137217701562399940792801612757083667713910622/89870586951211257740\ 361548727241847189132527*c_0101_6^16 - 10327839854635731128107950112117183223781862447/8987058695121125774\ 0361548727241847189132527*c_0101_6^15 + 2383577349641602998589659411570179585102335292/89870586951211257740\ 361548727241847189132527*c_0101_6^14 + 4778583253802176278946332870131435439101369340/89870586951211257740\ 361548727241847189132527*c_0101_6^13 - 13696995173663653236546846688027183277233818231/8987058695121125774\ 0361548727241847189132527*c_0101_6^12 + 10970130636201436810518114457873226497772283170/8987058695121125774\ 0361548727241847189132527*c_0101_6^11 + 5614413100170839606860572740243141818390544817/89870586951211257740\ 361548727241847189132527*c_0101_6^10 - 92972458370977823829846954432378550819527437/1082778156038689852293\ 512635267974062519669*c_0101_6^9 + 7184904661100169642391712444944997535519491935/89870586951211257740\ 361548727241847189132527*c_0101_6^8 - 3553380227330085929947942252835506386137959178/89870586951211257740\ 361548727241847189132527*c_0101_6^7 - 1207813909206249479919761659898812191127546382/89870586951211257740\ 361548727241847189132527*c_0101_6^6 + 163770317524359429674723069697303475809397425/691312207317009674925\ 8580671326295937625579*c_0101_6^5 - 2278367883180681338735319587385345008701061729/89870586951211257740\ 361548727241847189132527*c_0101_6^4 + 528833016009596998802436941677323507355534830/898705869512112577403\ 61548727241847189132527*c_0101_6^3 - 521359508770074697668302151478712675147166593/898705869512112577403\ 61548727241847189132527*c_0101_6^2 - 29417872370709262349709158003350163416706888/8987058695121125774036\ 1548727241847189132527*c_0101_6 + 411383593996778459484815828572011\ 10853046258/89870586951211257740361548727241847189132527, c_0101_4 + 2464107072008531419012941196527931699775321/8987058695121125\ 7740361548727241847189132527*c_0101_6^23 - 13951782968472822260777470568924478897098829/8987058695121125774036\ 1548727241847189132527*c_0101_6^22 - 42219981540205664978321535854785485041438257/8987058695121125774036\ 1548727241847189132527*c_0101_6^21 + 285336415156846677600766554065914481160035472/898705869512112577403\ 61548727241847189132527*c_0101_6^20 - 416485858341870701948604338356906134600481791/898705869512112577403\ 61548727241847189132527*c_0101_6^19 - 1486817150904267073894381069042478718437932026/89870586951211257740\ 361548727241847189132527*c_0101_6^18 + 5057294467776036321859425432788831252491342080/89870586951211257740\ 361548727241847189132527*c_0101_6^17 - 457643852048941590907366612368484119002483242/898705869512112577403\ 61548727241847189132527*c_0101_6^16 - 10875237314805708032704109372610888823626136657/8987058695121125774\ 0361548727241847189132527*c_0101_6^15 + 11846072613257591359122565133534563369682347224/8987058695121125774\ 0361548727241847189132527*c_0101_6^14 - 4500294533549750596920107046886230264802217329/89870586951211257740\ 361548727241847189132527*c_0101_6^13 - 9436212448185957534010208002754746259760102073/89870586951211257740\ 361548727241847189132527*c_0101_6^12 + 19843383539460903697985985480472868396099913695/8987058695121125774\ 0361548727241847189132527*c_0101_6^11 - 9060891055880311642518238014716885116036371616/89870586951211257740\ 361548727241847189132527*c_0101_6^10 - 23295499486445675560642731122834621223074018/1082778156038689852293\ 512635267974062519669*c_0101_6^9 + 6059168582279810361078604385760375916404870154/89870586951211257740\ 361548727241847189132527*c_0101_6^8 - 7575985827829434657056789471526444862961802618/89870586951211257740\ 361548727241847189132527*c_0101_6^7 + 2661576375081466085881463409991658019501452384/89870586951211257740\ 361548727241847189132527*c_0101_6^6 + 7624109026076114144603607157749986559462574/69131220731700967492585\ 80671326295937625579*c_0101_6^5 - 400543855328389746107743667142741\ 745022973991/89870586951211257740361548727241847189132527*c_0101_6^\ 4 + 482295110092167914138512415922725508735021796/89870586951211257\ 740361548727241847189132527*c_0101_6^3 - 223687523249343479801872325973653003497598923/898705869512112577403\ 61548727241847189132527*c_0101_6^2 + 35129010866348416485515520208190658327370653/8987058695121125774036\ 1548727241847189132527*c_0101_6 + 222131128574002400088519881116770\ 11156449191/89870586951211257740361548727241847189132527, c_0101_5 + 1171727744246443083978482748290080651209911/8987058695121125\ 7740361548727241847189132527*c_0101_6^23 - 1846218816779593200351451812842261632860367/89870586951211257740361\ 548727241847189132527*c_0101_6^22 - 42248752137323447105162569677445218313563012/8987058695121125774036\ 1548727241847189132527*c_0101_6^21 + 29548518143604734854416083763720588311635836/8987058695121125774036\ 1548727241847189132527*c_0101_6^20 + 252801561111386070153833444705788139340333144/898705869512112577403\ 61548727241847189132527*c_0101_6^19 - 1024253906618823363356540340572787454243887602/89870586951211257740\ 361548727241847189132527*c_0101_6^18 - 933836606547545139064727125328057552523515423/898705869512112577403\ 61548727241847189132527*c_0101_6^17 + 6250624297636098609417479359450218062367958612/89870586951211257740\ 361548727241847189132527*c_0101_6^16 + 1518728008558683471224362948025497150761382175/89870586951211257740\ 361548727241847189132527*c_0101_6^15 - 10438142696980990979320903609416526906177882056/8987058695121125774\ 0361548727241847189132527*c_0101_6^14 + 2396632803520481184817330128550411729840545091/89870586951211257740\ 361548727241847189132527*c_0101_6^13 - 3205205927041426067132093761973778391083478358/89870586951211257740\ 361548727241847189132527*c_0101_6^12 - 8773486906676318067213906019349536546032801395/89870586951211257740\ 361548727241847189132527*c_0101_6^11 + 12869259653253285155888525277850676378371981142/8987058695121125774\ 0361548727241847189132527*c_0101_6^10 + 64676856114327864087688154721899212186012081/1082778156038689852293\ 512635267974062519669*c_0101_6^9 + 907711965511779372222792018248265010984474406/898705869512112577403\ 61548727241847189132527*c_0101_6^8 + 2645372017905996618502170360890240457538377301/89870586951211257740\ 361548727241847189132527*c_0101_6^7 - 3951251844455810457750407018458146796523458664/89870586951211257740\ 361548727241847189132527*c_0101_6^6 - 136694605314035851776536318158372727021929205/691312207317009674925\ 8580671326295937625579*c_0101_6^5 - 1087271196936569942211842200297458932953846240/89870586951211257740\ 361548727241847189132527*c_0101_6^4 - 624027826722269775591929231472516256523419667/898705869512112577403\ 61548727241847189132527*c_0101_6^3 - 10350449097205808371029959730821798125678749/8987058695121125774036\ 1548727241847189132527*c_0101_6^2 + 52720140381171623439610525505856637988607254/8987058695121125774036\ 1548727241847189132527*c_0101_6 + 197560161271466590050448038990003\ 80262543927/89870586951211257740361548727241847189132527, c_0101_6^24 - 5*c_0101_6^23 - 20*c_0101_6^22 + 100*c_0101_6^21 - 110*c_0101_6^20 - 625*c_0101_6^19 + 1555*c_0101_6^18 + 602*c_0101_6^17 - 3100*c_0101_6^16 + 2469*c_0101_6^15 - 1839*c_0101_6^14 - 2638*c_0101_6^13 + 4653*c_0101_6^12 - 1658*c_0101_6^11 + 1594*c_0101_6^10 + 976*c_0101_6^9 - 1695*c_0101_6^8 + 655*c_0101_6^7 - 864*c_0101_6^6 + 90*c_0101_6^5 - 68*c_0101_6^4 - 8*c_0101_6^3 + 21*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB