Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 694728166] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0380 geometric_solution 4.43992138 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2310 0132 3201 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 -1 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.908827670463 0.044858356291 2 0 2 0 0132 0132 1023 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 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.895756357921 0.064758443613 1 3 1 3 0132 0132 1023 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871821023922 0.131675527477 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 1 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 -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.919595786298 0.344695576161 3 5 5 6 0132 0213 3012 0132 0 0 0 0 0 -1 1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775772597038 0.810301512964 6 4 4 3 1023 1230 0213 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 1 -1 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.775772597038 0.810301512964 6 5 4 6 3201 1023 0132 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 -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.317213239601 1.146328970436 ==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' : negation(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' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(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' : d['c_0011_0'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], '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_0'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_2']})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 17237150848826148705169356129746511221/3341094613067210329383074713\ 049702912*c_0101_4^25 + 36855706940401597737043769383883135863/3341\ 094613067210329383074713049702912*c_0101_4^24 - 136535373187280337394559601588649107775/167054730653360516469153735\ 6524851456*c_0101_4^23 - 130789264996833469576181014107880803363/83\ 5273653266802582345768678262425728*c_0101_4^22 + 1640027146412583688199581898578631122601/33410946130672103293830747\ 13049702912*c_0101_4^21 + 409589783856205206396493982141561399305/4\ 17636826633401291172884339131212864*c_0101_4^20 - 5597447559093001232468957574771843656693/33410946130672103293830747\ 13049702912*c_0101_4^19 - 11685062088242878084132115852444768639353\ /3341094613067210329383074713049702912*c_0101_4^18 + 6390576856371897111310615779085616200303/16705473065336051646915373\ 56524851456*c_0101_4^17 + 25047097728010422684315269392289460564845\ /3341094613067210329383074713049702912*c_0101_4^16 - 22479315030894573745968872507093884717451/3341094613067210329383074\ 713049702912*c_0101_4^15 - 1007391143331692015404385799196054814987\ /115210159071283114806312921139644928*c_0101_4^14 + 18920550915788565155950336069289144007835/1670547306533605164691537\ 356524851456*c_0101_4^13 + 8369049254295574102820146599111166850449\ /3341094613067210329383074713049702912*c_0101_4^12 - 15614658783107738095616450568050857173537/8352736532668025823457686\ 78262425728*c_0101_4^11 + 11637040357203800611441609537200063942597\ /1670547306533605164691537356524851456*c_0101_4^10 + 2308758374185295578137134543298444214223/10777724558281323643171208\ 7517732352*c_0101_4^9 - 41375993490900275939027409257201215584597/3\ 341094613067210329383074713049702912*c_0101_4^8 - 31967139462621157154968437992039336872473/3341094613067210329383074\ 713049702912*c_0101_4^7 + 27914401269019429403765203660912103870495\ /1670547306533605164691537356524851456*c_0101_4^6 - 17666777137808857152733103287069296100599/3341094613067210329383074\ 713049702912*c_0101_4^5 - 65512882431642041514459669734637551277199\ /3341094613067210329383074713049702912*c_0101_4^4 + 5627499402765786120312256537968265161545/83527365326680258234576867\ 8262425728*c_0101_4^3 + 42781921247648699264556132261970634673717/3\ 341094613067210329383074713049702912*c_0101_4^2 - 187761957384451895222277272111183581923/104409206658350322793221084\ 782803216*c_0101_4 - 325536680906643885129957037768789476617/104409\ 206658350322793221084782803216, c_0011_0 - 1, c_0011_5 - 16549296270987748118258912140737/382533731291369717130335870\ 9714773*c_0101_4^25 - 156124564080564194354577479048329/15301349251\ 654788685213434838859092*c_0101_4^24 + 1099218309686737579110347140229329/15301349251654788685213434838859\ 092*c_0101_4^23 + 1182632709682152304449710088943081/76506746258273\ 94342606717419429546*c_0101_4^22 - 1792407714155393737705286523653278/38253373129136971713033587097147\ 73*c_0101_4^21 - 15492882384073692183309876880827729/15301349251654\ 788685213434838859092*c_0101_4^20 + 6655167869398720752092415890909878/38253373129136971713033587097147\ 73*c_0101_4^19 + 58065896626091076888360158053826401/15301349251654\ 788685213434838859092*c_0101_4^18 - 66778163892108788859848824800119347/1530134925165478868521343483885\ 9092*c_0101_4^17 - 3891264008660927107366460610938773/4500396838721\ 99667212159848201738*c_0101_4^16 + 130205438956058000990546945099329503/153013492516547886852134348388\ 59092*c_0101_4^15 + 9848755748924166717096861359730939/900079367744\ 399334424319696403476*c_0101_4^14 - 229887552642884922601825279704844121/153013492516547886852134348388\ 59092*c_0101_4^13 - 27302483190000737433038823476396859/76506746258\ 27394342606717419429546*c_0101_4^12 + 370045339918470927762358740702262919/153013492516547886852134348388\ 59092*c_0101_4^11 - 40012348162071812145680872863600925/38253373129\ 13697171303358709714773*c_0101_4^10 - 6754018807862897622071066916546127/24679595567185143040666830385256\ 6*c_0101_4^9 + 297695195812475918088270250955530659/153013492516547\ 88685213434838859092*c_0101_4^8 + 182340029010252475023994518218229\ 465/15301349251654788685213434838859092*c_0101_4^7 - 355760616364917414558038706828317507/153013492516547886852134348388\ 59092*c_0101_4^6 + 73088862927247847383655378613750933/765067462582\ 7394342606717419429546*c_0101_4^5 + 360830034106410199069870004511029987/153013492516547886852134348388\ 59092*c_0101_4^4 - 187654432897568807256182540074645365/15301349251\ 654788685213434838859092*c_0101_4^3 - 54493185547672552759475469543674520/3825337312913697171303358709714\ 773*c_0101_4^2 + 65974236005841548072410902525395679/15301349251654\ 788685213434838859092*c_0101_4 + 1278184160309457087267756353847527\ 4/3825337312913697171303358709714773, c_0101_0 - 48693587366144994701329131232394299/244821588026476618963414\ 957421745472*c_0101_4^25 - 104720594007719879814231186369324145/244\ 821588026476618963414957421745472*c_0101_4^24 + 387363374307760574027142268758365309/122410794013238309481707478710\ 872736*c_0101_4^23 + 374777426228575981427632318502649257/612053970\ 06619154740853739355436368*c_0101_4^22 - 4679651497155225810828907712575835943/24482158802647661896341495742\ 1745472*c_0101_4^21 - 591868132384267369506400119642078407/15301349\ 251654788685213434838859092*c_0101_4^20 + 16027248257862365738352950504220621531/2448215880264766189634149574\ 21745472*c_0101_4^19 + 34089868198177363522429898397094359311/24482\ 1588026476618963414957421745472*c_0101_4^18 - 18309485779642420189341126598851223701/1224107940132383094817074787\ 10872736*c_0101_4^17 - 4354397990533766674200143255719096451/144012\ 69883910389350789115142455616*c_0101_4^16 + 64363058447026977935175366993796703789/2448215880264766189634149574\ 21745472*c_0101_4^15 + 5214037526421798040697344768135777161/144012\ 69883910389350789115142455616*c_0101_4^14 - 54443440314231925061873521386602118433/1224107940132383094817074787\ 10872736*c_0101_4^13 - 30216257962260499323372416011038650383/24482\ 1588026476618963414957421745472*c_0101_4^12 + 45699265934541540162711734282012106225/6120539700661915474085373935\ 5436368*c_0101_4^11 - 31161564217566686090052998581704235627/122410\ 794013238309481707478710872736*c_0101_4^10 - 6951648970119191435647969616758546065/78974705814992457730133857232\ 82112*c_0101_4^9 + 117072016091127997347227965150534102627/24482158\ 8026476618963414957421745472*c_0101_4^8 + 103981131480201941845206780492963770959/244821588026476618963414957\ 421745472*c_0101_4^7 - 81391678754599104947767661482447569253/12241\ 0794013238309481707478710872736*c_0101_4^6 + 45129925723027363858985819591473245801/2448215880264766189634149574\ 21745472*c_0101_4^5 + 197172517796151249859213746946455342601/24482\ 1588026476618963414957421745472*c_0101_4^4 - 16021465108685874355478747320941488925/6120539700661915474085373935\ 5436368*c_0101_4^3 - 132930503651936254904365580047824559291/244821\ 588026476618963414957421745472*c_0101_4^2 + 2140896813265472552619651407492620817/30602698503309577370426869677\ 718184*c_0101_4 + 526019438628081761104412844000961130/382533731291\ 3697171303358709714773, c_0101_1 + 194963269906134099124248135698315/61205397006619154740853739\ 355436368*c_0101_4^25 + 925199198982136224934125357537785/612053970\ 06619154740853739355436368*c_0101_4^24 - 1107264262418934031773182402301441/30602698503309577370426869677718\ 184*c_0101_4^23 - 3505777390348376177578059415076785/15301349251654\ 788685213434838859092*c_0101_4^22 + 7559693846525031917167700137906631/61205397006619154740853739355436\ 368*c_0101_4^21 + 10776223552283039770545818000900961/7650674625827\ 394342606717419429546*c_0101_4^20 - 1347668866993975689904888336649611/61205397006619154740853739355436\ 368*c_0101_4^19 - 308541585446451195505409500231926519/612053970066\ 19154740853739355436368*c_0101_4^18 - 24964338939380938587142182394300735/3060269850330957737042686967771\ 8184*c_0101_4^17 + 42452670759038172912259478542198259/360031747097\ 7597337697278785613904*c_0101_4^16 + 72243842638512630580609146726653579/6120539700661915474085373935543\ 6368*c_0101_4^15 - 66947511756110291433758781186236481/360031747097\ 7597337697278785613904*c_0101_4^14 + 155635068169806255105906131765606669/306026985033095773704268696777\ 18184*c_0101_4^13 + 1261933247403963573832652547506733167/612053970\ 06619154740853739355436368*c_0101_4^12 - 337413805697529376091894058005888655/153013492516547886852134348388\ 59092*c_0101_4^11 - 502993364057030512895695286075687533/3060269850\ 3309577370426869677718184*c_0101_4^10 + 73246861099419050275983390288835633/1974367645374811443253346430820\ 528*c_0101_4^9 + 192787601410476663247954752262203173/6120539700661\ 9154740853739355436368*c_0101_4^8 - 2079792418255156166904930849134684487/61205397006619154740853739355\ 436368*c_0101_4^7 + 590176731548997731890015314168322353/3060269850\ 3309577370426869677718184*c_0101_4^6 + 1119409521369874435919518731575963767/61205397006619154740853739355\ 436368*c_0101_4^5 - 2003065279722403506634258170003021169/612053970\ 06619154740853739355436368*c_0101_4^4 - 86408101566874755031751624999651485/1530134925165478868521343483885\ 9092*c_0101_4^3 + 1574982126166682546041073139173485483/61205397006\ 619154740853739355436368*c_0101_4^2 + 3031578014310439583590658144526173/38253373129136971713033587097147\ 73*c_0101_4 - 34273337082356661051912695967563007/38253373129136971\ 71303358709714773, c_0101_2 - 21053871146719485502086018723500203/244821588026476618963414\ 957421745472*c_0101_4^25 - 51830716040259840563866622956606953/2448\ 21588026476618963414957421745472*c_0101_4^24 + 159881418741618487992890133449332593/122410794013238309481707478710\ 872736*c_0101_4^23 + 186043859089597540881981360448131973/612053970\ 06619154740853739355436368*c_0101_4^22 - 1818254538422919308753313294829222967/24482158802647661896341495742\ 1745472*c_0101_4^21 - 575839684135637864864370057235021495/30602698\ 503309577370426869677718184*c_0101_4^20 + 5741756075103909601854511595705777995/24482158802647661896341495742\ 1745472*c_0101_4^19 + 16254903259799372850813279682972133863/244821\ 588026476618963414957421745472*c_0101_4^18 - 5992666110272299237166687575439102369/12241079401323830948170747871\ 0872736*c_0101_4^17 - 2057118467461466403910717149685449187/1440126\ 9883910389350789115142455616*c_0101_4^16 + 20566587986485902127373880342346183829/2448215880264766189634149574\ 21745472*c_0101_4^15 + 2537353305727473522707320352162157809/144012\ 69883910389350789115142455616*c_0101_4^14 - 20155929082179334298609371960990849589/1224107940132383094817074787\ 10872736*c_0101_4^13 - 22195280767610707750866047669725395375/24482\ 1588026476618963414957421745472*c_0101_4^12 + 19705639066682259938124456960644665359/6120539700661915474085373935\ 5436368*c_0101_4^11 - 5313945232588597434097321684474204683/1224107\ 94013238309481707478710872736*c_0101_4^10 - 3177754028343806112340742739519859537/78974705814992457730133857232\ 82112*c_0101_4^9 + 34874948760438492267093666524507884619/244821588\ 026476618963414957421745472*c_0101_4^8 + 52709715766345454275695801064243938855/2448215880264766189634149574\ 21745472*c_0101_4^7 - 34072721887000956816367515502789489361/122410\ 794013238309481707478710872736*c_0101_4^6 + 5836164356719099782695529438063140425/24482158802647661896341495742\ 1745472*c_0101_4^5 + 90462807868369718645440199243379546001/2448215\ 88026476618963414957421745472*c_0101_4^4 - 3162318402671031451686565330346606863/61205397006619154740853739355\ 436368*c_0101_4^3 - 58548437725995046826380052693631827019/24482158\ 8026476618963414957421745472*c_0101_4^2 + 55467085334142011676057535034393739/7650674625827394342606717419429\ 546*c_0101_4 + 216691402029549941110824759222330666/382533731291369\ 7171303358709714773, c_0101_3 + 200379353168538777404573696688935/61205397006619154740853739\ 355436368*c_0101_4^25 + 603544008575344958245434758052413/612053970\ 06619154740853739355436368*c_0101_4^24 - 1419225390341708969093492318919517/30602698503309577370426869677718\ 184*c_0101_4^23 - 2157500650653669092652877511918437/15301349251654\ 788685213434838859092*c_0101_4^22 + 15157927983501641864086360805559299/6120539700661915474085373935543\ 6368*c_0101_4^21 + 6465430351641435150520797935714753/7650674625827\ 394342606717419429546*c_0101_4^20 - 45664846111947151413070066005760663/6120539700661915474085373935543\ 6368*c_0101_4^19 - 179306648689739073623949268538884915/61205397006\ 619154740853739355436368*c_0101_4^18 + 48328787254923182495060608922306333/3060269850330957737042686967771\ 8184*c_0101_4^17 + 22825391454850195669396862754463567/360031747097\ 7597337697278785613904*c_0101_4^16 - 197729119579722743925725220438004921/612053970066191547408537393554\ 36368*c_0101_4^15 - 29457659238765043435434312828923621/36003174709\ 77597337697278785613904*c_0101_4^14 + 236549800325706038063502457785245089/306026985033095773704268696777\ 18184*c_0101_4^13 + 307713373442416255808253971145773227/6120539700\ 6619154740853739355436368*c_0101_4^12 - 235425480070147898315416355208313991/153013492516547886852134348388\ 59092*c_0101_4^11 + 51798382549782950702836088115044303/30602698503\ 309577370426869677718184*c_0101_4^10 + 36570592984242485412974355365806277/1974367645374811443253346430820\ 528*c_0101_4^9 - 531014495874510685862440753834340087/6120539700661\ 9154740853739355436368*c_0101_4^8 - 585003742110606871131872888926196387/612053970066191547408537393554\ 36368*c_0101_4^7 + 456031937754772322110146718744862653/30602698503\ 309577370426869677718184*c_0101_4^6 - 160641213060202766782979714311228269/612053970066191547408537393554\ 36368*c_0101_4^5 - 975049896511436912512903324049914053/61205397006\ 619154740853739355436368*c_0101_4^4 + 75243978311382181399666253433616859/1530134925165478868521343483885\ 9092*c_0101_4^3 + 563954444364850124911918930075947031/612053970066\ 19154740853739355436368*c_0101_4^2 - 5493466253422784438289956438696345/38253373129136971713033587097147\ 73*c_0101_4 - 6967118016482347960189170435781545/382533731291369717\ 1303358709714773, c_0101_4^26 + 3*c_0101_4^25 - 14*c_0101_4^24 - 44*c_0101_4^23 + 69*c_0101_4^22 + 272*c_0101_4^21 - 161*c_0101_4^20 - 957*c_0101_4^19 + 158*c_0101_4^18 + 2089*c_0101_4^17 - 55*c_0101_4^16 - 2811*c_0101_4^15 + 742*c_0101_4^14 + 2365*c_0101_4^13 - 3212*c_0101_4^12 - 1758*c_0101_4^11 + 5309*c_0101_4^10 + 1159*c_0101_4^9 - 3901*c_0101_4^8 + 1662*c_0101_4^7 + 1749*c_0101_4^6 - 4683*c_0101_4^5 - 1956*c_0101_4^4 + 3585*c_0101_4^3 + 1768*c_0101_4^2 - 896*c_0101_4 - 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB