Magma V2.19-8 Tue Aug 20 2013 16:14:38 on localhost [Seed = 2084429946] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s619 geometric_solution 5.10360145 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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.364468940670 0.242260064014 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 2 -1 -1 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.732572734259 1.022623590543 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 1 -2 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 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.986942387341 0.922253623177 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 -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 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.986942387341 0.922253623177 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539768428411 0.491387047052 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 1 -1 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 -1 1 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 1.268330700999 0.787735685354 ==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' : negation(d['1']), 's_2_5' : 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_4' : negation(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_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_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_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 15309320785959121908778453086903918513836099478946655957/8246097101\ 43199392875417382817173533248829370822524961*c_0101_5^24 - 148630105353602292853012925426480598013767692291596524197/824609710\ 143199392875417382817173533248829370822524961*c_0101_5^23 - 985384828851097327696003876412329722709247275829429832371/164921942\ 0286398785750834765634347066497658741645049922*c_0101_5^22 - 185324098552869840762916646426045917534608522784444887959/117801387\ 163314198982202483259596219035547052974646423*c_0101_5^21 - 3102587689848418483149551963517001953683800774500555333040/82460971\ 0143199392875417382817173533248829370822524961*c_0101_5^20 - 373690998526223132814149948019596222884702265967553304839/183246602\ 254044309527870529514927451833073193516116658*c_0101_5^19 - 778791160942211862380588918999120630258703269634436131563/785342581\ 08876132654801655506397479357031368649764282*c_0101_5^18 + 13912025494883120307498190849582845137613719157891188580557/1649219\ 420286398785750834765634347066497658741645049922*c_0101_5^17 - 21820380167520816300810735391518422517629197452227508611737/1649219\ 420286398785750834765634347066497658741645049922*c_0101_5^16 + 34791935306763232196214161405048419425057192886321517921375/8246097\ 10143199392875417382817173533248829370822524961*c_0101_5^15 - 6630573479400642447081948955367188936240708204180123038413/54973980\ 6762132928583611588544782355499219580548349974*c_0101_5^14 + 15346094503292915328732281454640495580966282433573223029575/1649219\ 420286398785750834765634347066497658741645049922*c_0101_5^13 + 161317131801154271289435765215841853605458359275843891122122/824609\ 710143199392875417382817173533248829370822524961*c_0101_5^12 - 125369928047464697952560188185267788034565485549770753953424/274869\ 903381066464291805794272391177749609790274174987*c_0101_5^11 + 55344919558944885464822576369122133286458178140418769564819/7853425\ 8108876132654801655506397479357031368649764282*c_0101_5^10 - 79767722258244007714849434627768227218751756731878307203253/9162330\ 1127022154763935264757463725916536596758058329*c_0101_5^9 + 1120831152489882673628081452031507665376806006355592586519765/16492\ 19420286398785750834765634347066497658741645049922*c_0101_5^8 - 343084741823436396744086873818236050968592374342258981080907/824609\ 710143199392875417382817173533248829370822524961*c_0101_5^7 + 92549019387333885721738177584513950614009314066264327519952/8246097\ 10143199392875417382817173533248829370822524961*c_0101_5^6 + 1660319909667066876244787543542102409932626956297770833983/11780138\ 7163314198982202483259596219035547052974646423*c_0101_5^5 - 1833365784633641908294209372034387489161243994275546483856/11780138\ 7163314198982202483259596219035547052974646423*c_0101_5^4 + 18795495176112476248971068757524652831437272230133372537244/8246097\ 10143199392875417382817173533248829370822524961*c_0101_5^3 + 5784431807234528715182969817565076849086170983973903068609/16492194\ 20286398785750834765634347066497658741645049922*c_0101_5^2 + 274245159760660461648076518228903159785673187929332139206/392671290\ 54438066327400827753198739678515684324882141*c_0101_5 + 63946326839758206420556100670392655290140454305129014698/3054110037\ 5674051587978421585821241972178865586019443, c_0011_0 - 1, c_0011_1 + 705599558279678808529821531479025209491155862475287/39267129\ 054438066327400827753198739678515684324882141*c_0101_5^24 + 6779838729130691089420943172817725484868451483857935/39267129054438\ 066327400827753198739678515684324882141*c_0101_5^23 + 22112682129481436482035054931074402929571181737625196/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^22 + 58438720562617384643217922448582096090623868548804198/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^21 + 140485193690712491555247137691605133216808753146596672/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^20 + 24434781427074774648204021636023103294953542932105935/1308904301814\ 6022109133609251066246559505228108294047*c_0101_5^19 + 131652432463139355870599038761328313160603281864060672/130890430181\ 46022109133609251066246559505228108294047*c_0101_5^18 - 327931961387702233525178873160209610885753064836062996/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^17 + 612855990033407423965013793348086583329905606138352833/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^16 - 1633026775958592136506757784932728239486225388796641763/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^15 + 243050753008662993012918963569414632759928632972398589/130890430181\ 46022109133609251066246559505228108294047*c_0101_5^14 - 527972687782754087232245866500507584100038915171971877/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^13 - 7376048970346516516160853726774555041597976606459359996/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^12 + 5993254742259166528326877638796650811566737147143208132/13089043018\ 146022109133609251066246559505228108294047*c_0101_5^11 - 9835563892553560005510946120880100350149908634054976707/13089043018\ 146022109133609251066246559505228108294047*c_0101_5^10 + 4144627047138130220661327198455679358851158042214780604/43630143393\ 82007369711203083688748853168409369431349*c_0101_5^9 - 32036714347102225486708662659415755475073708257848099452/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^8 + 21554395970336785282097953579290206281833407582172405923/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^7 - 8478072963059333044946925900174283732972040403734707838/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^6 + 1689971924839193592081382812789003765456848199860717003/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^5 + 181858868761037179631736282602849441784813304103150633/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^4 - 658744958644557055559612547338070954254148177908645701/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^3 + 77510439355691620029774407771389020611746433518872559/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^2 - 24733234610017020986739305393861521992830741153147717/4363014339382\ 007369711203083688748853168409369431349*c_0101_5 - 4262761914038097132656868520682208788376170856009932/43630143393820\ 07369711203083688748853168409369431349, c_0011_3 + 1619537078705224712003695590089716234687157655031276/3926712\ 9054438066327400827753198739678515684324882141*c_0101_5^24 + 15426091325570489217107426634780260104259025695788894/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^23 + 49261868045073137295307704067452406257187515729447815/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^22 + 127873293704714572562748431087961739386761622426477034/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^21 + 303390672671434018386452304202041355292802407380752818/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^20 + 13149020505419470805109225251079820528135296907513721/4363014339382\ 007369711203083688748853168409369431349*c_0101_5^19 + 277922535301948126772271900871518801450670222517970032/130890430181\ 46022109133609251066246559505228108294047*c_0101_5^18 - 900896353453302792452977242428276969185920264749423459/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^17 + 1299808990263890183123623484887488964646027229156303718/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^16 - 3928410445334337999116689413871615799364168864377191684/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^15 + 590762376903342576379474590697340373613560028550613200/130890430181\ 46022109133609251066246559505228108294047*c_0101_5^14 - 1101887868554810712379914411789363996021996911053242884/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^13 - 16790844269185424566034654446059792400956016661864073212/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^12 + 14283042993377784820463848167003821515659955076764403707/1308904301\ 8146022109133609251066246559505228108294047*c_0101_5^11 - 23015851412344997885339754349341178003583892509675660470/1308904301\ 8146022109133609251066246559505228108294047*c_0101_5^10 + 9819298677013171934287872303322721780061108301862215222/43630143393\ 82007369711203083688748853168409369431349*c_0101_5^9 - 75503700074533811533339810286692613385500359619895045976/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^8 + 50380523452033449865794173297880061797321626631665800634/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^7 - 19790181463585152137236253957095146398328886769643362522/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^6 + 3131425709179229754573967627144632075716283937180580471/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^5 + 305958112283259335425560460401661359676278927089631260/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^4 - 1840068788330901223532788109682529031016818380221505120/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^3 + 26053510188061216618248879334812101438862670907614039/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^2 - 197332682226515496101471179529130861190676496275315257/130890430181\ 46022109133609251066246559505228108294047*c_0101_5 - 6915162673151906824933705804107030319958396215371584/43630143393820\ 07369711203083688748853168409369431349, c_0101_0 - 6133701171457143785910166038083424855579953855060963/3926712\ 9054438066327400827753198739678515684324882141*c_0101_5^24 - 58979930515926176747661589746542241015512547125249429/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^23 - 192098571434220211600478310321458379544010141518485043/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^22 - 503575650569536315245300996958631511144917138782212185/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^21 - 1201682220757537274224454281780164203993326603834639177/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^20 - 64053690835116834027535074894561431285153562097489968/4363014339382\ 007369711203083688748853168409369431349*c_0101_5^19 - 1085752341656924518275017741387767333570355314734364381/13089043018\ 146022109133609251066246559505228108294047*c_0101_5^18 + 3069880197240066020630256026582989602434769380289305836/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^17 - 4757488783620226754893016172695824262079982232408518673/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^16 + 14454038926594596750023565949318927747233301922175487130/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^15 - 1830728047486302086005301346822927474010607308478881678/13089043018\ 146022109133609251066246559505228108294047*c_0101_5^14 + 3973382746243124710295523952945218000894173309620385881/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^13 + 64065093310465689064076918903182531088228249559929162338/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^12 - 52159563626477031691673520410062449470060197469669271443/1308904301\ 8146022109133609251066246559505228108294047*c_0101_5^11 + 83056223256023846648291993741877068895646502587641707969/1308904301\ 8146022109133609251066246559505228108294047*c_0101_5^10 - 35015491197276816045680357534213471041118007373394416272/4363014339\ 382007369711203083688748853168409369431349*c_0101_5^9 + 261225847872927423400146043264840196849012289443138067587/392671290\ 54438066327400827753198739678515684324882141*c_0101_5^8 - 171024854021442267358507376164700518799853089250062397493/392671290\ 54438066327400827753198739678515684324882141*c_0101_5^7 + 61088398331004140518201042487491332001197712250440607899/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^6 - 6521794729233947652237638287686050439482950184797982266/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^5 - 2420578955005692646180974256409704468337646109512064120/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^4 + 7290763880204672053761910857774460317097984174281708008/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^3 + 406372134149378034320184799926661679185850537532622375/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^2 + 790129891846495719612230856888538642942618420631407634/130890430181\ 46022109133609251066246559505228108294047*c_0101_5 + 49241581326942623360003623439831511569598306956790832/4363014339382\ 007369711203083688748853168409369431349, c_0101_3 + 845436010509512531108358017617110000042006308053241/39267129\ 054438066327400827753198739678515684324882141*c_0101_5^24 + 8036319406002639877018952583683335244351180977262945/39267129054438\ 066327400827753198739678515684324882141*c_0101_5^23 + 25589691069683952199212021396891409502815650149212801/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^22 + 66626568225780968845890644713871297042825904062752076/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^21 + 158844719312750903908548298968491960405563009095253627/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^20 + 21360721375005288598748371191353748149689528302595993/1308904301814\ 6022109133609251066246559505228108294047*c_0101_5^19 + 149242237140275165311672923917811495574775786011486912/130890430181\ 46022109133609251066246559505228108294047*c_0101_5^18 - 457485269973988758491672215070007866126610088847919916/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^17 + 717776890649345196576194115835374191061234693650933498/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^16 - 2036543368856797810603189556390356743615348256456983527/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^15 + 322059636285814712386954738957325077585206932412031496/130890430181\ 46022109133609251066246559505228108294047*c_0101_5^14 - 627733639589549215638526231272884934750066439770917242/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^13 - 8880795899892910618802616067391545840643920399325945872/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^12 + 7503150727245407231234624492811783378865808928370596703/13089043018\ 146022109133609251066246559505228108294047*c_0101_5^11 - 12261343386863756342612001169586968170373536250701321941/1308904301\ 8146022109133609251066246559505228108294047*c_0101_5^10 + 5200308859985707697284858446015029687461264180378583674/43630143393\ 82007369711203083688748853168409369431349*c_0101_5^9 - 39925860437059041043249313633207415943739162406720479513/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^8 + 26501497734385725543732019788809713388584142977230038485/3926712905\ 4438066327400827753198739678515684324882141*c_0101_5^7 - 9765136762642290969234853478847395748508010213675415673/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^6 + 1256242304163820774039741511706708016705508803384616623/39267129054\ 438066327400827753198739678515684324882141*c_0101_5^5 + 344713635681931273529413534021884838219652936668548013/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^4 - 907775980718743108745368041614892534695331148259283014/392671290544\ 38066327400827753198739678515684324882141*c_0101_5^3 - 65433767367861897888304213165462950565558636119472081/3926712905443\ 8066327400827753198739678515684324882141*c_0101_5^2 - 37562571450193402386564179762245794113849311884452483/4363014339382\ 007369711203083688748853168409369431349*c_0101_5 - 5816091774360468146390001902046866358898905771329575/43630143393820\ 07369711203083688748853168409369431349, c_0101_5^25 + 10*c_0101_5^24 + 35*c_0101_5^23 + 94*c_0101_5^22 + 227*c_0101_5^21 + 168*c_0101_5^20 + 564*c_0101_5^19 - 299*c_0101_5^18 + 574*c_0101_5^17 - 2056*c_0101_5^16 - 24*c_0101_5^15 - 278*c_0101_5^14 - 10703*c_0101_5^13 + 21507*c_0101_5^12 - 30666*c_0101_5^11 + 35460*c_0101_5^10 - 22324*c_0101_5^9 + 10928*c_0101_5^8 + 1222*c_0101_5^7 - 3040*c_0101_5^6 + 854*c_0101_5^5 - 1039*c_0101_5^4 - 542*c_0101_5^3 - 414*c_0101_5^2 - 225*c_0101_5 - 27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB