Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 1073863839] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1480 geometric_solution 5.29591809 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 1 0 1 0 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 1 0 0 -1 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.560176986232 0.802049041247 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 1 -1 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 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.980550250094 0.924610130873 3 0 4 1 2310 0132 3201 3012 0 0 0 0 0 1 0 -1 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 -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.980550250094 0.924610130873 3 1 2 3 3201 0132 3201 2310 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 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.246058893553 0.708666823196 2 5 1 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 -1 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 1.441663687202 0.348747548827 4 4 6 6 3201 0132 3201 0132 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368027705271 0.437226408772 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.850669725148 1.482257191252 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], '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_0011_4']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_4'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 59660791843102720133049672311260686414/6282722749103675359604523598\ 11595855*c_0101_6^24 - 391057687256086576805924343419034487264/6282\ 72274910367535960452359811595855*c_0101_6^23 - 1018739988249846644576615334421675924416/62827227491036753596045235\ 9811595855*c_0101_6^22 - 2109924463003616858860184808908493650111/6\ 28272274910367535960452359811595855*c_0101_6^21 - 3113645194522750286611367256386436016346/62827227491036753596045235\ 9811595855*c_0101_6^20 + 1632778364648722190783758973574020821167/6\ 28272274910367535960452359811595855*c_0101_6^19 + 9782019786050123579849463171258086034982/62827227491036753596045235\ 9811595855*c_0101_6^18 + 14835245233470908362369129601625021041671/\ 628272274910367535960452359811595855*c_0101_6^17 + 3313248590883881508827694423721959664193/12565445498207350719209047\ 1962319171*c_0101_6^16 - 24184242731998797312383242436639916869129/\ 628272274910367535960452359811595855*c_0101_6^15 - 75004743906120861219030918790471784509804/6282722749103675359604523\ 59811595855*c_0101_6^14 - 64198673510654276067887947803310652782992\ /628272274910367535960452359811595855*c_0101_6^13 - 6619723861467554103188853752731397122374/62827227491036753596045235\ 9811595855*c_0101_6^12 + 16047226457035138082812810857778743511878/\ 125654454982073507192090471962319171*c_0101_6^11 + 16818694095232926217127478048520485989163/1256544549820735071920904\ 71962319171*c_0101_6^10 - 5950463799398918738720486850869197902596/\ 125654454982073507192090471962319171*c_0101_6^9 - 106858338299381907950116462086281587139588/628272274910367535960452\ 359811595855*c_0101_6^8 - 15444530986907191585515160710145195604661\ /125654454982073507192090471962319171*c_0101_6^7 - 25336872052281299884189777458832528825214/6282722749103675359604523\ 59811595855*c_0101_6^6 - 22600997300027052172436441641072594775592/\ 628272274910367535960452359811595855*c_0101_6^5 - 30604606965209842311552589742068382927211/6282722749103675359604523\ 59811595855*c_0101_6^4 - 21586789468611158839706515626887444511842/\ 628272274910367535960452359811595855*c_0101_6^3 - 10597614266530083701972478500123212201093/6282722749103675359604523\ 59811595855*c_0101_6^2 - 3363639133360840322502115591027836445966/6\ 28272274910367535960452359811595855*c_0101_6 - 400038295689027408241112687816987799717/628272274910367535960452359\ 811595855, c_0011_0 - 1, c_0011_4 - 1884959839440353152910696578896961402/3769633649462205215762\ 71415886957513*c_0101_6^24 - 12190468035782960790582475537739300905\ /376963364946220521576271415886957513*c_0101_6^23 - 31199409014755800480919530258883077512/3769633649462205215762714158\ 86957513*c_0101_6^22 - 64396149562931835451822164323199864601/37696\ 3364946220521576271415886957513*c_0101_6^21 - 93773399109824633768436174644600449568/3769633649462205215762714158\ 86957513*c_0101_6^20 + 57692947490689697172603378454081786261/37696\ 3364946220521576271415886957513*c_0101_6^19 + 301306513237397508657678806476126335725/376963364946220521576271415\ 886957513*c_0101_6^18 + 446309898374517985210783102479005045167/376\ 963364946220521576271415886957513*c_0101_6^17 + 494491415278168502176549695578272776950/376963364946220521576271415\ 886957513*c_0101_6^16 - 794540427841873656844833052980467072840/376\ 963364946220521576271415886957513*c_0101_6^15 - 762285630127508278957222257976055599633/125654454982073507192090471\ 962319171*c_0101_6^14 - 1869053039554320034446140345453461891171/37\ 6963364946220521576271415886957513*c_0101_6^13 - 38767969096310187185229385837783309796/1256544549820735071920904719\ 62319171*c_0101_6^12 + 2507358691083667322361502145062720297030/376\ 963364946220521576271415886957513*c_0101_6^11 + 817588179416224560976761708732873765011/125654454982073507192090471\ 962319171*c_0101_6^10 - 353446896591767042731344654822648005555/125\ 654454982073507192090471962319171*c_0101_6^9 - 3236685153482866525418391879143334901790/37696336494622052157627141\ 5886957513*c_0101_6^8 - 741540666844961045625386014376761647086/125\ 654454982073507192090471962319171*c_0101_6^7 - 699094890163405245377583619318897069768/376963364946220521576271415\ 886957513*c_0101_6^6 - 692756814060971890524195801009649877432/3769\ 63364946220521576271415886957513*c_0101_6^5 - 915465088712588787032971724012893580917/376963364946220521576271415\ 886957513*c_0101_6^4 - 627466833425333086743171249891098866615/3769\ 63364946220521576271415886957513*c_0101_6^3 - 303563576689907939664762302243868207088/376963364946220521576271415\ 886957513*c_0101_6^2 - 92466388133033180430786602229081548020/37696\ 3364946220521576271415886957513*c_0101_6 - 10287964790926835250811194326420603798/3769633649462205215762714158\ 86957513, c_0011_6 + 373057373888289297577445485020240001/37696336494622052157627\ 1415886957513*c_0101_6^24 + 2364031668235783229742334268683193752/3\ 76963364946220521576271415886957513*c_0101_6^23 + 5871695649175480081187540646691459490/37696336494622052157627141588\ 6957513*c_0101_6^22 + 12012377643369317675478782468365516819/376963\ 364946220521576271415886957513*c_0101_6^21 + 17078159243924988535497879987420685892/3769633649462205215762714158\ 86957513*c_0101_6^20 - 13470032635364627526433727755824416959/37696\ 3364946220521576271415886957513*c_0101_6^19 - 57623389124733758495967735890023617308/3769633649462205215762714158\ 86957513*c_0101_6^18 - 80971221098775152071438745376452448772/37696\ 3364946220521576271415886957513*c_0101_6^17 - 88145538235622641828208137313288137871/3769633649462205215762714158\ 86957513*c_0101_6^16 + 167519453810498708306380582359403326005/3769\ 63364946220521576271415886957513*c_0101_6^15 + 143150533601657185534957549165042170001/125654454982073507192090471\ 962319171*c_0101_6^14 + 316029251054161522653944893853536772764/376\ 963364946220521576271415886957513*c_0101_6^13 - 3944642644167679524435951878058669403/12565445498207350719209047196\ 2319171*c_0101_6^12 - 489564222350936050491940830922749166138/37696\ 3364946220521576271415886957513*c_0101_6^11 - 140531057492595102526470810986616399646/125654454982073507192090471\ 962319171*c_0101_6^10 + 86037541752795436922057278074183472794/1256\ 54454982073507192090471962319171*c_0101_6^9 + 599881244867870944413252075607871981321/376963364946220521576271415\ 886957513*c_0101_6^8 + 121706583403577454110508385242299811204/1256\ 54454982073507192090471962319171*c_0101_6^7 + 100030068042323446804766029403089490080/376963364946220521576271415\ 886957513*c_0101_6^6 + 129826873397839286427139463709249408482/3769\ 63364946220521576271415886957513*c_0101_6^5 + 166165812801316274189264946388927996387/376963364946220521576271415\ 886957513*c_0101_6^4 + 104227802544276469884834763365451600339/3769\ 63364946220521576271415886957513*c_0101_6^3 + 48758300623641051627320305580248591411/3769633649462205215762714158\ 86957513*c_0101_6^2 + 13496768635835678843560973953416435607/376963\ 364946220521576271415886957513*c_0101_6 + 1039018322417960086303097806831479461/37696336494622052157627141588\ 6957513, c_0101_0 - 2507334455560954154555056419803430047/3769633649462205215762\ 71415886957513*c_0101_6^24 - 16304554834999809779966494936467179201\ /376963364946220521576271415886957513*c_0101_6^23 - 42072288368031630054287917414916041870/3769633649462205215762714158\ 86957513*c_0101_6^22 - 87094825144789845182346859753055969363/37696\ 3364946220521576271415886957513*c_0101_6^21 - 127654401162708639811880225767774067434/376963364946220521576271415\ 886957513*c_0101_6^20 + 72566841001345771606143350605708233677/3769\ 63364946220521576271415886957513*c_0101_6^19 + 403950316568542620742658111611013584000/376963364946220521576271415\ 886957513*c_0101_6^18 + 608029383672023590777571981225667431336/376\ 963364946220521576271415886957513*c_0101_6^17 + 677637232451582511367576088774681398024/376963364946220521576271415\ 886957513*c_0101_6^16 - 1035559707360211180523194184406463850851/37\ 6963364946220521576271415886957513*c_0101_6^15 - 1027281702942305723393255181126618386677/12565445498207350719209047\ 1962319171*c_0101_6^14 - 2593640893097902604496273221438777962460/3\ 76963364946220521576271415886957513*c_0101_6^13 - 77587852539174150936637727044552521835/1256544549820735071920904719\ 62319171*c_0101_6^12 + 3340774276076776016140464852637475768498/376\ 963364946220521576271415886957513*c_0101_6^11 + 1128064482448764074957430097173534454983/12565445498207350719209047\ 1962319171*c_0101_6^10 - 434092095775593848933421909587941384074/12\ 5654454982073507192090471962319171*c_0101_6^9 - 4371112698206381793879841607007691734010/37696336494622052157627141\ 5886957513*c_0101_6^8 - 1037649495413855662643184098857622518694/12\ 5654454982073507192090471962319171*c_0101_6^7 - 1019526938128988331178711128398070256784/37696336494622052157627141\ 5886957513*c_0101_6^6 - 941201114484191543010046168417182765043/376\ 963364946220521576271415886957513*c_0101_6^5 - 1245724763433978857501201600790357781676/37696336494622052157627141\ 5886957513*c_0101_6^4 - 874616732236368603699774476894882895818/376\ 963364946220521576271415886957513*c_0101_6^3 - 429110956026299804242976367033270058340/376963364946220521576271415\ 886957513*c_0101_6^2 - 133791654771008744970421095499379205713/3769\ 63364946220521576271415886957513*c_0101_6 - 15937339039894898133581444584159118425/3769633649462205215762714158\ 86957513, c_0101_1 - 2306616019284694487430991702727974033/3769633649462205215762\ 71415886957513*c_0101_6^24 - 15116486063272893763333163700550092226\ /376963364946220521576271415886957513*c_0101_6^23 - 39383319662922472798065362574378222275/3769633649462205215762714158\ 86957513*c_0101_6^22 - 81610999703260229267036964604500150544/37696\ 3364946220521576271415886957513*c_0101_6^21 - 120467702965649104925687501300033564492/376963364946220521576271415\ 886957513*c_0101_6^20 + 62902995292957709110332931804241574160/3769\ 63364946220521576271415886957513*c_0101_6^19 + 377666083146802541700670555182522951698/376963364946220521576271415\ 886957513*c_0101_6^18 + 573869652239919010621684880569329403828/376\ 963364946220521576271415886957513*c_0101_6^17 + 641676389108549150917104593700905209025/376963364946220521576271415\ 886957513*c_0101_6^16 - 933546571651272581839264119697345735625/376\ 963364946220521576271415886957513*c_0101_6^15 - 965569795787448126359193162277092621817/125654454982073507192090471\ 962319171*c_0101_6^14 - 2486140370441715550663197003220982156380/37\ 6963364946220521576271415886957513*c_0101_6^13 - 88601887008402405043074460778463355113/1256544549820735071920904719\ 62319171*c_0101_6^12 + 3096308605350871854094259290921791749620/376\ 963364946220521576271415886957513*c_0101_6^11 + 1084237715427771425427535359278569590111/12565445498207350719209047\ 1962319171*c_0101_6^10 - 379140985094719846561376168025137548080/12\ 5654454982073507192090471962319171*c_0101_6^9 - 4122337505093532766583980677858561785966/37696336494622052157627141\ 5886957513*c_0101_6^8 - 998227937215620678963869814840113326091/125\ 654454982073507192090471962319171*c_0101_6^7 - 994354387634097267973423970700991887100/376963364946220521576271415\ 886957513*c_0101_6^6 - 876458830944882930332803095034619759348/3769\ 63364946220521576271415886957513*c_0101_6^5 - 1182326612007812435600181104002654524778/37696336494622052157627141\ 5886957513*c_0101_6^4 - 837592970199436778492820577043604529249/376\ 963364946220521576271415886957513*c_0101_6^3 - 413155702986223628047796379413779052725/376963364946220521576271415\ 886957513*c_0101_6^2 - 130699914619421163026083992855446635240/3769\ 63364946220521576271415886957513*c_0101_6 - 15983528925996850121937530678901946238/3769633649462205215762714158\ 86957513, c_0101_2 + 1136991764193499994697317691864200195/3769633649462205215762\ 71415886957513*c_0101_6^24 + 7359923273238663407423082277602352895/\ 376963364946220521576271415886957513*c_0101_6^23 + 18846932907419907859249934523773209390/3769633649462205215762714158\ 86957513*c_0101_6^22 + 38866620096156749173851046352131725689/37696\ 3364946220521576271415886957513*c_0101_6^21 + 56613260784739835223523486728086711155/3769633649462205215762714158\ 86957513*c_0101_6^20 - 34830643942669766780030967594095033180/37696\ 3364946220521576271415886957513*c_0101_6^19 - 182382101153267984435789544853590690811/376963364946220521576271415\ 886957513*c_0101_6^18 - 269361019383915100687192854279729125063/376\ 963364946220521576271415886957513*c_0101_6^17 - 298117448689777917798397897234978510114/376963364946220521576271415\ 886957513*c_0101_6^16 + 479536255767643415741978346454040430277/376\ 963364946220521576271415886957513*c_0101_6^15 + 461426808788149546797565472900573845294/125654454982073507192090471\ 962319171*c_0101_6^14 + 1126751623570210144520936498851454099744/37\ 6963364946220521576271415886957513*c_0101_6^13 + 21793423648115998485779621258500043856/1256544549820735071920904719\ 62319171*c_0101_6^12 - 1516161139258291477209195827592202402031/376\ 963364946220521576271415886957513*c_0101_6^11 - 494597006380290496769171419067463112930/125654454982073507192090471\ 962319171*c_0101_6^10 + 216107820479488842925087508166379117362/125\ 654454982073507192090471962319171*c_0101_6^9 + 1959805930411323658805088109417445909725/37696336494622052157627141\ 5886957513*c_0101_6^8 + 446197923408346364994850866853185676537/125\ 654454982073507192090471962319171*c_0101_6^7 + 414896474992921210686085932846093380771/376963364946220521576271415\ 886957513*c_0101_6^6 + 417406062691766840938406128314825975721/3769\ 63364946220521576271415886957513*c_0101_6^5 + 554549959164858989602765384223189688320/376963364946220521576271415\ 886957513*c_0101_6^4 + 376429767740422170002669900325540935282/3769\ 63364946220521576271415886957513*c_0101_6^3 + 182033706087142248379301210941136259236/376963364946220521576271415\ 886957513*c_0101_6^2 + 55169595288173309847521570961091073063/37696\ 3364946220521576271415886957513*c_0101_6 + 5937557990782065208137707535254541937/37696336494622052157627141588\ 6957513, c_0101_6^25 + 7*c_0101_6^24 + 20*c_0101_6^23 + 43*c_0101_6^22 + 68*c_0101_6^21 - 4*c_0101_6^20 - 176*c_0101_6^19 - 322*c_0101_6^18 - 389*c_0101_6^17 + 281*c_0101_6^16 + 1437*c_0101_6^15 + 1639*c_0101_6^14 + 594*c_0101_6^13 - 1294*c_0101_6^12 - 2010*c_0101_6^11 - 135*c_0101_6^10 + 2012*c_0101_6^9 + 2097*c_0101_6^8 + 1006*c_0101_6^7 + 569*c_0101_6^6 + 682*c_0101_6^5 + 592*c_0101_6^4 + 340*c_0101_6^3 + 136*c_0101_6^2 + 32*c_0101_6 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB