Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 3448525087] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1298 geometric_solution 5.18902154 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.201324524554 0.111030544902 0 0 2 2 0132 2310 2310 0132 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 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 2.983319398414 2.024207323693 3 1 1 4 0132 3201 0132 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 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.191358750972 0.650576529754 2 5 4 6 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257406458628 0.488927029643 3 6 2 5 2031 1023 0132 2310 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 0 1 -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.257406458628 0.488927029643 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.156895036280 1.601423708581 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825263447312 1.005337582291 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 146266439263183137806578253943810446376535193603907/179190203710990\ 0132740222975228231277747238041120*c_0110_5^19 + 39122202737192925704291001844413109941272162064179/3199825066267678\ 8084646838843361272816914965020*c_0110_5^18 + 4291890559138743486695922348026414282808787639227163/89595101855495\ 0066370111487614115638873619020560*c_0110_5^17 + 97060216347997204505317387386591928099869566856793/1178882919151250\ 0873290940626501521564126566060*c_0110_5^16 + 21805084624304677707589222991100037585594828817463297/4479755092774\ 75033185055743807057819436809510280*c_0110_5^15 - 5710710083888127902505223639535538630397612692970413/89595101855495\ 0066370111487614115638873619020560*c_0110_5^14 + 62218512894560068661591652273431188952951088952689163/8959510185549\ 50066370111487614115638873619020560*c_0110_5^13 - 5715612872483006255299983541614613608379867352539109/31998250662676\ 788084646838843361272816914965020*c_0110_5^12 - 25166707499179310155293354307504122261403302851691129/1279930026507\ 07152338587355373445091267659860080*c_0110_5^11 - 1179250177926577605167782309616551708787713949610417693/17919020371\ 09900132740222975228231277747238041120*c_0110_5^10 - 410760572835207969064426801473971568825340311264971117/447975509277\ 475033185055743807057819436809510280*c_0110_5^9 - 2265565258277401848317522256192522087147425117928995/23577658383025\ 00174658188125300304312825313212*c_0110_5^8 - 507068199565229249682046731104054370154606085469948115/358380407421\ 980026548044595045646255549447608224*c_0110_5^7 - 8214039891105251335751995609009864634513033951705187/63996501325353\ 576169293677686722545633829930040*c_0110_5^6 - 252524071171459865045491744812838285385080434453583771/358380407421\ 980026548044595045646255549447608224*c_0110_5^5 + 681471451668610539180675378430849084356674435821495903/179190203710\ 9900132740222975228231277747238041120*c_0110_5^4 + 851830450414009495242801268889672236411398527953331821/179190203710\ 9900132740222975228231277747238041120*c_0110_5^3 + 18659977915967205550633192572968296217913670214034313/8145009259590\ 4551488191953419465058079419910960*c_0110_5^2 + 103591477836434659175555810890262907702749402623071701/179190203710\ 9900132740222975228231277747238041120*c_0110_5 + 1213419538894431199616059279070014472600902082253077/22398775463873\ 7516592527871903528909718404755140, c_0011_0 - 1, c_0011_2 + 6798996548939399451048990992850406904925121/3062033556237013\ 2138418027601302653413315756*c_0110_5^19 + 100590865091026081119052008554499042010233229/306203355623701321384\ 18027601302653413315756*c_0110_5^18 + 190274348325712529372793130509033190561622395/153101677811850660692\ 09013800651326706657878*c_0110_5^17 + 307979002003523157808908096688578539491089489/153101677811850660692\ 09013800651326706657878*c_0110_5^16 + 985327125645517153264662737304132102444572405/765508389059253303460\ 4506900325663353328939*c_0110_5^15 - 627053309294223656635270499443477328933768133/153101677811850660692\ 09013800651326706657878*c_0110_5^14 + 1503574948149116533540792017695482895584736014/76550838905925330346\ 04506900325663353328939*c_0110_5^13 - 7990945232495994903179284116864226263579537883/15310167781185066069\ 209013800651326706657878*c_0110_5^12 - 6723630424136303099881993140749304011915900137/15310167781185066069\ 209013800651326706657878*c_0110_5^11 - 52347181877916093759598759469567002271939649701/3062033556237013213\ 8418027601302653413315756*c_0110_5^10 - 66772394548619284786917433817490259778635578639/3062033556237013213\ 8418027601302653413315756*c_0110_5^9 - 16944423633169677558865523378055786869555406309/7655083890592533034\ 604506900325663353328939*c_0110_5^8 - 105411969897267613923410124404480046814410836873/306203355623701321\ 38418027601302653413315756*c_0110_5^7 + 8667798869558914909315448014042664069272152611/30620335562370132138\ 418027601302653413315756*c_0110_5^6 - 60262144776306250945241911471243797651291493525/3062033556237013213\ 8418027601302653413315756*c_0110_5^5 + 10686113652631405835535899342238361620716464650/7655083890592533034\ 604506900325663353328939*c_0110_5^4 + 7941155896464524726354052190480493273240975118/76550838905925330346\ 04506900325663353328939*c_0110_5^3 + 13221864037946865717889191442569383055121643861/3062033556237013213\ 8418027601302653413315756*c_0110_5^2 + 2398788586863817429182475760557390040453992269/30620335562370132138\ 418027601302653413315756*c_0110_5 + 4823204389206551463924790896997699105712059/30620335562370132138418\ 027601302653413315756, c_0011_4 - 3916339350926464703232883938283466145273977/3062033556237013\ 2138418027601302653413315756*c_0110_5^19 - 28886817462562421615493271119454084390054209/1531016778118506606920\ 9013800651326706657878*c_0110_5^18 - 54181470396496654328077210338236413079305872/7655083890592533034604\ 506900325663353328939*c_0110_5^17 - 172800037996044286173371181536814751244550317/153101677811850660692\ 09013800651326706657878*c_0110_5^16 - 563961155796111848093834362191635589056472355/765508389059253303460\ 4506900325663353328939*c_0110_5^15 + 204663329075335628215818392299546143437114002/765508389059253303460\ 4506900325663353328939*c_0110_5^14 - 876112917420450505287068966500249333324050705/765508389059253303460\ 4506900325663353328939*c_0110_5^13 + 2339452747986532916195037302066790943767660672/76550838905925330346\ 04506900325663353328939*c_0110_5^12 + 1833481146431873506141072838447782614265784003/76550838905925330346\ 04506900325663353328939*c_0110_5^11 + 29855183316769095766366026430202774807287979717/3062033556237013213\ 8418027601302653413315756*c_0110_5^10 + 18596398830233120500152800907178149336309674861/1531016778118506606\ 9209013800651326706657878*c_0110_5^9 + 9377705573458942412937529093245448537240060040/76550838905925330346\ 04506900325663353328939*c_0110_5^8 + 59199923353113807543332425844006096519922744773/3062033556237013213\ 8418027601302653413315756*c_0110_5^7 - 3715108455463875980252074155619017303300600647/15310167781185066069\ 209013800651326706657878*c_0110_5^6 + 35197148332736316470304713845584652886234719783/3062033556237013213\ 8418027601302653413315756*c_0110_5^5 - 26110389560301642271836040077783809397113847873/3062033556237013213\ 8418027601302653413315756*c_0110_5^4 - 17081563446743664338569237361777404164427594643/3062033556237013213\ 8418027601302653413315756*c_0110_5^3 - 3472287419980071886236180963687484574862948139/15310167781185066069\ 209013800651326706657878*c_0110_5^2 - 1136068224215905725953103921971657482626962193/30620335562370132138\ 418027601302653413315756*c_0110_5 + 9922175782058903122818803171003393393850011/15310167781185066069209\ 013800651326706657878, c_0101_0 + 1637172697897652804946215837647838984906098/7655083890592533\ 034604506900325663353328939*c_0110_5^19 + 48422881158897625998622015062059711868959851/1531016778118506606920\ 9013800651326706657878*c_0110_5^18 + 182954636883339337940400375752597886143040835/153101677811850660692\ 09013800651326706657878*c_0110_5^17 + 147698407363054783417938637687222253111537346/765508389059253303460\ 4506900325663353328939*c_0110_5^16 + 1895984157469190824779688468009121252562673239/15310167781185066069\ 209013800651326706657878*c_0110_5^15 - 616288067412118090092440541470264769772378447/153101677811850660692\ 09013800651326706657878*c_0110_5^14 + 1448886195366974689483823510930769757095485379/76550838905925330346\ 04506900325663353328939*c_0110_5^13 - 7711658343125618219711697307531121767798340569/15310167781185066069\ 209013800651326706657878*c_0110_5^12 - 6431306152975474085073557509303508641939818853/15310167781185066069\ 209013800651326706657878*c_0110_5^11 - 12576982611728839441472248002539926608050655497/7655083890592533034\ 604506900325663353328939*c_0110_5^10 - 15997662965320006071056388374729105337615770437/7655083890592533034\ 604506900325663353328939*c_0110_5^9 - 16204647026505882701779558807522676245163397839/7655083890592533034\ 604506900325663353328939*c_0110_5^8 - 25271257493649295350982575581190455953648471625/7655083890592533034\ 604506900325663353328939*c_0110_5^7 + 4500292311884062698812800725742215387936941351/15310167781185066069\ 209013800651326706657878*c_0110_5^6 - 29018937937681302007793296188291257949168962257/1531016778118506606\ 9209013800651326706657878*c_0110_5^5 + 20701228101551320554294861900433380543893388471/1531016778118506606\ 9209013800651326706657878*c_0110_5^4 + 15221242961421008743568002994593990969497896067/1531016778118506606\ 9209013800651326706657878*c_0110_5^3 + 6225953676519686237036023800673840568886655593/15310167781185066069\ 209013800651326706657878*c_0110_5^2 + 555481010447898377864684781951309146146459090/765508389059253303460\ 4506900325663353328939*c_0110_5 + 161742668005057864581584823442426\ 5373366100/7655083890592533034604506900325663353328939, c_0101_1 - 6070832716722221236538407823992699960607703/1531016778118506\ 6069209013800651326706657878*c_0110_5^19 - 179188503789389337321617796527398041984776985/306203355623701321384\ 18027601302653413315756*c_0110_5^18 - 336496081115018715483486643925877918366746233/153101677811850660692\ 09013800651326706657878*c_0110_5^17 - 537629372012723495856663889194415740332907247/153101677811850660692\ 09013800651326706657878*c_0110_5^16 - 3499544961862218798514389403109312417172632221/15310167781185066069\ 209013800651326706657878*c_0110_5^15 + 1248253403416644258248139489321909856288169495/15310167781185066069\ 209013800651326706657878*c_0110_5^14 - 5417406487400583334743356022856444096972722771/15310167781185066069\ 209013800651326706657878*c_0110_5^13 + 7234017363662811834129958282187597750117267638/76550838905925330346\ 04506900325663353328939*c_0110_5^12 + 11472586063726835984631271089997879517351154083/1531016778118506606\ 9209013800651326706657878*c_0110_5^11 + 23160749904654578792474833883622011356207050468/7655083890592533034\ 604506900325663353328939*c_0110_5^10 + 115850521615462240377869515379097845982874642741/306203355623701321\ 38418027601302653413315756*c_0110_5^9 + 29206176606361198962459437609750473911958136070/7655083890592533034\ 604506900325663353328939*c_0110_5^8 + 92011147931866694041883636021247140176604935409/1531016778118506606\ 9209013800651326706657878*c_0110_5^7 - 22139079088257443607727101940302255517918215539/3062033556237013213\ 8418027601302653413315756*c_0110_5^6 + 27136486076837270726335971357481134926655901556/7655083890592533034\ 604506900325663353328939*c_0110_5^5 - 80253589567584227253839139103903179663343294037/3062033556237013213\ 8418027601302653413315756*c_0110_5^4 - 53774286662870894475829138429183766003530140739/3062033556237013213\ 8418027601302653413315756*c_0110_5^3 - 21683942377931649355777332699779693856271209415/3062033556237013213\ 8418027601302653413315756*c_0110_5^2 - 879665420872377610493160844195099856897571562/765508389059253303460\ 4506900325663353328939*c_0110_5 + 647577979215920851962567977635096\ 58661844603/30620335562370132138418027601302653413315756, c_0101_5 - 4614230951833544552979745692952971426610565/3062033556237013\ 2138418027601302653413315756*c_0110_5^19 - 68111652515726974543493140158598177264244523/3062033556237013213841\ 8027601302653413315756*c_0110_5^18 - 127983585535481446221533834568461064625702049/153101677811850660692\ 09013800651326706657878*c_0110_5^17 - 204705733365703107126805531895470754150113597/153101677811850660692\ 09013800651326706657878*c_0110_5^16 - 665289500994332307570307459671137073071305234/765508389059253303460\ 4506900325663353328939*c_0110_5^15 + 470211993076904666553325142986545994607108213/153101677811850660692\ 09013800651326706657878*c_0110_5^14 - 1028654308076468249911869668520513096297581043/76550838905925330346\ 04506900325663353328939*c_0110_5^13 + 5490958969577327946189770155078992077423418623/15310167781185066069\ 209013800651326706657878*c_0110_5^12 + 4377341904168797871366046334776730397646628445/15310167781185066069\ 209013800651326706657878*c_0110_5^11 + 35233325859524484633185732623099635689525507849/3062033556237013213\ 8418027601302653413315756*c_0110_5^10 + 44140551821428918110716932844371672951583417609/3062033556237013213\ 8418027601302653413315756*c_0110_5^9 + 11134884697159996244489661049779352643614194111/7655083890592533034\ 604506900325663353328939*c_0110_5^8 + 70081042560095234465738620786718460243210986381/3062033556237013213\ 8418027601302653413315756*c_0110_5^7 - 8179314901779257106029643653735754193981861709/30620335562370132138\ 418027601302653413315756*c_0110_5^6 + 41225667595032877772592393505015613072953829333/3062033556237013213\ 8418027601302653413315756*c_0110_5^5 - 15177006490064284639041274462289688051387526043/1531016778118506606\ 9209013800651326706657878*c_0110_5^4 - 10268956482208242241212887087518953783288819511/1531016778118506606\ 9209013800651326706657878*c_0110_5^3 - 8306976413027011048668416760269569180676006551/30620335562370132138\ 418027601302653413315756*c_0110_5^2 - 1334359153864075461291696455536299440401739657/30620335562370132138\ 418027601302653413315756*c_0110_5 + 22696795771353573623353792714650655001364927/3062033556237013213841\ 8027601302653413315756, c_0110_5^20 + 15*c_0110_5^19 + 59*c_0110_5^18 + 102*c_0110_5^17 + 598*c_0110_5^16 - 66*c_0110_5^15 + 844*c_0110_5^14 - 2168*c_0110_5^13 - 2464*c_0110_5^12 - 8093*c_0110_5^11 - 11391*c_0110_5^10 - 11947*c_0110_5^9 - 17505*c_0110_5^8 - 1863*c_0110_5^7 - 8534*c_0110_5^6 + 4454*c_0110_5^5 + 6005*c_0110_5^4 + 2872*c_0110_5^3 + 732*c_0110_5^2 + 67*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB