Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 3852761350] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0587 geometric_solution 4.60438723 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.301842690133 0.185007383575 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.988303846259 0.720694823139 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -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 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.110268971677 0.267607640724 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 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 -1 1 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 1.790129706679 1.533344208242 3 6 5 5 0132 0132 2310 1230 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 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.316326321199 1.121400644625 4 4 6 3 3012 3201 3201 0132 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 0 -1 1 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.316326321199 1.121400644625 5 4 6 6 2310 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 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.209838636422 0.407185142726 ==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' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], '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' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 485378665372525290439868803/294535048097200691562353*c_0101_5^19 + 4098994596961637909278557264/294535048097200691562353*c_0101_5^18 - 27709059334306944733141272/294535048097200691562353*c_0101_5^17 - 3787756135778666542339200576/22656542161323130120181*c_0101_5^16 - 26235689850818400866694090746/294535048097200691562353*c_0101_5^15 + 159761785094432002253681562038/294535048097200691562353*c_0101_5^14 - 60537755549071617007015476052/294535048097200691562353*c_0101_5^1\ 3 - 14680132154254774318957973180/22656542161323130120181*c_0101_5^\ 12 + 91983783848775928034002894242/26775913463381881051123*c_0101_5\ ^11 - 668608781862437022018442771483/294535048097200691562353*c_010\ 1_5^10 - 240391505226604070478673138167/26775913463381881051123*c_0\ 101_5^9 + 3517034629104707601457361393758/294535048097200691562353*\ c_0101_5^8 + 241311078841355337813330227485/29453504809720069156235\ 3*c_0101_5^7 - 1939667443938978728488933055781/29453504809720069156\ 2353*c_0101_5^6 + 436450698348315354275408128967/294535048097200691\ 562353*c_0101_5^5 + 271419210420248549489001755761/2945350480972006\ 91562353*c_0101_5^4 - 37382759794027273118300131774/294535048097200\ 691562353*c_0101_5^3 - 22602577254654205011026235586/29453504809720\ 0691562353*c_0101_5^2 - 1757881160864290560086708836/29453504809720\ 0691562353*c_0101_5 + 190386035068187649025369817/29453504809720069\ 1562353, c_0011_0 - 1, c_0011_3 - 3804150251679808537764082/26775913463381881051123*c_0101_5^1\ 9 - 33182336394851905089896100/26775913463381881051123*c_0101_5^18 - 8772927525597193675449097/26775913463381881051123*c_0101_5^17 + 29646464344857440628516197/2059685651029375465471*c_0101_5^16 + 312745294096463702118666994/26775913463381881051123*c_0101_5^15 - 1188153279309275728208613636/26775913463381881051123*c_0101_5^14 + 131086334821362590971521137/26775913463381881051123*c_0101_5^13 + 123518137871635445900442035/2059685651029375465471*c_0101_5^12 - 7508323405551925842270008028/26775913463381881051123*c_0101_5^11 + 3064797585504360300204948005/26775913463381881051123*c_0101_5^10 + 22041220925953368511990265836/26775913463381881051123*c_0101_5^9 - 21729056301242860551459535435/26775913463381881051123*c_0101_5^8 - 9171370630837940557462336627/26775913463381881051123*c_0101_5^7 + 14223635907940427894232750478/26775913463381881051123*c_0101_5^6 + 729498402904216625355735523/26775913463381881051123*c_0101_5^5 - 2819680384082857212426884005/26775913463381881051123*c_0101_5^4 - 335921988120682973505665305/26775913463381881051123*c_0101_5^3 + 220470460144664229639723343/26775913463381881051123*c_0101_5^2 + 64612335499475289153886782/26775913463381881051123*c_0101_5 + 5220281876132270914342453/26775913463381881051123, c_0011_5 - 2237245784599981795396524/26775913463381881051123*c_0101_5^1\ 9 - 19557691946014793563692558/26775913463381881051123*c_0101_5^18 - 5568584002597504736771978/26775913463381881051123*c_0101_5^17 + 17402525937153774001922722/2059685651029375465471*c_0101_5^16 + 187961954349105079745793486/26775913463381881051123*c_0101_5^15 - 691957980425777608514607694/26775913463381881051123*c_0101_5^14 + 68882865325641337137251516/26775913463381881051123*c_0101_5^13 + 72217140791862866180362424/2059685651029375465471*c_0101_5^12 - 4401362240191280061152696193/26775913463381881051123*c_0101_5^11 + 1729406320995506904914330242/26775913463381881051123*c_0101_5^10 + 12937341966613394139883245093/26775913463381881051123*c_0101_5^9 - 12545294093548331803893590556/26775913463381881051123*c_0101_5^8 - 5450462500590067858043459702/26775913463381881051123*c_0101_5^7 + 8199994552798011617728235101/26775913463381881051123*c_0101_5^6 + 464778541268215715290956913/26775913463381881051123*c_0101_5^5 - 1612775920721267874980676633/26775913463381881051123*c_0101_5^4 - 197143658451567290516652481/26775913463381881051123*c_0101_5^3 + 124576221527176218165710369/26775913463381881051123*c_0101_5^2 + 36658381442566455218933723/26775913463381881051123*c_0101_5 + 2946644722219712467303101/26775913463381881051123, c_0101_0 + 2277111773545006694107321/26775913463381881051123*c_0101_5^1\ 9 + 19863404758406620785616063/26775913463381881051123*c_0101_5^18 + 5291150753219522254478629/26775913463381881051123*c_0101_5^17 - 17723182130404437260571046/2059685651029375465471*c_0101_5^16 - 187067555244499116648409573/26775913463381881051123*c_0101_5^15 + 708063303197228361181975519/26775913463381881051123*c_0101_5^14 - 82381127739976806174282962/26775913463381881051123*c_0101_5^13 - 73365957161005124971512742/2059685651029375465471*c_0101_5^12 + 4496384852136558967535887469/26775913463381881051123*c_0101_5^11 - 1844229722156833215392130843/26775913463381881051123*c_0101_5^10 - 13137297037975280151284908849/26775913463381881051123*c_0101_5^9 + 13004565267076761051826097484/26775913463381881051123*c_0101_5^8 + 5317768867654715417906889120/26775913463381881051123*c_0101_5^7 - 8422468853284518653331230847/26775913463381881051123*c_0101_5^6 - 333245953433990824129115995/26775913463381881051123*c_0101_5^5 + 1632155921748376070651926376/26775913463381881051123*c_0101_5^4 + 177265823756293313380068493/26775913463381881051123*c_0101_5^3 - 125948554145539393390424351/26775913463381881051123*c_0101_5^2 - 35476587219730812694221876/26775913463381881051123*c_0101_5 - 2763248066883816941699706/26775913463381881051123, c_0101_1 - 835663244668112067480772/26775913463381881051123*c_0101_5^19 - 7324050935958723565661704/26775913463381881051123*c_0101_5^18 - 2220605471448986367216975/26775913463381881051123*c_0101_5^17 + 6513218395597066118507340/2059685651029375465471*c_0101_5^16 + 72246276973594351279519120/26775913463381881051123*c_0101_5^15 - 259184935960264566813293074/26775913463381881051123*c_0101_5^14 + 17186190700572673608140704/26775913463381881051123*c_0101_5^13 + 27472226847238489159713176/2059685651029375465471*c_0101_5^12 - 1635588251468808439829003933/26775913463381881051123*c_0101_5^11 + 600476833567707964611699642/26775913463381881051123*c_0101_5^10 + 4891051552094514853603898726/26775913463381881051123*c_0101_5^9 - 4582673861096080396128648085/26775913463381881051123*c_0101_5^8 - 2270302360800812197263553287/26775913463381881051123*c_0101_5^7 + 3106949132758416623025469107/26775913463381881051123*c_0101_5^6 + 300508862260746215515645764/26775913463381881051123*c_0101_5^5 - 649454605884498869639646181/26775913463381881051123*c_0101_5^4 - 93323565706001739089269660/26775913463381881051123*c_0101_5^3 + 50300008310112377172255778/26775913463381881051123*c_0101_5^2 + 15878524108539554558428385/26775913463381881051123*c_0101_5 + 1362319865902148668669326/26775913463381881051123, c_0101_2 + 919505203461778510967190/26775913463381881051123*c_0101_5^19 + 8053002016466151850125314/26775913463381881051123*c_0101_5^18 + 2446469427362521629413595/26775913463381881051123*c_0101_5^17 - 7129443598103257968418687/2059685651029375465471*c_0101_5^16 - 78542291727984224390605908/26775913463381881051123*c_0101_5^15 + 280420449799722180460820629/26775913463381881051123*c_0101_5^14 - 27496273816631287293561817/26775913463381881051123*c_0101_5^13 - 29212265974970710959865330/2059685651029375465471*c_0101_5^12 + 1804936245941368400267964069/26775913463381881051123*c_0101_5^11 - 691723131964048695518372237/26775913463381881051123*c_0101_5^10 - 5278106798537344107439126535/26775913463381881051123*c_0101_5^9 + 5073731872705132448205907386/26775913463381881051123*c_0101_5^8 + 2166073604638824173749258561/26775913463381881051123*c_0101_5^7 - 3256868088281563053170998451/26775913463381881051123*c_0101_5^6 - 151006698957757065729031376/26775913463381881051123*c_0101_5^5 + 613329453074251113126556768/26775913463381881051123*c_0101_5^4 + 69914261927993698454054158/26775913463381881051123*c_0101_5^3 - 45737105272744187300679153/26775913463381881051123*c_0101_5^2 - 12949770737640375705037776/26775913463381881051123*c_0101_5 - 1001713422305802098426570/26775913463381881051123, c_0101_5^20 + 8*c_0101_5^19 - 4*c_0101_5^18 - 103*c_0101_5^17 - 9*c_0101_5^16 + 372*c_0101_5^15 - 260*c_0101_5^14 - 398*c_0101_5^13 + 2279*c_0101_5^12 - 2231*c_0101_5^11 - 5217*c_0101_5^10 + 9902*c_0101_5^9 - 1703*c_0101_5^8 - 5498*c_0101_5^7 + 2508*c_0101_5^6 + 889*c_0101_5^5 - 449*c_0101_5^4 - 123*c_0101_5^3 + 25*c_0101_5^2 + 11*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB