Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 3069651636] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s398 geometric_solution 4.64528062 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 3 0132 3201 0132 0132 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 -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.420813608351 0.469175152712 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.765050186579 1.321912805343 4 3 3 0 0132 3012 2031 0132 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 0 -1 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.817694216823 0.650496497738 2 4 0 2 1230 3201 0132 1302 0 0 0 0 0 0 1 -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 0 -1 1 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.817694216823 0.650496497738 2 5 3 5 0132 0132 2310 1023 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 0 0 0 0 0 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.836008164774 1.188785116581 5 4 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507475005772 0.447741734075 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 41446810304133545744213729014243141/1449936411765886144382025634902\ 560*c_0101_5^17 + 5167060219177458369782775611536145/36248410294147\ 153609550640872564*c_0101_5^16 - 1005838868198954602306436006965655\ 571/1449936411765886144382025634902560*c_0101_5^15 + 3359912500293253669154627705339700573/14499364117658861443820256349\ 02560*c_0101_5^14 - 11465374547422676709124112206613941971/14499364\ 11765886144382025634902560*c_0101_5^13 + 1954254034589764289630453277902993479/14499364117658861443820256349\ 02560*c_0101_5^12 - 11727548005655838508926345654122049791/14499364\ 11765886144382025634902560*c_0101_5^11 - 10011300898638347198509085492860392359/1812420514707357680477532043\ 62820*c_0101_5^10 + 17205846746341980835781775732279943901/28998728\ 2353177228876405126980512*c_0101_5^9 - 22869650765076898033422409817183569677/3624841029414715360955064087\ 25640*c_0101_5^8 - 1029496530177819440656185511079171971/2899872823\ 53177228876405126980512*c_0101_5^7 + 210954012651312666746923391165048249961/724968205882943072191012817\ 451280*c_0101_5^6 - 13583451716299724589418493896648751111/36248410\ 2941471536095506408725640*c_0101_5^5 - 64128671010556632171899396622839066163/1449936411765886144382025634\ 902560*c_0101_5^4 + 84809020587452605320550094853121852779/14499364\ 11765886144382025634902560*c_0101_5^3 - 55739954588894992824247972453518451167/1449936411765886144382025634\ 902560*c_0101_5^2 + 2682630405819461897812535621000415997/144993641\ 1765886144382025634902560*c_0101_5 + 2775898679105791531194465890327015073/14499364117658861443820256349\ 02560, c_0011_0 - 1, c_0011_2 + 2004035370377430516131558676593/9062102573536788402387660218\ 141*c_0101_5^17 + 7097926575841412723885272875842/90621025735367884\ 02387660218141*c_0101_5^16 - 58273227007010682048027887488939/90621\ 02573536788402387660218141*c_0101_5^15 + 248992711995368755332758508449705/9062102573536788402387660218141*c\ _0101_5^14 - 931491633523774398208525944431862/90621025735367884023\ 87660218141*c_0101_5^13 + 1512697683194221793706953335447969/906210\ 2573536788402387660218141*c_0101_5^12 - 3021371742953883143529496858546785/9062102573536788402387660218141*\ c_0101_5^11 + 891602050511478740141467791219656/9062102573536788402\ 387660218141*c_0101_5^10 + 2041663420519430414142670816097018/90621\ 02573536788402387660218141*c_0101_5^9 - 7306860608703109092513129187043959/9062102573536788402387660218141*\ c_0101_5^8 + 10958042920175926829965017679994615/906210257353678840\ 2387660218141*c_0101_5^7 + 2475949023733190991401081018962255/90621\ 02573536788402387660218141*c_0101_5^6 - 3353751628794445335720830115584066/9062102573536788402387660218141*\ c_0101_5^5 + 3226721521355492001502830252805124/9062102573536788402\ 387660218141*c_0101_5^4 - 1254070628051200862506551020152487/906210\ 2573536788402387660218141*c_0101_5^3 - 54540158648293711366873601485211/9062102573536788402387660218141*c_\ 0101_5^2 + 36569851677417461954517832037349/90621025735367884023876\ 60218141*c_0101_5 + 803562087689281612945331714777/9062102573536788\ 402387660218141, c_0101_0 + 47768581309855542427268029417104/906210257353678840238766021\ 8141*c_0101_5^17 + 163982273742074374957981656879311/90621025735367\ 88402387660218141*c_0101_5^16 - 1409893808217577410450655592311957/\ 9062102573536788402387660218141*c_0101_5^15 + 6077193491758816912964628402365163/9062102573536788402387660218141*\ c_0101_5^14 - 22780912932997210626416960967286316/90621025735367884\ 02387660218141*c_0101_5^13 + 38187822229877902875293053350554042/90\ 62102573536788402387660218141*c_0101_5^12 - 74874004528634342676290705775768536/9062102573536788402387660218141\ *c_0101_5^11 + 27491343761856651573683652332737329/9062102573536788\ 402387660218141*c_0101_5^10 + 49682617283419645920034782455102752/9\ 062102573536788402387660218141*c_0101_5^9 - 179810049659952970197238361793696576/906210257353678840238766021814\ 1*c_0101_5^8 + 277583708521397608544828696562313138/906210257353678\ 8402387660218141*c_0101_5^7 + 38999339794911128392687498617263476/9\ 062102573536788402387660218141*c_0101_5^6 - 98030986082416034453747154779704498/9062102573536788402387660218141\ *c_0101_5^5 + 80198018249436113449351323367751642/90621025735367884\ 02387660218141*c_0101_5^4 - 35407293287628598128116891060664705/906\ 2102573536788402387660218141*c_0101_5^3 - 1584645256772288158195656745155339/9062102573536788402387660218141*\ c_0101_5^2 + 2059895351309145672084386148472762/9062102573536788402\ 387660218141*c_0101_5 + 106425085937410721704149741444997/906210257\ 3536788402387660218141, c_0101_1 + 53881397744081565635803199025836/906210257353678840238766021\ 8141*c_0101_5^17 + 184979607636323215766883983102480/90621025735367\ 88402387660218141*c_0101_5^16 - 1590068537058328338745759203885400/\ 9062102573536788402387660218141*c_0101_5^15 + 6855212297161567439053972373209792/9062102573536788402387660218141*\ c_0101_5^14 - 25700291020667232625286204794905068/90621025735367884\ 02387660218141*c_0101_5^13 + 43093221800677013181243947961448098/90\ 62102573536788402387660218141*c_0101_5^12 - 84537783068269882470178169008441213/9062102573536788402387660218141\ *c_0101_5^11 + 31138081637131393125531100028274592/9062102573536788\ 402387660218141*c_0101_5^10 + 55747603379260182550249482154338895/9\ 062102573536788402387660218141*c_0101_5^9 - 202723522971745765151628087232903466/906210257353678840238766021814\ 1*c_0101_5^8 + 313256041542259001156631681071817949/906210257353678\ 8402387660218141*c_0101_5^7 + 43344765527721407242498296950799046/9\ 062102573536788402387660218141*c_0101_5^6 - 109487369109896945998274829086694672/906210257353678840238766021814\ 1*c_0101_5^5 + 90708240279900663083940391050531878/9062102573536788\ 402387660218141*c_0101_5^4 - 40210383370540751168741875111187825/90\ 62102573536788402387660218141*c_0101_5^3 - 1485843897913873789049361022492835/9062102573536788402387660218141*\ c_0101_5^2 + 2206223685957430778076404042747488/9062102573536788402\ 387660218141*c_0101_5 + 115098130306046825466939766628113/906210257\ 3536788402387660218141, c_0101_2 + 21268032562677666491555379671127/906210257353678840238766021\ 8141*c_0101_5^17 + 72939960659877823367987524187036/906210257353678\ 8402387660218141*c_0101_5^16 - 627985213059720078245973994334881/90\ 62102573536788402387660218141*c_0101_5^15 + 2707754975438888181371381165771665/9062102573536788402387660218141*\ c_0101_5^14 - 10151161289300286247218535803395246/90621025735367884\ 02387660218141*c_0101_5^13 + 17033647167264525540032325434289723/90\ 62102573536788402387660218141*c_0101_5^12 - 33384295511907688625449021068196570/9062102573536788402387660218141\ *c_0101_5^11 + 12337330643295763613194340525334044/9062102573536788\ 402387660218141*c_0101_5^10 + 22104465861452403010227275274169521/9\ 062102573536788402387660218141*c_0101_5^9 - 80134482442582754234113138921556048/9062102573536788402387660218141\ *c_0101_5^8 + 123831762599608178574478816760670515/9062102573536788\ 402387660218141*c_0101_5^7 + 17020944350862443564678087758660676/90\ 62102573536788402387660218141*c_0101_5^6 - 43793006505270822752583239559430226/9062102573536788402387660218141\ *c_0101_5^5 + 35819305404651326651333237156072622/90621025735367884\ 02387660218141*c_0101_5^4 - 15842451116020400738617009151109372/906\ 2102573536788402387660218141*c_0101_5^3 - 686603218857026630668321433379421/9062102573536788402387660218141*c\ _0101_5^2 + 929706007107757060285788665415985/906210257353678840238\ 7660218141*c_0101_5 + 48711343949426417097258099288289/906210257353\ 6788402387660218141, c_0101_5^18 + 3*c_0101_5^17 - 31*c_0101_5^16 + 140*c_0101_5^15 - 532*c_0101_5^14 + 1006*c_0101_5^13 - 1914*c_0101_5^12 + 1255*c_0101_5^11 + 789*c_0101_5^10 - 4213*c_0101_5^9 + 7441*c_0101_5^8 - 1703*c_0101_5^7 - 2398*c_0101_5^6 + 2565*c_0101_5^5 - 1470*c_0101_5^4 + 290*c_0101_5^3 + 56*c_0101_5^2 - 16*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB