Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 1932717968] 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' : 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_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 - 107863603637272335251854188183620764975603054766442699260/413089339\ 7409020970851009700063720269738607046564666997*c_0110_6^20 - 332174395161201993208752404055116951323849810605619079306/413089339\ 7409020970851009700063720269738607046564666997*c_0110_6^19 + 730692513590403464771450703852920251981704499913222975108/413089339\ 7409020970851009700063720269738607046564666997*c_0110_6^18 - 6838825057837972322186846117607370783896235539677339440533/41308933\ 97409020970851009700063720269738607046564666997*c_0110_6^17 + 34604870229340713945743437430258806583058338842845566142418/4130893\ 397409020970851009700063720269738607046564666997*c_0110_6^16 + 15716318311524154895825357741413956466299195976580676610487/3755357\ 63400820088259182700005792751794418822414969727*c_0110_6^15 - 169098879984956935866087575705777391392889928378438070285850/413089\ 3397409020970851009700063720269738607046564666997*c_0110_6^14 + 1982602757815843201444003915671607769175704078186978111974716/41308\ 93397409020970851009700063720269738607046564666997*c_0110_6^13 - 36834443051871545272919543109329043663501235110905241666987/3755357\ 63400820088259182700005792751794418822414969727*c_0110_6^12 - 4092029936773943616579018804406212420300946008513387006013885/41308\ 93397409020970851009700063720269738607046564666997*c_0110_6^11 - 59343883048511140778288889364821887408054718643653268370887/9606728\ 8311837696996535109303807448133455977827085279*c_0110_6^10 - 726823678369037784594932466713828848005187214338287661649983/413089\ 3397409020970851009700063720269738607046564666997*c_0110_6^9 + 1326414682080790169690578508825451969051620277562367923655408/41308\ 93397409020970851009700063720269738607046564666997*c_0110_6^8 + 67822604442318395818672355329684100882811686461232437583398/4130893\ 397409020970851009700063720269738607046564666997*c_0110_6^7 + 186250691114779359243745263222717701883299911779701605233836/413089\ 3397409020970851009700063720269738607046564666997*c_0110_6^6 + 55627827173793003393454860831861469365605472016212033500489/3755357\ 63400820088259182700005792751794418822414969727*c_0110_6^5 - 162028583216833644768755411410741362960575727011073206406617/413089\ 3397409020970851009700063720269738607046564666997*c_0110_6^4 + 921445047755785588879515046829780333561453745759967567367/413089339\ 7409020970851009700063720269738607046564666997*c_0110_6^3 - 53479216492089226748234478951178418467848095592423770191360/4130893\ 397409020970851009700063720269738607046564666997*c_0110_6^2 - 4522817636730441004585611816044100997528506063738895182977/41308933\ 97409020970851009700063720269738607046564666997*c_0110_6 + 1169475258547335170011259036094619636465008498365279405066/41308933\ 97409020970851009700063720269738607046564666997, c_0011_0 - 1, c_0011_1 - 5719753275332455374384118274107859457956231146650882/9606728\ 8311837696996535109303807448133455977827085279*c_0110_6^20 - 16944094918838577911330739771137559078791443258296963/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6^19 + 40636975232490123983914203852831556694836222035247736/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6^18 - 367809227064404553710931971866777410189141839175485687/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^17 + 1878402115040746642563797584510468014641072509465149032/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^16 + 812887511914084260711770864444314770292929674968777068/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^15 - 9990529856276173176024210064855092446348770098399463416/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^14 + 106488029909409481894048954126246218322963879162619176298/960672883\ 11837696996535109303807448133455977827085279*c_0110_6^13 - 3084857391612324100737067236683000876134497893578654918/87333898465\ 30699726957737209437040739405088893371389*c_0110_6^12 - 211350127611036414670249408762432980691568994274748031994/960672883\ 11837696996535109303807448133455977827085279*c_0110_6^11 - 109037935337800159061412610129429357674692030066145828626/960672883\ 11837696996535109303807448133455977827085279*c_0110_6^10 - 28997988563307120804990960024702234883239724795928364027/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^9 + 67354286905070352585012218083954391414324971444831167196/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^8 - 9067443368915468313734498488069266642392344745352622736/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^7 + 10456144980229531254255428560330320123026309675495161236/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^6 + 2935215579317340957747084409052909629217700109078797592/87333898465\ 30699726957737209437040739405088893371389*c_0110_6^5 - 11862310430968689934934484853864753793413070871776614039/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^4 + 1824625124418355142988174476260140286658752263376113183/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^3 - 2692756914750276241203272029001332211549102467615013134/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^2 + 277083787156094929233155766247918027088921900065431209/960672883118\ 37696996535109303807448133455977827085279*c_0110_6 + 21471820205135954107194123973528490330799820405188244/9606728831183\ 7696996535109303807448133455977827085279, c_0011_4 - 857665988699375184969851593548205217654363210012488/96067288\ 311837696996535109303807448133455977827085279*c_0110_6^20 - 2517141451721435836549544376383610947631252175779215/96067288311837\ 696996535109303807448133455977827085279*c_0110_6^19 + 6267328441934348490892759631314744321359316063499648/96067288311837\ 696996535109303807448133455977827085279*c_0110_6^18 - 55000848921528058086647617754122962635763198605041680/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6^17 + 282493753777908910714394423670839433418202298476879388/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^16 + 121793973067910362906401077277832472686647758126648867/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^15 - 1568501183506568146059980408785079059191109109887466426/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^14 + 15843922947340013574804080761325468117813088407602086863/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^13 - 488077525114539601400175869867136893619223475833310035/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^12 - 33504217360541293586300157032222065507694331190112250608/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^11 - 15048343253383398793904613786323530044258040884333382312/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^10 - 350069580922237205800657076145151736310821487889470790/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^9 + 12497003354910642474632131575080860369572668335872937099/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^8 - 77517006749733547589695359298861403897477949267596312/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6^7 + 1124358608973063836374894454980040925004841265735211037/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^6 + 481476540809056899277189562844712101008039852874754414/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^5 - 2001068082460579298865331470985567881151698698113304610/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^4 - 309791581602313528932287914599720606575992119751104617/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^3 - 364997941216414036102021370893086091849678568521217248/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^2 - 219594165006280757866134294051237275010302467306344836/960672883118\ 37696996535109303807448133455977827085279*c_0110_6 + 19741765644389725361470876751001226825016439202483310/9606728831183\ 7696996535109303807448133455977827085279, c_0101_0 - 4183463449440979302986313207175397768986268605390136/9606728\ 8311837696996535109303807448133455977827085279*c_0110_6^20 - 12555221262069937142639535879395897253038565869364947/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6^19 + 29316897584001958473781007316730998706462179807347136/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6^18 - 267674238095644547399207504211435821832234459859151915/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^17 + 1362782632386439353076344988802588321093200537361102644/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^16 + 599840479592022503147434948869600123215695065196727198/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^15 - 7080249154144521839955231191993508274084145311977783834/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^14 + 77493551690147349219272631462982390507552138386884360309/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^13 - 1964590164886196113614506289960707884932131994595920873/87333898465\ 30699726957737209437040739405088893371389*c_0110_6^12 - 156934130586738171333799761906117487111200006021354843132/960672883\ 11837696996535109303807448133455977827085279*c_0110_6^11 - 84681582638127035014004501968365209399763532309063896816/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^10 - 21135026452497897032292522920439664987964200243456437069/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^9 + 49428227134556294342915139387741953095412730211906740580/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^8 - 6087701251039388760089815348595324934221023155929229081/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^7 + 3923088995009448636801269772966239966393834117336721058/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^6 + 2026331258152637971801963500178270119893288917474539064/87333898465\ 30699726957737209437040739405088893371389*c_0110_6^5 - 8497595857488661952514555392927372797327879208803973537/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^4 + 1018979275152756096638130762316127663594036650049204864/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^3 - 1461430159624436059651936585919393809783642402840867096/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^2 + 161110150296314099923865494523454317907870410433653902/960672883118\ 37696996535109303807448133455977827085279*c_0110_6 + 101893474111204276192253040057243631185223417304801040/960672883118\ 37696996535109303807448133455977827085279, c_0101_2 + 1424263817990349642119337814646629058041064525150817/9606728\ 8311837696996535109303807448133455977827085279*c_0110_6^20 + 4627544375415447904838833972530638034279767208480739/96067288311837\ 696996535109303807448133455977827085279*c_0110_6^19 - 8591995415321199826788651576751765517996304661027414/96067288311837\ 696996535109303807448133455977827085279*c_0110_6^18 + 89621182513199044537873758596706091146129818559763626/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6^17 - 443723902231784412948009368159774518893186144054098053/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^16 - 212738324647656891888866704569023072051344443347031880/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^15 + 1744775186573594237888569204785696675376013258002115584/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^14 - 26296073186327444384889057490501748255241895098689792930/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^13 + 127596126708978288334453120501999690615789081739285885/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^12 + 49085786468121256040456797175922486444045317067667194459/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^11 + 44204516192173040310594518228531805303110165918300288579/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^10 + 26264158582797587530915772371099842634090901687427091482/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^9 - 9253589176358190753718134580399121182262780934178982535/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^8 - 287376167651693414879464282863255639275402213468464871/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^7 - 3861864701671784426257078004353978716061743101230263115/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^6 - 625684799936603813430109422199532193892107294879862344/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^5 + 198713642215303371599973632829659122816968434411672382/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^4 - 1723905747704344753965358275730572949470210674490019164/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^3 + 976628061276266103231907707668310466950306500641938267/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^2 - 37858683230143349567095383494468654493171652357731314/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6 + 60297501639297044746148772347062818334938770830749162/9606728831183\ 7696996535109303807448133455977827085279, c_0101_3 + 2391605532687394517620592823422526758032104759597336/9606728\ 8311837696996535109303807448133455977827085279*c_0110_6^20 + 7147152595242226642486493312743923456266560808932194/96067288311837\ 696996535109303807448133455977827085279*c_0110_6^19 - 16746868624517111626027295968738868945056198036226702/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6^18 + 153537056472033470682176286396413526158589497973026608/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^17 - 781827165717466267039912658277064913222664726829867839/960672883118\ 37696996535109303807448133455977827085279*c_0110_6^16 - 341411395974606415218623233374466517033562923120676535/873338984653\ 0699726957737209437040739405088893371389*c_0110_6^15 + 4060909162611046725824799004888733173796276496443724902/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^14 - 44515182695172309063529372164299751969369889725348590298/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^13 + 1193172620564752369545571771330662164029772304672231546/87333898465\ 30699726957737209437040739405088893371389*c_0110_6^12 + 87659827583275780641518070798988974904629248218545425770/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^11 + 48046294183995626771708670809321793070133175617447551501/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^10 + 15894845838180234897902944442040006386164680161383629479/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^9 - 26565081633273958479946663324323488343008718301038377751/9606728831\ 1837696996535109303807448133455977827085279*c_0110_6^8 + 3093527098570487076477609645536961210846619051530580061/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^7 - 4992385860371510301167830109216367457917453211226453708/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^6 - 1247261587374589959027689594496344436568483174571476722/87333898465\ 30699726957737209437040739405088893371389*c_0110_6^5 + 4487470661178181596678967155413954752681309059274684153/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^4 - 1340620138091319870732836288461153669518016297616159373/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^3 + 1179002337072991956762672515570379221841109111268439266/96067288311\ 837696996535109303807448133455977827085279*c_0110_6^2 + 42225022979749676984738099572514720041285811088879013/9606728831183\ 7696996535109303807448133455977827085279*c_0110_6 + 6638913578388657968323859879153960364900283758769404/96067288311837\ 696996535109303807448133455977827085279, c_0110_6^21 + 3*c_0110_6^20 - 7*c_0110_6^19 + 64*c_0110_6^18 - 326*c_0110_6^17 - 1576*c_0110_6^16 + 1689*c_0110_6^15 - 18536*c_0110_6^14 + 5251*c_0110_6^13 + 37282*c_0110_6^12 + 20730*c_0110_6^11 + 5585*c_0110_6^10 - 12415*c_0110_6^9 + 458*c_0110_6^8 - 1927*c_0110_6^7 - 5543*c_0110_6^6 + 1916*c_0110_6^5 - 239*c_0110_6^4 + 532*c_0110_6^3 - c_0110_6^2 - 3*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB