Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 442205946] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0638 geometric_solution 4.62778364 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0.667294998629 0.115177380751 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 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 -1 1 1 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.877471629580 0.136000836512 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -1 0 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 1 -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.913556081682 0.331782437420 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 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 1.540962476611 0.411658652799 3 5 5 6 0132 0213 2310 0132 0 0 0 0 0 0 0 0 1 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 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.363805308603 0.630423154679 6 4 4 3 0132 3201 0213 0132 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 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.363805308603 0.630423154679 5 6 4 6 0132 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 -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.121503218322 2.046843760267 ==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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : 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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_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_0011_1']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 38040357705496800622731462800900901735520014657040/6011371126851414\ 6296646897477417387260620138889*c_0101_4^23 - 198816727838531535132105844845946631066994522175204/601137112685141\ 46296646897477417387260620138889*c_0101_4^22 + 903928132824844521395519742261879311109627352749174/601137112685141\ 46296646897477417387260620138889*c_0101_4^21 + 4873000688219253565383894021561936058701358509840756/60113711268514\ 146296646897477417387260620138889*c_0101_4^20 + 1989691233860284859700158281703563721009795092580500/60113711268514\ 146296646897477417387260620138889*c_0101_4^19 - 15606795329247304987922305472603406691987986347277673/6011371126851\ 4146296646897477417387260620138889*c_0101_4^18 - 8419623263758585944840996454125246979247211125010400/60113711268514\ 146296646897477417387260620138889*c_0101_4^17 + 68642695694154414765386630744568619744752105468136352/6011371126851\ 4146296646897477417387260620138889*c_0101_4^16 - 4401764927931243540604748444473784144621700242369954/60113711268514\ 146296646897477417387260620138889*c_0101_4^15 - 106587770190524604737331809692967495700591655767368625/601137112685\ 14146296646897477417387260620138889*c_0101_4^14 + 55289305528289807720856185832242192304112303911294416/6011371126851\ 4146296646897477417387260620138889*c_0101_4^13 + 38811220551480815103390407425852025537254289503297481/6011371126851\ 4146296646897477417387260620138889*c_0101_4^12 + 49028321145419899731698599305361411328065166593225213/6011371126851\ 4146296646897477417387260620138889*c_0101_4^11 - 13058359890922523691211821739695192122423783749124488/5464882842592\ 195117876990679765217023692739899*c_0101_4^10 + 74151223981640715352111469937702945955104246943369055/6011371126851\ 4146296646897477417387260620138889*c_0101_4^9 - 44002604075048580502308208149293536130982192627462989/6011371126851\ 4146296646897477417387260620138889*c_0101_4^8 + 42296436061863843874697229944785353347570463691753753/6011371126851\ 4146296646897477417387260620138889*c_0101_4^7 - 43440797552724354500968794600351183348626591587055954/6011371126851\ 4146296646897477417387260620138889*c_0101_4^6 + 33380556392484063040510201007250741452236092132727063/6011371126851\ 4146296646897477417387260620138889*c_0101_4^5 + 8806161360871238646579567107546366998780852287995467/60113711268514\ 146296646897477417387260620138889*c_0101_4^4 - 16287125009407848970644194862588073521600624204532576/6011371126851\ 4146296646897477417387260620138889*c_0101_4^3 + 2212883557877969582881922404594069077482013727485215/60113711268514\ 146296646897477417387260620138889*c_0101_4^2 + 719704939827493288352533883129003912259263120757890/601137112685141\ 46296646897477417387260620138889*c_0101_4 - 4275375291649883780960156001743035869635053300501/60113711268514146\ 296646897477417387260620138889, c_0011_0 - 1, c_0011_1 + 8248635618170907774988137797598493155675439/6140317800665387\ 7728954951458036146333626291*c_0101_4^23 + 41257234261378734624504850247406842957852409/6140317800665387772895\ 4951458036146333626291*c_0101_4^22 - 208178248550143143350717975434900952616865373/614031780066538777289\ 54951458036146333626291*c_0101_4^21 - 1027455749551622648519599131934768368000326836/61403178006653877728\ 954951458036146333626291*c_0101_4^20 - 146252426028217794032810097079626181050706632/614031780066538777289\ 54951458036146333626291*c_0101_4^19 + 3835363405911685377113559611728089972828511733/61403178006653877728\ 954951458036146333626291*c_0101_4^18 + 1464134503660251834883742726807672521473048840/61403178006653877728\ 954951458036146333626291*c_0101_4^17 - 16012194741790062187238873617969294270597766199/6140317800665387772\ 8954951458036146333626291*c_0101_4^16 + 3195048705565649836884430217180481465820323271/61403178006653877728\ 954951458036146333626291*c_0101_4^15 + 26525653138733152392794675795977717280684154832/6140317800665387772\ 8954951458036146333626291*c_0101_4^14 - 14701356249476400245877838113404427873330802365/6140317800665387772\ 8954951458036146333626291*c_0101_4^13 - 10776655756245662196737130905425204568852190676/6140317800665387772\ 8954951458036146333626291*c_0101_4^12 - 9052237262919423153072412468172061964271412842/61403178006653877728\ 954951458036146333626291*c_0101_4^11 + 35784970240714655302418972272807567749637521541/6140317800665387772\ 8954951458036146333626291*c_0101_4^10 - 18122291238713884945140898495675147062383973483/6140317800665387772\ 8954951458036146333626291*c_0101_4^9 + 7529931128967103918383109313518793678637178354/61403178006653877728\ 954951458036146333626291*c_0101_4^8 - 10711657751597925842791621957927678561941897808/6140317800665387772\ 8954951458036146333626291*c_0101_4^7 + 8970858969765718516080922326743429510460596745/61403178006653877728\ 954951458036146333626291*c_0101_4^6 - 8511481235150752622319552245646937566542255099/61403178006653877728\ 954951458036146333626291*c_0101_4^5 - 2448829214596722744024911903281832996630925440/61403178006653877728\ 954951458036146333626291*c_0101_4^4 + 4611431821083424480221752240569636600769249712/61403178006653877728\ 954951458036146333626291*c_0101_4^3 - 195619996181792224320950191374183779844174686/614031780066538777289\ 54951458036146333626291*c_0101_4^2 - 299568982641622553464070046663432039992466995/614031780066538777289\ 54951458036146333626291*c_0101_4 + 3169505142858854450179100547929983732037585/61403178006653877728954\ 951458036146333626291, c_0011_5 - 87556957920023214310497776163043181635118480/614031780066538\ 77728954951458036146333626291*c_0101_4^23 - 481039064373932287010964204463280778976887385/614031780066538777289\ 54951458036146333626291*c_0101_4^22 + 1950815623420355798092289295621472279583331242/61403178006653877728\ 954951458036146333626291*c_0101_4^21 + 11730504781550161318794995437231182599767341989/6140317800665387772\ 8954951458036146333626291*c_0101_4^20 + 7730691455868974357914124930815136327544396122/61403178006653877728\ 954951458036146333626291*c_0101_4^19 - 33677725950310909564599458510797937833090653229/6140317800665387772\ 8954951458036146333626291*c_0101_4^18 - 28041638219467352383276978353813989463056770126/6140317800665387772\ 8954951458036146333626291*c_0101_4^17 + 150350630814366545919183645139394208555395645153/614031780066538777\ 28954951458036146333626291*c_0101_4^16 + 29177537417848134027892327777990269909677859883/6140317800665387772\ 8954951458036146333626291*c_0101_4^15 - 236522029114236726178525967074661104577629166423/614031780066538777\ 28954951458036146333626291*c_0101_4^14 + 67103090289699233758229179581304284879668109116/6140317800665387772\ 8954951458036146333626291*c_0101_4^13 + 106097588007330829429136659411362463021394372039/614031780066538777\ 28954951458036146333626291*c_0101_4^12 + 137891060202212232110769259344902762365187653681/614031780066538777\ 28954951458036146333626291*c_0101_4^11 - 292554262940217327433030702411291591474035248152/614031780066538777\ 28954951458036146333626291*c_0101_4^10 + 96035742802010614588393823867221847999730298951/6140317800665387772\ 8954951458036146333626291*c_0101_4^9 - 75539448649735096076053644085266751603666375855/6140317800665387772\ 8954951458036146333626291*c_0101_4^8 + 73718402804246073003261883979526825884591947339/6140317800665387772\ 8954951458036146333626291*c_0101_4^7 - 80794676763676791277939544814922663005080509896/6140317800665387772\ 8954951458036146333626291*c_0101_4^6 + 54555571902292457269511458926692238034530841811/6140317800665387772\ 8954951458036146333626291*c_0101_4^5 + 34762966140424552317022109143071253930183987781/6140317800665387772\ 8954951458036146333626291*c_0101_4^4 - 28960621731263607618301303670142060315393098652/6140317800665387772\ 8954951458036146333626291*c_0101_4^3 - 1653634923259379892567078287489116122167267257/61403178006653877728\ 954951458036146333626291*c_0101_4^2 + 1776524254515038869723732721254758941925312849/61403178006653877728\ 954951458036146333626291*c_0101_4 + 191790941887870099604894148257614197011378662/614031780066538777289\ 54951458036146333626291, c_0101_0 + 109555532445636118841711663621427489306670860/61403178006653\ 877728954951458036146333626291*c_0101_4^23 + 607353465463053849917594966526810463090608258/614031780066538777289\ 54951458036146333626291*c_0101_4^22 - 2413067351960001524448822604274020837285730544/61403178006653877728\ 954951458036146333626291*c_0101_4^21 - 14810640993385847376578823108915262455283216718/6140317800665387772\ 8954951458036146333626291*c_0101_4^20 - 10357105051727286193633251160372315316631843413/6140317800665387772\ 8954951458036146333626291*c_0101_4^19 + 41934688345965439536616520570659314164760494497/6140317800665387772\ 8954951458036146333626291*c_0101_4^18 + 37359973857188767221083882024165437339302589072/6140317800665387772\ 8954951458036146333626291*c_0101_4^17 - 187188191821423538637166568403695378114048400442/614031780066538777\ 28954951458036146333626291*c_0101_4^16 - 46529986573002736375877450778075863825900539602/6140317800665387772\ 8954951458036146333626291*c_0101_4^15 + 297705080308735433334253906624517417936808313942/614031780066538777\ 28954951458036146333626291*c_0101_4^14 - 68622065123234745145548796953430341274731394287/6140317800665387772\ 8954951458036146333626291*c_0101_4^13 - 142570366456144934156181090370112201177880253436/614031780066538777\ 28954951458036146333626291*c_0101_4^12 - 177487060705338355857306758527847696918151275784/614031780066538777\ 28954951458036146333626291*c_0101_4^11 + 359864221325294322140674821210694926473749692213/614031780066538777\ 28954951458036146333626291*c_0101_4^10 - 98717095172617046631156415986162818128948580388/6140317800665387772\ 8954951458036146333626291*c_0101_4^9 + 81568371319696542033607324272728313179907842447/6140317800665387772\ 8954951458036146333626291*c_0101_4^8 - 85133788628061763745852011758849550231006647206/6140317800665387772\ 8954951458036146333626291*c_0101_4^7 + 94485397055701626937001407319508076576155357207/6140317800665387772\ 8954951458036146333626291*c_0101_4^6 - 61451162415891166643985815519945810116459156515/6140317800665387772\ 8954951458036146333626291*c_0101_4^5 - 48807704144859857316721388706464815533985555313/6140317800665387772\ 8954951458036146333626291*c_0101_4^4 + 35454911610033684440165868362105915049557378423/6140317800665387772\ 8954951458036146333626291*c_0101_4^3 + 4713312669315319299106591048908978926504754406/61403178006653877728\ 954951458036146333626291*c_0101_4^2 - 2794527432478423568855822510373172410287861239/61403178006653877728\ 954951458036146333626291*c_0101_4 - 365388826450048816221753093339855154810340675/614031780066538777289\ 54951458036146333626291, c_0101_1 - 54677064431673098681690268809365191571284484/614031780066538\ 77728954951458036146333626291*c_0101_4^23 - 300545208073845829966848863188729721310273399/614031780066538777289\ 54951458036146333626291*c_0101_4^22 + 1216360509420119745737702276769227463144481037/61403178006653877728\ 954951458036146333626291*c_0101_4^21 + 7322180555902579947396759095903452149433401239/61403178006653877728\ 954951458036146333626291*c_0101_4^20 + 4866617600126305205579007409221539641113523843/61403178006653877728\ 954951458036146333626291*c_0101_4^19 - 20862979583612203195499171518698201726540768704/6140317800665387772\ 8954951458036146333626291*c_0101_4^18 - 17369400437266803264038011522891152550797689373/6140317800665387772\ 8954951458036146333626291*c_0101_4^17 + 93570538367917304538789849787567898126444130820/6140317800665387772\ 8954951458036146333626291*c_0101_4^16 + 17949974579236478598175569232228754632847932072/6140317800665387772\ 8954951458036146333626291*c_0101_4^15 - 146195476473424556211817491928108634124097308880/614031780066538777\ 28954951458036146333626291*c_0101_4^14 + 42853524612493675234017357538248240177120894021/6140317800665387772\ 8954951458036146333626291*c_0101_4^13 + 64419357906610504737331409153753464677644857329/6140317800665387772\ 8954951458036146333626291*c_0101_4^12 + 85788086891151584053929781545787776636566804953/6140317800665387772\ 8954951458036146333626291*c_0101_4^11 - 181542516823789901092981373229554106711432570354/614031780066538777\ 28954951458036146333626291*c_0101_4^10 + 61711827112052595694531914703319611322811879164/6140317800665387772\ 8954951458036146333626291*c_0101_4^9 - 48894010907310866041761280839276372306138558624/6140317800665387772\ 8954951458036146333626291*c_0101_4^8 + 45653225895874916321950853906805879366118348611/6140317800665387772\ 8954951458036146333626291*c_0101_4^7 - 51353477742726228055530210751859416026934856894/6140317800665387772\ 8954951458036146333626291*c_0101_4^6 + 34057347960936597104087959969395662061938308554/6140317800665387772\ 8954951458036146333626291*c_0101_4^5 + 20992572806748714725578883396092538628664020308/6140317800665387772\ 8954951458036146333626291*c_0101_4^4 - 18024897368449634578197906712108858437729770370/6140317800665387772\ 8954951458036146333626291*c_0101_4^3 - 586018877334573363968189688014999934274100359/614031780066538777289\ 54951458036146333626291*c_0101_4^2 + 1091918569676186187768111976055518479013153196/61403178006653877728\ 954951458036146333626291*c_0101_4 + 123719979215875583090598970203610110132651381/614031780066538777289\ 54951458036146333626291, c_0101_3 - 68607825142325511316909401785873051656203085/614031780066538\ 77728954951458036146333626291*c_0101_4^23 - 369395063651428946818560016677194157694947973/614031780066538777289\ 54951458036146333626291*c_0101_4^22 + 1573012098422322377054686630066109548226588089/61403178006653877728\ 954951458036146333626291*c_0101_4^21 + 9042051142185195654440350233999785073993934259/61403178006653877728\ 954951458036146333626291*c_0101_4^20 + 4992447094721019324058977111206490152821092737/61403178006653877728\ 954951458036146333626291*c_0101_4^19 - 27487607415280317756006860633264109403989435374/6140317800665387772\ 8954951458036146333626291*c_0101_4^18 - 19601571113111878722677390148994361053605047676/6140317800665387772\ 8954951458036146333626291*c_0101_4^17 + 121043694668895606199021084115715411411100218159/614031780066538777\ 28954951458036146333626291*c_0101_4^16 + 11367370768422864346529224204581267027232246743/6140317800665387772\ 8954951458036146333626291*c_0101_4^15 - 192065988722597534996829041857762700274548186951/614031780066538777\ 28954951458036146333626291*c_0101_4^14 + 69393458417492700994427918301252311957331720640/6140317800665387772\ 8954951458036146333626291*c_0101_4^13 + 83138281190183941283089207151182104923847585499/6140317800665387772\ 8954951458036146333626291*c_0101_4^12 + 100162498492016087411760379744006090773122498461/614031780066538777\ 28954951458036146333626291*c_0101_4^11 - 243768551964463646649724101041475730650568939879/614031780066538777\ 28954951458036146333626291*c_0101_4^10 + 93933039302423543647295262666213320092713959308/6140317800665387772\ 8954951458036146333626291*c_0101_4^9 - 61521658089678918193826630417854970097082218956/6140317800665387772\ 8954951458036146333626291*c_0101_4^8 + 64671690696807229405814291883004132584893188860/6140317800665387772\ 8954951458036146333626291*c_0101_4^7 - 66588051437452244278875635780045003178065656623/6140317800665387772\ 8954951458036146333626291*c_0101_4^6 + 48803835224554864599661941229452522816055382115/6140317800665387772\ 8954951458036146333626291*c_0101_4^5 + 24835208254597523302323428150709874315818781549/6140317800665387772\ 8954951458036146333626291*c_0101_4^4 - 26073487682815298881658967558324299382052930633/6140317800665387772\ 8954951458036146333626291*c_0101_4^3 - 144923452252540578397230930557532212333458408/614031780066538777289\ 54951458036146333626291*c_0101_4^2 + 1613445521221282889781518967191427878065818188/61403178006653877728\ 954951458036146333626291*c_0101_4 + 110072941817324236329865706556763145931628806/614031780066538777289\ 54951458036146333626291, c_0101_4^24 + 5*c_0101_4^23 - 25*c_0101_4^22 - 123*c_0101_4^21 - 22*c_0101_4^20 + 429*c_0101_4^19 + 131*c_0101_4^18 - 1877*c_0101_4^17 + 513*c_0101_4^16 + 2874*c_0101_4^15 - 2097*c_0101_4^14 - 844*c_0101_4^13 - 975*c_0101_4^12 + 4123*c_0101_4^11 - 2737*c_0101_4^10 + 1391*c_0101_4^9 - 1264*c_0101_4^8 + 1331*c_0101_4^7 - 1075*c_0101_4^6 - 95*c_0101_4^5 + 529*c_0101_4^4 - 143*c_0101_4^3 - 30*c_0101_4^2 + 8*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB