Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 2210537346] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s425 geometric_solution 4.72571627 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 1 0 0 0132 3201 1230 3012 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 1 0 -1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348625977951 0.222393259541 0 2 0 3 0132 0132 2310 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 -1 1 0 0 1 -1 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.612611715913 1.078160983019 4 1 3 3 0132 0132 2310 3120 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 -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.278003511427 0.690326403873 2 2 1 4 3120 3201 0132 3201 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 1 -1 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.278003511427 0.690326403873 2 3 5 5 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.945663246366 2.677412545611 5 4 4 5 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.156670771620 0.252842929683 ==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_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_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_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), '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_4']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_3']})} 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_3, c_0011_5, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 49025084596011599621230938496573/37153631591129591125505419127327*c\ _0101_4^22 - 28896039228912892843749779510172/285797166085612239426\ 9647625179*c_0101_4^21 + 1495366719148390778721063304479671/3715363\ 1591129591125505419127327*c_0101_4^20 - 4878032582464457903225783390420937/37153631591129591125505419127327\ *c_0101_4^19 + 10003067004651654655881264252857969/3715363159112959\ 1125505419127327*c_0101_4^18 - 15283141459290813749528001914825924/\ 37153631591129591125505419127327*c_0101_4^17 + 17574411369648463161251581279020855/3715363159112959112550541912732\ 7*c_0101_4^16 - 9112512137407180281653448735977615/3715363159112959\ 1125505419127327*c_0101_4^15 - 3251514082156777436634937328577622/3\ 7153631591129591125505419127327*c_0101_4^14 + 13162039556883236346859529596151882/3715363159112959112550541912732\ 7*c_0101_4^13 - 19923381851019617699634588961550986/371536315911295\ 91125505419127327*c_0101_4^12 + 19138430103190846820696924423989496\ /37153631591129591125505419127327*c_0101_4^11 - 12933738830095907250552444024604957/3715363159112959112550541912732\ 7*c_0101_4^10 + 11701200613601933566615029851992583/371536315911295\ 91125505419127327*c_0101_4^9 - 13609127527162961812715510404880676/\ 37153631591129591125505419127327*c_0101_4^8 - 12507397423961316340096094037953956/3715363159112959112550541912732\ 7*c_0101_4^7 + 19228435493447511354207481376523698/3715363159112959\ 1125505419127327*c_0101_4^6 - 10640587417308220396715555673049233/3\ 7153631591129591125505419127327*c_0101_4^5 + 7498318987978399890623758912997311/37153631591129591125505419127327\ *c_0101_4^4 + 7733150269396545540524380823393189/371536315911295911\ 25505419127327*c_0101_4^3 - 217420439801259721022846660766643/37153\ 631591129591125505419127327*c_0101_4^2 + 2054077989720141535204952004838584/37153631591129591125505419127327\ *c_0101_4 + 11225802099107517550267852566274/3715363159112959112550\ 5419127327, c_0011_0 - 1, c_0011_3 - 4002548428512997731910184001592/3715363159112959112550541912\ 7327*c_0101_4^22 + 2402917656585876746372370245601/2857971660856122\ 394269647625179*c_0101_4^21 - 125750787691977086184199988425773/371\ 53631591129591125505419127327*c_0101_4^20 + 410277017107505275711845571744384/37153631591129591125505419127327*\ c_0101_4^19 - 851625471366268685119245139077886/3715363159112959112\ 5505419127327*c_0101_4^18 + 1291423854997257808542031479461698/3715\ 3631591129591125505419127327*c_0101_4^17 - 1457117038221196537437618882943850/37153631591129591125505419127327\ *c_0101_4^16 + 687644498821495499962178279532394/371536315911295911\ 25505419127327*c_0101_4^15 + 501712306335947943847784065087004/3715\ 3631591129591125505419127327*c_0101_4^14 - 1402351173696529316688521771490729/37153631591129591125505419127327\ *c_0101_4^13 + 1940107415041798105612186908184027/37153631591129591\ 125505419127327*c_0101_4^12 - 1790175825656830363598533553044442/37\ 153631591129591125505419127327*c_0101_4^11 + 1098098003826988158735680183435715/37153631591129591125505419127327\ *c_0101_4^10 - 818305789332153100616972501890159/371536315911295911\ 25505419127327*c_0101_4^9 + 959740506397071630248535677497310/37153\ 631591129591125505419127327*c_0101_4^8 + 1200608691274660674752203436882315/37153631591129591125505419127327\ *c_0101_4^7 - 2075178132321470041347291622573289/371536315911295911\ 25505419127327*c_0101_4^6 + 1123435102056758716835237061736223/3715\ 3631591129591125505419127327*c_0101_4^5 - 653780161244171012823345775620369/37153631591129591125505419127327*\ c_0101_4^4 - 617851397276532755949142006138897/37153631591129591125\ 505419127327*c_0101_4^3 + 259633450171618908739477087463611/3715363\ 1591129591125505419127327*c_0101_4^2 - 199756189505483759261294393070631/37153631591129591125505419127327*\ c_0101_4 + 56263612797148176928725902699435/37153631591129591125505\ 419127327, c_0011_5 + 569740346732189885689258/40714568463517275563570893*c_0101_4\ ^22 - 327230266825064603340030/3131889881809021197197761*c_0101_4^2\ 1 + 16134678165494496947607380/40714568463517275563570893*c_0101_4^\ 20 - 50154513426398758789166979/40714568463517275563570893*c_0101_4\ ^19 + 92313223174738882111684332/40714568463517275563570893*c_0101_\ 4^18 - 112971660932306684800570131/40714568463517275563570893*c_010\ 1_4^17 + 80603550335297375800733519/40714568463517275563570893*c_01\ 01_4^16 + 68259518558757049453389615/40714568463517275563570893*c_0\ 101_4^15 - 209752283981444415464683366/40714568463517275563570893*c\ _0101_4^14 + 221259704241181971790447495/40714568463517275563570893\ *c_0101_4^13 - 148083232397821490499880477/407145684635172755635708\ 93*c_0101_4^12 + 40214450302555594122935177/40714568463517275563570\ 893*c_0101_4^11 + 73730373322386295673787589/4071456846351727556357\ 0893*c_0101_4^10 - 66489743329786092491015969/407145684635172755635\ 70893*c_0101_4^9 - 32615607410624009128723346/407145684635172755635\ 70893*c_0101_4^8 - 244652965415296687450689669/40714568463517275563\ 570893*c_0101_4^7 + 303958492410848497709421570/4071456846351727556\ 3570893*c_0101_4^6 + 9193181435084090105509689/40714568463517275563\ 570893*c_0101_4^5 - 174608859788520517614041430/4071456846351727556\ 3570893*c_0101_4^4 + 194881058800754161864564637/407145684635172755\ 63570893*c_0101_4^3 - 29386144241222010872763369/407145684635172755\ 63570893*c_0101_4^2 - 32752688610853586580007119/407145684635172755\ 63570893*c_0101_4 + 41516290170485175823887111/40714568463517275563\ 570893, c_0101_1 + 2588475595768661940149150442689/3715363159112959112550541912\ 7327*c_0101_4^22 - 1720995051073612168098184268317/2857971660856122\ 394269647625179*c_0101_4^21 + 98419910898376267154529525475709/3715\ 3631591129591125505419127327*c_0101_4^20 - 335254657339132089883596163148092/37153631591129591125505419127327*\ c_0101_4^19 + 781942342363469123983454971869109/3715363159112959112\ 5505419127327*c_0101_4^18 - 1328211942736582334858133752406620/3715\ 3631591129591125505419127327*c_0101_4^17 + 1728026953815231773172670379431563/37153631591129591125505419127327\ *c_0101_4^16 - 1396419981840687929463909063938299/37153631591129591\ 125505419127327*c_0101_4^15 + 306978669262461095116843922259837/371\ 53631591129591125505419127327*c_0101_4^14 + 867904907272633793610819972817030/37153631591129591125505419127327*\ c_0101_4^13 - 1746101043237554207670514203835674/371536315911295911\ 25505419127327*c_0101_4^12 + 2013196584447027332634437068797739/371\ 53631591129591125505419127327*c_0101_4^11 - 1636419820334541758518935386006043/37153631591129591125505419127327\ *c_0101_4^10 + 1223870414957376296878189829949991/37153631591129591\ 125505419127327*c_0101_4^9 - 1277985406949175831232863739331553/371\ 53631591129591125505419127327*c_0101_4^8 + 663564362514587013877261901852/37153631591129591125505419127327*c_0\ 101_4^7 + 1633261441356032353889445915848579/3715363159112959112550\ 5419127327*c_0101_4^6 - 1578283851526060212205747315310321/37153631\ 591129591125505419127327*c_0101_4^5 + 976988538788690139827996814050928/37153631591129591125505419127327*\ c_0101_4^4 + 149688498763897202198892832489716/37153631591129591125\ 505419127327*c_0101_4^3 - 424062628592962632187052018575572/3715363\ 1591129591125505419127327*c_0101_4^2 + 217598663821062075991429927741755/37153631591129591125505419127327*\ c_0101_4 - 75650861209858804292118122946772/37153631591129591125505\ 419127327, c_0101_2 - 2811703636792984802783021884935/3715363159112959112550541912\ 7327*c_0101_4^22 + 1666928819905936609190234154547/2857971660856122\ 394269647625179*c_0101_4^21 - 86701995519217202969158543997574/3715\ 3631591129591125505419127327*c_0101_4^20 + 283366818092418416106885487313443/37153631591129591125505419127327*\ c_0101_4^19 - 584913994078021413241971945325484/3715363159112959112\ 5505419127327*c_0101_4^18 + 897020793147112858611442778457754/37153\ 631591129591125505419127327*c_0101_4^17 - 1032644874389581249135888389451558/37153631591129591125505419127327\ *c_0101_4^16 + 535122123096567384884947067600706/371536315911295911\ 25505419127327*c_0101_4^15 + 214499364616806394770613498293704/3715\ 3631591129591125505419127327*c_0101_4^14 - 826472150805480767054846743742416/37153631591129591125505419127327*\ c_0101_4^13 + 1224740172282450574651237550760609/371536315911295911\ 25505419127327*c_0101_4^12 - 1148161067976910952781673978103793/371\ 53631591129591125505419127327*c_0101_4^11 + 742767661356552293347191772731985/37153631591129591125505419127327*\ c_0101_4^10 - 616345620794670713772485832501170/3715363159112959112\ 5505419127327*c_0101_4^9 + 709946794556466834658609503717965/371536\ 31591129591125505419127327*c_0101_4^8 + 773855842970528232283433206468386/37153631591129591125505419127327*\ c_0101_4^7 - 1204918017605549129728540206994269/3715363159112959112\ 5505419127327*c_0101_4^6 + 732865479683614937444406508982864/371536\ 31591129591125505419127327*c_0101_4^5 - 481583033361817201774482639865745/37153631591129591125505419127327*\ c_0101_4^4 - 494618098033831294747430862799128/37153631591129591125\ 505419127327*c_0101_4^3 + 106021893618982912346527447052250/3715363\ 1591129591125505419127327*c_0101_4^2 - 169619667715244449898974265510258/37153631591129591125505419127327*\ c_0101_4 + 27394961687921037763098224339560/37153631591129591125505\ 419127327, c_0101_4^23 - 8*c_0101_4^22 + 33*c_0101_4^21 - 109*c_0101_4^20 + 234*c_0101_4^19 - 368*c_0101_4^18 + 433*c_0101_4^17 - 252*c_0101_4^16 - 80*c_0101_4^15 + 364*c_0101_4^14 - 534*c_0101_4^13 + 517*c_0101_4^12 - 341*c_0101_4^11 + 246*c_0101_4^10 - 276*c_0101_4^9 - 235*c_0101_4^8 + 556*c_0101_4^7 - 384*c_0101_4^6 + 188*c_0101_4^5 + 158*c_0101_4^4 - 101*c_0101_4^3 + 60*c_0101_4^2 - 12*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB