Magma V2.19-8 Tue Aug 20 2013 16:14:08 on localhost [Seed = 3970789578] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s079 geometric_solution 3.62164046 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524336703816 0.036187722670 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0.577533070256 0.094813997613 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.964189733292 1.387822143066 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 0 1 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.073772747078 1.943689935359 5 5 3 5 1023 2031 0132 1302 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 -1 1 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.502294740625 0.507133085568 4 4 4 3 1302 1023 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502294740625 0.507133085568 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : negation(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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_4'], 'c_0011_4' : 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_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), '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_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 119678908264412344733490835446422/1616017794715929243215440863385*c\ _0101_4^21 - 481040605760463518223993439389157/16160177947159292432\ 15440863385*c_0101_4^20 + 4532582214262930822587592682570922/161601\ 7794715929243215440863385*c_0101_4^19 + 3654773047168514905515867674961529/1616017794715929243215440863385*\ c_0101_4^18 - 59307913060980659458118218016220628/16160177947159292\ 43215440863385*c_0101_4^17 - 9831787247690870190522065779841704/161\ 6017794715929243215440863385*c_0101_4^16 + 325692686920990381156257672079919241/161601779471592924321544086338\ 5*c_0101_4^15 - 2270934820301649296603765476858504/1616017794715929\ 243215440863385*c_0101_4^14 - 985854340375693610126135636772125697/\ 1616017794715929243215440863385*c_0101_4^13 + 80490959648294894849349194415452786/1616017794715929243215440863385\ *c_0101_4^12 + 363363000218482552754341405781583589/323203558943185\ 848643088172677*c_0101_4^11 - 45494205056921706897317903247157704/3\ 23203558943185848643088172677*c_0101_4^10 - 2071998701753544663764065962128517093/16160177947159292432154408633\ 85*c_0101_4^9 + 63968574089548574375344063811891132/323203558943185\ 848643088172677*c_0101_4^8 + 1398035196122340032345356708690079499/\ 1616017794715929243215440863385*c_0101_4^7 - 231185789812189802133387942409789698/161601779471592924321544086338\ 5*c_0101_4^6 - 494664844957551889038458243293247951/161601779471592\ 9243215440863385*c_0101_4^5 + 67643298117170973562763940232058663/1\ 616017794715929243215440863385*c_0101_4^4 + 69450913532969969613220233774153232/1616017794715929243215440863385\ *c_0101_4^3 + 81099701374691779593408628854068/16160177947159292432\ 15440863385*c_0101_4^2 - 2452077192371775071839039385234932/1616017\ 794715929243215440863385*c_0101_4 - 475261039121408187624418155119806/1616017794715929243215440863385, c_0011_0 - 1, c_0011_1 - 82160902011990862656634703633/323203558943185848643088172677\ *c_0101_4^21 - 350081315458429282100466614010/323203558943185848643\ 088172677*c_0101_4^20 + 2997744821548032023408240109078/32320355894\ 3185848643088172677*c_0101_4^19 + 3121613322413101248556504444464/3\ 23203558943185848643088172677*c_0101_4^18 - 38852851837573620455486976913982/323203558943185848643088172677*c_0\ 101_4^17 - 15602028226764999442740862409190/32320355894318584864308\ 8172677*c_0101_4^16 + 206247481345108716486115522095769/32320355894\ 3185848643088172677*c_0101_4^15 + 49575052564013480113200753387079/\ 323203558943185848643088172677*c_0101_4^14 - 598889976342503769300978210949491/323203558943185848643088172677*c_\ 0101_4^13 - 104899675728326130802464023281539/323203558943185848643\ 088172677*c_0101_4^12 + 1051884886519781720740095494032824/32320355\ 8943185848643088172677*c_0101_4^11 + 147054186431107646176971591574066/323203558943185848643088172677*c_\ 0101_4^10 - 1134953019214178828816983895640792/32320355894318584864\ 3088172677*c_0101_4^9 - 134788658121807910175177113316499/323203558\ 943185848643088172677*c_0101_4^8 + 721961210120774511604684631487862/323203558943185848643088172677*c_\ 0101_4^7 + 84545953590735060642185125107888/32320355894318584864308\ 8172677*c_0101_4^6 - 245726178763025933390266474422822/323203558943\ 185848643088172677*c_0101_4^5 - 35630365457065690651934318816473/32\ 3203558943185848643088172677*c_0101_4^4 + 36012556978433698837108830845060/323203558943185848643088172677*c_0\ 101_4^3 + 7607069216592649344237232844237/3232035589431858486430881\ 72677*c_0101_4^2 - 481929917823386339974445412970/32320355894318584\ 8643088172677*c_0101_4 - 372694751115644586598983680363/32320355894\ 3185848643088172677, c_0011_4 - 10489504205950306276505541249/323203558943185848643088172677\ *c_0101_4^21 - 41396240194008509062262334560/3232035589431858486430\ 88172677*c_0101_4^20 + 398878960953770787689206382044/3232035589431\ 85848643088172677*c_0101_4^19 + 285170461006019006298682764750/3232\ 03558943185848643088172677*c_0101_4^18 - 5156708102139965708201293819242/323203558943185848643088172677*c_01\ 01_4^17 - 377021095225840497849190459828/32320355894318584864308817\ 2677*c_0101_4^16 + 27549998303112434589219199155293/323203558943185\ 848643088172677*c_0101_4^15 - 3068432946664057867764042696046/32320\ 3558943185848643088172677*c_0101_4^14 - 78209275398436807715323215391927/323203558943185848643088172677*c_0\ 101_4^13 + 17911203391260041447946605117205/32320355894318584864308\ 8172677*c_0101_4^12 + 127813545078580369215120032914116/32320355894\ 3185848643088172677*c_0101_4^11 - 46944183316754081585408103320091/\ 323203558943185848643088172677*c_0101_4^10 - 114115225582809241902238279473353/323203558943185848643088172677*c_\ 0101_4^9 + 71806990236655930371717445080572/32320355894318584864308\ 8172677*c_0101_4^8 + 38767062930133269557914199905074/3232035589431\ 85848643088172677*c_0101_4^7 - 63538469378037585365185186988565/323\ 203558943185848643088172677*c_0101_4^6 + 12599156564448593023599921443526/323203558943185848643088172677*c_0\ 101_4^5 + 28667732646098038356296187684652/323203558943185848643088\ 172677*c_0101_4^4 - 9494906780335633342175866884422/323203558943185\ 848643088172677*c_0101_4^3 - 4935900440631440544347493338901/323203\ 558943185848643088172677*c_0101_4^2 + 58152960423341924590325853292/323203558943185848643088172677*c_0101\ _4 + 189563976404152822085532071933/323203558943185848643088172677, c_0101_0 + 65996905866489232879668052673/323203558943185848643088172677\ *c_0101_4^21 + 326616693371707791382637611787/323203558943185848643\ 088172677*c_0101_4^20 - 2216507099779415301700566912614/32320355894\ 3185848643088172677*c_0101_4^19 - 4145377044487764389128028277627/3\ 23203558943185848643088172677*c_0101_4^18 + 29670091291766117966744520874888/323203558943185848643088172677*c_0\ 101_4^17 + 33083271942270598192647666024557/32320355894318584864308\ 8172677*c_0101_4^16 - 158798581452747218965950991442819/32320355894\ 3185848643088172677*c_0101_4^15 - 141774550417723399208391393575734\ /323203558943185848643088172677*c_0101_4^14 + 461156553800267877117278399380161/323203558943185848643088172677*c_\ 0101_4^13 + 355802097519131242047466375734918/323203558943185848643\ 088172677*c_0101_4^12 - 803351051478824159059939329515759/323203558\ 943185848643088172677*c_0101_4^11 - 542356808206878780997073754037114/323203558943185848643088172677*c_\ 0101_4^10 + 848183528664670315063983330380586/323203558943185848643\ 088172677*c_0101_4^9 + 491910928973194494348517163355146/3232035589\ 43185848643088172677*c_0101_4^8 - 508749800449126751919477619399284\ /323203558943185848643088172677*c_0101_4^7 - 247710606623978017105624627452596/323203558943185848643088172677*c_\ 0101_4^6 + 140680070738349537431295741098022/3232035589431858486430\ 88172677*c_0101_4^5 + 61853014050610349905598774992412/323203558943\ 185848643088172677*c_0101_4^4 - 5693801348099168057876586199428/323\ 203558943185848643088172677*c_0101_4^3 - 7175396281197828773093267048401/323203558943185848643088172677*c_01\ 01_4^2 - 1365458513298668612150005682526/32320355894318584864308817\ 2677*c_0101_4 + 141570513137153362036559056013/32320355894318584864\ 3088172677, c_0101_1 + 10295144833363126878570643672/323203558943185848643088172677\ *c_0101_4^21 + 27189842457380452367247360069/3232035589431858486430\ 88172677*c_0101_4^20 - 435964486506628160461082003357/3232035589431\ 85848643088172677*c_0101_4^19 + 263672081104073664949644805170/3232\ 03558943185848643088172677*c_0101_4^18 + 5117646732504982585342579719437/323203558943185848643088172677*c_01\ 01_4^17 - 6339565585125019452324112105386/3232035589431858486430881\ 72677*c_0101_4^16 - 24088902485491287503585170076724/32320355894318\ 5848643088172677*c_0101_4^15 + 37699556064982830873587627313945/323\ 203558943185848643088172677*c_0101_4^14 + 59886016846004498012287408178980/323203558943185848643088172677*c_0\ 101_4^13 - 113960583947591505191055287410903/3232035589431858486430\ 88172677*c_0101_4^12 - 82116487804683303913035708219086/32320355894\ 3185848643088172677*c_0101_4^11 + 203171583860237724053750105084485\ /323203558943185848643088172677*c_0101_4^10 + 51111176754256125914691308256205/323203558943185848643088172677*c_0\ 101_4^9 - 217493106874661627265000170753519/32320355894318584864308\ 8172677*c_0101_4^8 + 8556360335251671109496108068763/32320355894318\ 5848643088172677*c_0101_4^7 + 131441008062915744006301310737673/323\ 203558943185848643088172677*c_0101_4^6 - 28437090392684033333199721300996/323203558943185848643088172677*c_0\ 101_4^5 - 38727148159923634545156099654004/323203558943185848643088\ 172677*c_0101_4^4 + 10646036904806044559260082703811/32320355894318\ 5848643088172677*c_0101_4^3 + 3819145782289981795914469431756/32320\ 3558943185848643088172677*c_0101_4^2 + 11406630848484891473291482939/323203558943185848643088172677*c_0101\ _4 - 15881983494062367838198090148/323203558943185848643088172677, c_0101_4^22 + 4*c_0101_4^21 - 38*c_0101_4^20 - 30*c_0101_4^19 + 498*c_0101_4^18 + 74*c_0101_4^17 - 2747*c_0101_4^16 + 68*c_0101_4^15 + 8367*c_0101_4^14 - 835*c_0101_4^13 - 15554*c_0101_4^12 + 2235*c_0101_4^11 + 17974*c_0101_4^10 - 3118*c_0101_4^9 - 12407*c_0101_4^8 + 2313*c_0101_4^7 + 4605*c_0101_4^6 - 760*c_0101_4^5 - 743*c_0101_4^4 + 48*c_0101_4^3 + 44*c_0101_4^2 + c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB