Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 2118115997] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0626 geometric_solution 4.62334337 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.557222898705 0.155793123775 0 2 2 0 3201 0132 1023 0132 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 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 1.322738538132 0.321751392054 3 1 1 4 0132 0132 1023 0132 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 -1 0 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.526064174939 0.794960681194 2 4 4 5 0132 2310 3201 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 0 0 0 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.179753946333 0.589181228970 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 1 -1 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 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.179753946333 0.589181228970 4 6 3 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.823505654815 1.590542944361 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198204619198 0.404126365011 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 8798062306286988310933373894715073831459249046366421534572/19130079\ 0081530437796197642257458904381489376927954122975*c_0110_6^20 - 97739851151563955293060808625022482127797242307310154890078/1913007\ 90081530437796197642257458904381489376927954122975*c_0110_6^19 - 30192742471484342080820905307534535400983674559955155940612/7652031\ 603261217511847905690298356175259575077118164919*c_0110_6^18 - 66692588569850500619400157973084149193423452766530244172677/1471544\ 5390886956753553664789035300337037644379073394075*c_0110_6^17 + 3443515520412293296648797804204703689444297686525977954041298/19130\ 0790081530437796197642257458904381489376927954122975*c_0110_6^16 + 258069522545816831166822642604117021624772959774489064120889/255067\ 7201087072503949301896766118725086525025706054973*c_0110_6^15 + 6320115509097587397845552578819902693333041722167332367202994/38260\ 158016306087559239528451491780876297875385590824595*c_0110_6^14 + 29231685090775628117356265259481376337893634297029936261051204/6376\ 6930027176812598732547419152968127163125642651374325*c_0110_6^13 + 17432546621320384939569658561011510116802711203878534231084589/6376\ 6930027176812598732547419152968127163125642651374325*c_0110_6^12 - 139421233092509164647973214123397957016245237168368079343574039/637\ 66930027176812598732547419152968127163125642651374325*c_0110_6^11 - 38136304215739313255279412635133336474586265700384010475024069/7652\ 031603261217511847905690298356175259575077118164919*c_0110_6^10 - 364539791633154809337334567061903318907053779941084085589781409/637\ 66930027176812598732547419152968127163125642651374325*c_0110_6^9 - 160621770159567984918168463041406760015718735538167955458832604/382\ 60158016306087559239528451491780876297875385590824595*c_0110_6^8 - 365367485793913972878712550930680914941602007033642378147741752/191\ 300790081530437796197642257458904381489376927954122975*c_0110_6^7 - 33512669344723816193348876128233748685308884284279388856676154/6376\ 6930027176812598732547419152968127163125642651374325*c_0110_6^6 + 3011906841244334562977554484241098830913279739281478983677131/63766\ 930027176812598732547419152968127163125642651374325*c_0110_6^5 + 17732800744807932922544159393852041689184670688691995553828721/1913\ 00790081530437796197642257458904381489376927954122975*c_0110_6^4 + 6998574859383591496014855712018128115031219063532583482651983/19130\ 0790081530437796197642257458904381489376927954122975*c_0110_6^3 + 1109028271266555591764193365916545847654454751480809106376412/19130\ 0790081530437796197642257458904381489376927954122975*c_0110_6^2 - 83860573025109653258991397706469540782184469849258072407343/6376693\ 0027176812598732547419152968127163125642651374325*c_0110_6 + 116336335397516557777237479695868071109333271099058291769044/191300\ 790081530437796197642257458904381489376927954122975, c_0011_0 - 1, c_0011_1 - 378591129344841261736545472918319456506393454312590/85306929\ 80224322755683283935672637876543561958883127*c_0110_6^20 + 4079049964826953678023675253543447573365438068617419/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^19 + 33910730556941079627804489202088575853160075796262900/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^18 + 47935062666673227637486045235753846559730785310973979/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^17 - 137293962315964500894119601843179575148089137492442448/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^16 - 883253198143874240531053854089337493353281268176218772/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^15 - 1629821743005930239706724882266979931266170261134841188/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^14 - 4190136069074966113409994694519835212420076991325539300/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^13 - 3471152809764582401523253611364167558807067566727501860/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^12 + 17419433422643101374428049542358743347077055656444032052/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^11 + 47042547521314469430959880570221308195405625303334394694/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^10 + 59801105217964744708913168788463002605825459292795101615/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^9 + 48882418663679234403497965203817146307299255664130484366/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^8 + 25917292359205308798108421558461279049921312538799297374/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^7 + 8674443289415376894916994821791292773484520336572402358/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^6 + 712632695223910529685810298213564202466055955007046902/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^5 - 1020584957380485224909104960885769253235583262381291173/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^4 - 525138865920374177318162835676234824488175163257462459/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^3 - 131516285902525277866017244096483951345785810532059734/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^2 + 18630249676134907022034588347006806729575355554473953/8530692980224\ 322755683283935672637876543561958883127*c_0110_6 - 2036311816798686318650858580704128170563993517556468/85306929802243\ 22755683283935672637876543561958883127, c_0011_4 + 87142315339299618986809601338859566150990807745416/853069298\ 0224322755683283935672637876543561958883127*c_0110_6^20 - 972914586876039530014121513280470807113149837667109/853069298022432\ 2755683283935672637876543561958883127*c_0110_6^19 - 7473449127008272634461728586734076152827805355029792/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^18 - 7582158972640418332441862138405081639446588006494860/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^17 + 38650706119246840182150573201346274076047275891848582/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^16 + 192587737022718071002904928548661770262401172355285639/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^15 + 280069146542530553904399807147460962187081830262924968/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^14 + 750193132330169156466311749648130657378962896876157845/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^13 + 344728285793469503865079422354324471928530332481429697/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^12 - 4589125132121322620073692534040075610103600386005153844/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^11 - 9268289311635244123805640073563194642249999242784735722/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^10 - 7763321067847089916366090920287897832157988745748918762/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^9 - 3137173802574824426389207371512373859905617179819495023/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^8 + 358061305361411592658665563668147238939242685503477902/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^7 + 962691118531949600146475153753859555517504758856718541/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^6 + 443524945367487118042333848882084970564887377681518266/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^5 + 110743329538390113436282818019572667985946549248853074/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^4 - 80539434048104171229792018058725898889775396457029347/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^3 - 29591885739972063840516059730782615236850031237743044/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^2 - 14375810267503194811453245510885407499488431634092330/8530692980224\ 322755683283935672637876543561958883127*c_0110_6 + 1390402932557504547931824683818671955194202306306102/85306929802243\ 22755683283935672637876543561958883127, c_0101_0 + 559813746735664034041714529899882971531026722665594/85306929\ 80224322755683283935672637876543561958883127*c_0110_6^20 - 6204063661838054141869401315782625256952047390520335/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^19 - 48169005294088903823625235686081539580190967803067680/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^18 - 56780609730602977958640803130943917084197136519225033/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^17 + 215652072391587214253955320130782659421243218491806870/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^16 + 1236981080449447480696007985805071181607776529267813916/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^15 + 2055762811115253107733989100970666519115135995631884182/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^14 + 5680863137528841560411363720348646213508695690419484607/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^13 + 3519455218747602832164702360259584955979765216227333095/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^12 - 26326252548983676680453180553482159375716265425739714882/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^11 - 61444351551632134531115862439591266035784956100834518846/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^10 - 72514077221102593713615876827529913320659436485397924695/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^9 - 54512638939895289183452575390494296015964771356489580198/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^8 - 25664464579071427669441379671545202978834243339036729795/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^7 - 7513919659988233962821130409239087296114252849822183842/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^6 + 207433504400822669604137871138910005335486405220993580/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^5 + 940691284431287948206475665307562528607936393832240783/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^4 + 473192069456840514517026163499286050001818929217471756/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^3 + 68031232261363258251760473136771645243124793761000714/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^2 - 4392495746650845594928536086264595352035994172227978/85306929802243\ 22755683283935672637876543561958883127*c_0110_6 + 9810241098582379653472375618068387400886534041010962/85306929802243\ 22755683283935672637876543561958883127, c_0101_2 - 145153327232135341800495410109329325523554860255765/85306929\ 80224322755683283935672637876543561958883127*c_0110_6^20 + 1699192203135159931070318205891089159017519183920667/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^19 + 11449842509548078140556759734152491284560568398500284/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^18 + 7330667065893226702518422850928536952935800440959804/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^17 - 61923131692403197638920201973173855269601878797935665/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^16 - 282051483113332739355214447726730449486286700972956394/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^15 - 347885706508883458999275788184473239263571344827129220/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^14 - 1223325112538661340743719743820050114318787107217780680/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^13 - 127949346315614283250057660398011958759723517512884953/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^12 + 7047109357499425675174935240963612581842565508009269793/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^11 + 11460445891658970433849274825453958744898530100420967673/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^10 + 10683014717157452816511615028147437689722331037269452402/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^9 + 6615110074683943353770624396741738823220212903271680869/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^8 + 2142807860664851972164212468428158742197499687852241019/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^7 + 195907897556991326901313794111533862221786352998963627/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^6 - 696605217884107461479827511788021724831768142669457922/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^5 - 350025696766113948262838980029607032960448652440194446/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^4 - 145251295008689189028045607038511808509225785507103332/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^3 - 791914266120200072390526526590834484700301153421791/853069298022432\ 2755683283935672637876543561958883127*c_0110_6^2 + 3668482348048888297962133431725932935400088654451220/85306929802243\ 22755683283935672637876543561958883127*c_0110_6 + 5623398080354422912177788203927499181190195058068276/85306929802243\ 22755683283935672637876543561958883127, c_0101_3 + 32054971232526001914940001508777912317379030300004/853069298\ 0224322755683283935672637876543561958883127*c_0110_6^20 - 282247872072768124207990389727832247347124413447866/853069298022432\ 2755683283935672637876543561958883127*c_0110_6^19 - 3573228066039245551084951203330367491013897254230176/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^18 - 9464758720072689378154627022079971731600471252082942/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^17 + 5466637128133959274687230366165000812889282486520793/85306929802243\ 22755683283935672637876543561958883127*c_0110_6^16 + 99565762734797856918962988987660842982536700649579937/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^15 + 276666751156562638441238410203502991081172866472556752/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^14 + 579815009572722003935514514113231061584868099621793332/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^13 + 919873148860528171609117187753873597594914783093907506/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^12 - 1109897098393409620987271456866679641737677553193442126/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^11 - 6986034937171161512308333417270481829425616312768409359/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^10 - 11876638244435588265843524959877731726143927555359149377/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^9 - 11900107028883909250703314704793605539756701806457350199/8530692980\ 224322755683283935672637876543561958883127*c_0110_6^8 - 7778289292479172416621868689304167005422473406531814847/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^7 - 3256135692146575691344577445149505872483633086673607134/85306929802\ 24322755683283935672637876543561958883127*c_0110_6^6 - 809272030908197834190745673647502345655358135917335124/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^5 + 85430423442452008702555787683700601226028481897130267/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^4 + 100526808597350556000082024447756121176268375772294763/853069298022\ 4322755683283935672637876543561958883127*c_0110_6^3 + 45274728763638032599596848712300753829341946135586828/8530692980224\ 322755683283935672637876543561958883127*c_0110_6^2 + 6902591897636778551981603972956421990391938652848651/85306929802243\ 22755683283935672637876543561958883127*c_0110_6 + 1738862761472177658646426800987760114645149854855150/85306929802243\ 22755683283935672637876543561958883127, c_0110_6^21 - 11*c_0110_6^20 - 87*c_0110_6^19 - 108*c_0110_6^18 + 380*c_0110_6^17 + 2242*c_0110_6^16 + 3835*c_0110_6^15 + 10376*c_0110_6^14 + 7059*c_0110_6^13 - 46818*c_0110_6^12 - 113518*c_0110_6^11 - 136491*c_0110_6^10 - 105643*c_0110_6^9 - 52396*c_0110_6^8 - 16629*c_0110_6^7 - 529*c_0110_6^6 + 2040*c_0110_6^5 + 1023*c_0110_6^4 + 228*c_0110_6^3 - 9*c_0110_6^2 + 11*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB