Magma V2.19-8 Tue Aug 20 2013 16:17:48 on localhost [Seed = 54697952] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2043 geometric_solution 5.57602706 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 -1 0 1 -1 0 1 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 -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.296455716877 0.170359420613 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -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 1 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 1.777555317629 1.357569327784 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 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 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.685925571347 0.399182533935 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 0 0 0 1 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 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.337641972846 0.936521606823 3 6 2 5 2310 0132 0132 1023 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 -1 1 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.337641972846 0.936521606823 5 3 5 4 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522754319927 0.435037954600 6 4 3 6 3012 0132 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 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.109435197093 0.824267624197 ==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' : negation(d['c_0011_2']), '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' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(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' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : 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_3']), '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' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : 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_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 27356891427295339683829192851675145187615574137/7226633933215374687\ 13095189083352991041251*c_0110_5^35 - 379630260200229255077775016025999879374229491715/722663393321537468\ 713095189083352991041251*c_0110_5^33 - 46714519451898466184785587873335761966077372967/7226633933215374687\ 13095189083352991041251*c_0110_5^31 + 9022048043401433436756763512384475873225419420013/72266339332153746\ 8713095189083352991041251*c_0110_5^29 + 24390877411439429095499292175908632032450338996864/7226633933215374\ 68713095189083352991041251*c_0110_5^27 - 178539614540536712843162769500507409226420660385774/722663393321537\ 468713095189083352991041251*c_0110_5^25 - 374956733254010303068566963759250843223014274332712/722663393321537\ 468713095189083352991041251*c_0110_5^23 + 1302703642261989085584496396790943521193944836964080/72266339332153\ 7468713095189083352991041251*c_0110_5^21 + 4231931907869404572805332151713921702488354445775054/72266339332153\ 7468713095189083352991041251*c_0110_5^19 - 6927191911957029463995110412476813240450150782930059/72266339332153\ 7468713095189083352991041251*c_0110_5^17 - 16772852327821916649620180407201924886515383178018572/7226633933215\ 37468713095189083352991041251*c_0110_5^15 + 36087281156438650073454073279547888213135694121326588/7226633933215\ 37468713095189083352991041251*c_0110_5^13 - 24960057378146478232333612260585707945443309475241753/7226633933215\ 37468713095189083352991041251*c_0110_5^11 + 8754953795503960260066463397061464395521585332049731/72266339332153\ 7468713095189083352991041251*c_0110_5^9 - 1707439859268497584323245943645232075401291336798959/72266339332153\ 7468713095189083352991041251*c_0110_5^7 + 184628145982444201177234110869743053278818612117254/722663393321537\ 468713095189083352991041251*c_0110_5^5 - 10226877385727573212199321735962546137470161975234/7226633933215374\ 68713095189083352991041251*c_0110_5^3 + 223908654792955886849529517640046865099687960008/722663393321537468\ 713095189083352991041251*c_0110_5, c_0011_0 - 1, c_0011_2 + 265740350055403795683740832151935771394141/84128450910539868\ 3018737123496336427289*c_0110_5^34 - 3684540819784645539612870723739380516540889/84128450910539868301873\ 7123496336427289*c_0110_5^32 - 496717374917553955902317362664216178\ 248561/841284509105398683018737123496336427289*c_0110_5^30 + 87627486627469957452999714367629995469716484/8412845091053986830187\ 37123496336427289*c_0110_5^28 + 23795800330904809458622667873393163\ 3714351368/841284509105398683018737123496336427289*c_0110_5^26 - 1731377355497491364922131050769711228287088612/84128450910539868301\ 8737123496336427289*c_0110_5^24 - 366226113257663684956383444971107\ 5703230229471/841284509105398683018737123496336427289*c_0110_5^22 + 12608685822339793548038792727578925355744800548/8412845091053986830\ 18737123496336427289*c_0110_5^20 + 41250829971016040705508947644773347626969561419/8412845091053986830\ 18737123496336427289*c_0110_5^18 - 66786759573269416188826217753077431788214892590/8412845091053986830\ 18737123496336427289*c_0110_5^16 - 163650959058517987538563446202441214225671690096/841284509105398683\ 018737123496336427289*c_0110_5^14 + 348532147075580402822139153943474507309008508388/841284509105398683\ 018737123496336427289*c_0110_5^12 - 238612419039360253720599780524823857466338181713/841284509105398683\ 018737123496336427289*c_0110_5^10 + 82714452999901306843465329342789568379439208093/8412845091053986830\ 18737123496336427289*c_0110_5^8 - 158966349137592624139081623038226\ 91028977734093/841284509105398683018737123496336427289*c_0110_5^6 + 1688647317768762380981720400208418040359661513/84128450910539868301\ 8737123496336427289*c_0110_5^4 - 9163579269272149645774799210908049\ 3547061328/841284509105398683018737123496336427289*c_0110_5^2 + 1963325780520104678641806444756641472204324/84128450910539868301873\ 7123496336427289, c_0011_4 - 247845623382346828082184159614976637451746029/72266339332153\ 7468713095189083352991041251*c_0110_5^35 + 3437463438551060080634997077787518163196660995/72266339332153746871\ 3095189083352991041251*c_0110_5^33 + 449001058298845667426478419932780711907811969/722663393321537468713\ 095189083352991041251*c_0110_5^31 - 81730073036580990921263960723147520667143222379/7226633933215374687\ 13095189083352991041251*c_0110_5^29 - 221592716675543534481028790273915762319264967242/722663393321537468\ 713095189083352991041251*c_0110_5^27 + 1615749719012133554132013432233486186719369000582/72266339332153746\ 8713095189083352991041251*c_0110_5^25 + 3408990832028800563138444659557567782996234616986/72266339332153746\ 8713095189083352991041251*c_0110_5^23 - 11774567309550218021935413687065972446103587603911/7226633933215374\ 68713095189083352991041251*c_0110_5^21 - 38425350400982623048873936683311130764339244511001/7226633933215374\ 68713095189083352991041251*c_0110_5^19 + 62454963201382095167455313628865596277847092376234/7226633933215374\ 68713095189083352991041251*c_0110_5^17 + 152386839482894594147820821263155860360063261799460/722663393321537\ 468713095189083352991041251*c_0110_5^15 - 325724317494443237443504477691211239114469327561933/722663393321537\ 468713095189083352991041251*c_0110_5^13 + 223837826446293314955516645393104791841589076021413/722663393321537\ 468713095189083352991041251*c_0110_5^11 - 77948740825583978042867582536792227978122567536120/7226633933215374\ 68713095189083352991041251*c_0110_5^9 + 15071920576402603845370689245058939954323517146879/7226633933215374\ 68713095189083352991041251*c_0110_5^7 - 1614135403086457258690999610390734934322072741646/72266339332153746\ 8713095189083352991041251*c_0110_5^5 + 88563909694526949832266786122444692067411064756/7226633933215374687\ 13095189083352991041251*c_0110_5^3 - 1927966670926268034195160704911303144567204599/72266339332153746871\ 3095189083352991041251*c_0110_5, c_0101_0 + 294913081143411915978323320814487477552011926/72266339332153\ 7468713095189083352991041251*c_0110_5^35 - 4090852390331260873873391055591652381299390689/72266339332153746871\ 3095189083352991041251*c_0110_5^33 - 526069296609442489769673650491924709164375892/722663393321537468713\ 095189083352991041251*c_0110_5^31 + 97252516928903772860997830693369456389270897203/7226633933215374687\ 13095189083352991041251*c_0110_5^29 + 263479079566451167711043128745169806117023217513/722663393321537468\ 713095189083352991041251*c_0110_5^27 - 1923128178836347028098114062296314900681583161198/72266339332153746\ 8713095189083352991041251*c_0110_5^25 - 4052533615271428703383279406902060929621851583849/72266339332153746\ 8713095189083352991041251*c_0110_5^23 + 14018934168766184583820598998076855403146987027081/7226633933215374\ 68713095189083352991041251*c_0110_5^21 + 45694684579797358211357363784920774422609930222479/7226633933215374\ 68713095189083352991041251*c_0110_5^19 - 74408577513933485661249586451510161955759009523473/7226633933215374\ 68713095189083352991041251*c_0110_5^17 - 181179941089815557713895031002736782076954935043200/722663393321537\ 468713095189083352991041251*c_0110_5^15 + 387952156730583294416497300813407405885586362210011/722663393321537\ 468713095189083352991041251*c_0110_5^13 - 267112324235382640160663538876042166920043224254266/722663393321537\ 468713095189083352991041251*c_0110_5^11 + 93255371798810678469758855018510615725283178370283/7226633933215374\ 68713095189083352991041251*c_0110_5^9 - 18096476393066736549709922817471227579667305836679/7226633933215374\ 68713095189083352991041251*c_0110_5^7 + 1947886557255377350211862925725689604720550089512/72266339332153746\ 8713095189083352991041251*c_0110_5^5 - 107569384668217950618225361120545088853408375096/722663393321537468\ 713095189083352991041251*c_0110_5^3 + 2356567471614079239177097488092765860569698143/72266339332153746871\ 3095189083352991041251*c_0110_5, c_0101_1 + 148733670606799904081438284521324306593589/84128450910539868\ 3018737123496336427289*c_0110_5^34 - 2062735196785145292120945584953524138363730/84128450910539868301873\ 7123496336427289*c_0110_5^32 - 270914302074028443901453119014691157\ 510008/841284509105398683018737123496336427289*c_0110_5^30 + 49046163689204858292685183893802263189208544/8412845091053986830187\ 37123496336427289*c_0110_5^28 + 13301450285974027376697864593990952\ 8151876932/841284509105398683018737123496336427289*c_0110_5^26 - 969516493627505351238977138312631727885411822/841284509105398683018\ 737123496336427289*c_0110_5^24 - 2046432595950477197599610951301290\ 272931736804/841284509105398683018737123496336427289*c_0110_5^22 + 7064344557011979108586517705294739521046216530/84128450910539868301\ 8737123496336427289*c_0110_5^20 + 230640078773127878444272514641241\ 37955956620738/841284509105398683018737123496336427289*c_0110_5^18 - 37461759040161697253406283920181735405701578432/8412845091053986830\ 18737123496336427289*c_0110_5^16 - 91471114188751693877277738480459210957397083451/8412845091053986830\ 18737123496336427289*c_0110_5^14 + 195397234709758044286712632141484511450854583514/841284509105398683\ 018737123496336427289*c_0110_5^12 - 134202213552066272547428318718344101632196940905/841284509105398683\ 018737123496336427289*c_0110_5^10 + 46711401977650699708498438572730857729866440255/8412845091053986830\ 18737123496336427289*c_0110_5^8 - 902848808199754697038666035037262\ 5338801331191/841284509105398683018737123496336427289*c_0110_5^6 + 966833129725981541397788778038802993312091045/841284509105398683018\ 737123496336427289*c_0110_5^4 - 53065109204913527405526260146505952\ 480110081/841284509105398683018737123496336427289*c_0110_5^2 + 1154429835854436856491873720342332842765072/84128450910539868301873\ 7123496336427289, c_0101_3 - 221849561944493492434509288383598361425413/84128450910539868\ 3018737123496336427289*c_0110_5^34 + 3075723676081263085740184775360530911289559/84128450910539868301873\ 7123496336427289*c_0110_5^32 + 418295522539938651645563141321069371\ 912637/841284509105398683018737123496336427289*c_0110_5^30 - 73153687815901139937033162919376662407784847/8412845091053986830187\ 37123496336427289*c_0110_5^28 - 19874247955500281194633099908366334\ 0869827779/841284509105398683018737123496336427289*c_0110_5^26 + 1445171133799011773818591519941539785498345918/84128450910539868301\ 8737123496336427289*c_0110_5^24 + 305907392555552267168763029782546\ 5410371406369/841284509105398683018737123496336427289*c_0110_5^22 - 10522379113426716175441210644894727466295461374/8412845091053986830\ 18737123496336427289*c_0110_5^20 - 34449740826904334894590918690729529247579189343/8412845091053986830\ 18737123496336427289*c_0110_5^18 + 55713877473700342296893149770051682896581986610/8412845091053986830\ 18737123496336427289*c_0110_5^16 + 136683277997545018275738827446506969258405892237/841284509105398683\ 018737123496336427289*c_0110_5^14 - 290798659833393075904088197985550416730793070738/841284509105398683\ 018737123496336427289*c_0110_5^12 + 198875290211106951954444838687978997417653973984/841284509105398683\ 018737123496336427289*c_0110_5^10 - 68851509532908790080890755195610131727990152626/8412845091053986830\ 18737123496336427289*c_0110_5^8 + 132103856636685909071097843567366\ 56865840947649/841284509105398683018737123496336427289*c_0110_5^6 - 1400303853007453734181595098016638735405232068/84128450910539868301\ 8737123496336427289*c_0110_5^4 + 7578974643941852974642094357275482\ 2967082035/841284509105398683018737123496336427289*c_0110_5^2 - 1619117282962365814059846905877780117565788/84128450910539868301873\ 7123496336427289, c_0110_5^36 - 14*c_0110_5^34 + 330*c_0110_5^30 + 851*c_0110_5^28 - 6636*c_0110_5^26 - 12903*c_0110_5^24 + 49305*c_0110_5^22 + 148833*c_0110_5^20 - 272248*c_0110_5^18 - 581944*c_0110_5^16 + 1394562*c_0110_5^14 - 1074747*c_0110_5^12 + 432353*c_0110_5^10 - 101810*c_0110_5^8 + 14428*c_0110_5^6 - 1203*c_0110_5^4 + 54*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB