Magma V2.19-8 Tue Aug 20 2013 16:18:04 on localhost [Seed = 711702243] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2301 geometric_solution 5.70325993 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.727894770567 0.564055476660 0 2 3 0 3201 0132 0132 0132 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 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.608398937543 0.633726735167 4 1 3 5 0132 0132 1302 0132 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 -1 0 1 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.458849194414 0.472953158711 2 5 4 1 2031 1023 1023 0132 0 0 0 0 0 1 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 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.458849194414 0.472953158711 2 6 3 6 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.205128295678 1.613343368945 3 5 2 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 1 0 0 -1 -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.832901504290 0.712079500208 4 4 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252746081983 0.316249950175 ==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' : 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' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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_6' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_4, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 4402181573208423859911816873413/224780409230399625165385548517*c_01\ 10_6^22 - 62777026956592184800183316948027/449560818460799250330771\ 097034*c_0110_6^21 - 39421143315662709650401211611168/2247804092303\ 99625165385548517*c_0110_6^20 + 3055711263054999822504083805349/633\ 1842513532383807475649254*c_0110_6^19 + 162654630358943644260221426356795/224780409230399625165385548517*c_\ 0110_6^18 - 603636006736926018356674997408335/449560818460799250330\ 771097034*c_0110_6^17 - 694675836444448703045304379287711/449560818\ 460799250330771097034*c_0110_6^16 + 606670766935399930349557446437311/449560818460799250330771097034*c_\ 0110_6^15 + 632615806970843234089894282881523/224780409230399625165\ 385548517*c_0110_6^14 + 216714187144517374482688414576921/449560818\ 460799250330771097034*c_0110_6^13 - 1386327435740868573616393736761/372461324325434341616214662*c_0110_\ 6^12 - 150249278861535427635687159983169/22478040923039962516538554\ 8517*c_0110_6^11 + 37320144757313230805524677947968/224780409230399\ 625165385548517*c_0110_6^10 - 214983995976011717256802287020599/224\ 780409230399625165385548517*c_0110_6^9 + 542917025135451672800478500790411/224780409230399625165385548517*c_\ 0110_6^8 + 156005447586821434505113311072029/4086916531461811366643\ 3736094*c_0110_6^7 + 798746914354887909918124201418415/449560818460\ 799250330771097034*c_0110_6^6 - 921401897052866769808565791713464/2\ 24780409230399625165385548517*c_0110_6^5 - 1274823804439155598872453627300545/449560818460799250330771097034*c\ _0110_6^4 + 385677634409746550865063623267177/224780409230399625165\ 385548517*c_0110_6^3 + 358069487623441724080826387070771/4495608184\ 60799250330771097034*c_0110_6^2 - 69644941259934493438227068889338/\ 224780409230399625165385548517*c_0110_6 - 28350015836479232988652549438101/449560818460799250330771097034, c_0011_0 - 1, c_0011_1 - 3062162010733870784499479/9924518046289002833033933*c_0110_6\ ^22 - 41701453167757955712922497/19849036092578005666067866*c_0110_\ 6^21 - 21433030608156391291160052/9924518046289002833033933*c_0110_\ 6^20 + 77573535661474071919212661/9924518046289002833033933*c_0110_\ 6^19 + 83591851591129407440891257/9924518046289002833033933*c_0110_\ 6^18 - 436911299384367115988702115/19849036092578005666067866*c_011\ 0_6^17 - 304849896009156302508670233/19849036092578005666067866*c_0\ 110_6^16 + 209973125047881125428249368/9924518046289002833033933*c_\ 0110_6^15 + 679294248823899517145955727/19849036092578005666067866*\ c_0110_6^14 + 24753672614285647654872373/19849036092578005666067866\ *c_0110_6^13 - 29922041999230632743688220/583795179193470754884349*\ c_0110_6^12 + 137521304605117356599803025/1984903609257800566606786\ 6*c_0110_6^11 - 108746961423719131180709689/99245180462890028330339\ 33*c_0110_6^10 - 218661927343989326894490423/1984903609257800566606\ 7866*c_0110_6^9 + 374243839402222590594785368/992451804628900283303\ 3933*c_0110_6^8 + 466293218282065155186108874/992451804628900283303\ 3933*c_0110_6^7 + 448330810943268098751465193/198490360925780056660\ 67866*c_0110_6^6 - 603812663459858089464113903/99245180462890028330\ 33933*c_0110_6^5 - 196932316781182677454533404/99245180462890028330\ 33933*c_0110_6^4 + 198868594103606220082860168/99245180462890028330\ 33933*c_0110_6^3 + 3068920445338324694488977/1984903609257800566606\ 7866*c_0110_6^2 - 33924185883423555073294299/9924518046289002833033\ 933*c_0110_6 + 1016592270616704529648301/9924518046289002833033933, c_0011_3 + 479396782887419502808505/9924518046289002833033933*c_0110_6^\ 22 + 5781959541827295928763943/19849036092578005666067866*c_0110_6^\ 21 + 754258462850470764843037/9924518046289002833033933*c_0110_6^20 - 15196959310577953743345817/9924518046289002833033933*c_0110_6^19 - 4164641172890587622405830/9924518046289002833033933*c_0110_6^18 + 92936370490924980780815325/19849036092578005666067866*c_0110_6^17 + 1276724506098962826472709/19849036092578005666067866*c_0110_6^16 - 56924659982043424740482252/9924518046289002833033933*c_0110_6^15 - 68639003485034259624776271/19849036092578005666067866*c_0110_6^14 + 96833742358252759142829039/19849036092578005666067866*c_0110_6^13 + 5258321108904929196356359/583795179193470754884349*c_0110_6^12 - 139592617465209058400299567/19849036092578005666067866*c_0110_6^11 + 15249588668883360236807071/9924518046289002833033933*c_0110_6^10 - 16010228629702112983214485/19849036092578005666067866*c_0110_6^9 - 68911075554907303630756896/9924518046289002833033933*c_0110_6^8 - 38390310413168092375660310/9924518046289002833033933*c_0110_6^7 + 92128503864683801199316079/19849036092578005666067866*c_0110_6^6 + 140975859417057971279806979/9924518046289002833033933*c_0110_6^5 - 43539121864294318331569439/9924518046289002833033933*c_0110_6^4 - 66446198183270844485258711/9924518046289002833033933*c_0110_6^3 - 4386642148168201581500413/19849036092578005666067866*c_0110_6^2 + 4903188259206073685294730/9924518046289002833033933*c_0110_6 - 4030825234080844675850315/9924518046289002833033933, c_0101_0 - 5218135424822170406078345/9924518046289002833033933*c_0110_6\ ^22 - 71365949527445717913445877/19849036092578005666067866*c_0110_\ 6^21 - 36237015620105871546924224/9924518046289002833033933*c_0110_\ 6^20 + 280703293504835032224390321/19849036092578005666067866*c_011\ 0_6^19 + 157360940371441475060217538/9924518046289002833033933*c_01\ 10_6^18 - 796540305739061213060921249/19849036092578005666067866*c_\ 0110_6^17 - 621639840201357493006124443/19849036092578005666067866*\ c_0110_6^16 + 862474351433198131955175753/1984903609257800566606786\ 6*c_0110_6^15 + 663671743040290443540257031/99245180462890028330339\ 33*c_0110_6^14 - 41792017737199332172366857/19849036092578005666067\ 866*c_0110_6^13 - 119126965698683977587420801/116759035838694150976\ 8698*c_0110_6^12 + 34305525138084677111424537/992451804628900283303\ 3933*c_0110_6^11 + 3755551183601141649233117/9924518046289002833033\ 933*c_0110_6^10 - 167968146940595360341297462/992451804628900283303\ 3933*c_0110_6^9 + 717590103960139548978323136/992451804628900283303\ 3933*c_0110_6^8 + 1702123749140509927577172625/19849036092578005666\ 067866*c_0110_6^7 + 517516810958799766797405843/1984903609257800566\ 6067866*c_0110_6^6 - 1229569757105103301480520155/99245180462890028\ 33033933*c_0110_6^5 - 1054454421737399262253924609/1984903609257800\ 5666067866*c_0110_6^4 + 511829022753798936015463396/992451804628900\ 2833033933*c_0110_6^3 + 269621800730679088298061355/198490360925780\ 05666067866*c_0110_6^2 - 59862496061936062109247574/992451804628900\ 2833033933*c_0110_6 - 17092309709433168209016355/198490360925780056\ 66067866, c_0101_4 - 7492271670531332988354852/9924518046289002833033933*c_0110_6\ ^22 - 52396053346078203624779004/9924518046289002833033933*c_0110_6\ ^21 - 61234380323008445887089925/9924518046289002833033933*c_0110_6\ ^20 + 184012194207575719541418146/9924518046289002833033933*c_0110_\ 6^19 + 242228748964996485786367569/9924518046289002833033933*c_0110\ _6^18 - 512942766685288943105867074/9924518046289002833033933*c_011\ 0_6^17 - 481727119320694689542676516/9924518046289002833033933*c_01\ 10_6^16 + 488998043061644932561237285/9924518046289002833033933*c_0\ 110_6^15 + 934664172531504428657112951/9924518046289002833033933*c_\ 0110_6^14 + 145737785640469721256646902/9924518046289002833033933*c\ _0110_6^13 - 75320240255897664717353301/583795179193470754884349*c_\ 0110_6^12 - 63840360387616217706711261/9924518046289002833033933*c_\ 0110_6^11 - 163554633849017782891034864/9924518046289002833033933*c\ _0110_6^10 - 339383381638824993997067031/9924518046289002833033933*\ c_0110_6^9 + 928499203460110129116684563/9924518046289002833033933*\ c_0110_6^8 + 1296390426947454546819788474/9924518046289002833033933\ *c_0110_6^7 + 681643118057047574121218795/9924518046289002833033933\ *c_0110_6^6 - 1443941515366632468990273757/992451804628900283303393\ 3*c_0110_6^5 - 779893192467449247698131705/992451804628900283303393\ 3*c_0110_6^4 + 469014382190637066420866516/992451804628900283303393\ 3*c_0110_6^3 + 109944455192349009135717082/992451804628900283303393\ 3*c_0110_6^2 - 45110265856988317706731725/9924518046289002833033933\ *c_0110_6 - 1742670293120622951784214/9924518046289002833033933, c_0110_5 - 13312822562144899805218279/19849036092578005666067866*c_0110\ _6^22 - 46890398138100653211224799/9924518046289002833033933*c_0110\ _6^21 - 56664887979849716489562169/9924518046289002833033933*c_0110\ _6^20 + 322552148874236463758070871/19849036092578005666067866*c_01\ 10_6^19 + 445782297966978339613616473/19849036092578005666067866*c_\ 0110_6^18 - 899157083757084684492153863/19849036092578005666067866*\ c_0110_6^17 - 450977600807648225220230167/9924518046289002833033933\ *c_0110_6^16 + 425213385281925328920523475/992451804628900283303393\ 3*c_0110_6^15 + 849094332706739699863515907/99245180462890028330339\ 33*c_0110_6^14 + 157822255219172642513198494/9924518046289002833033\ 933*c_0110_6^13 - 67365978097987749061556436/5837951791934707548843\ 49*c_0110_6^12 - 202806646939840271971371199/1984903609257800566606\ 7866*c_0110_6^11 - 222965325353735299956656379/19849036092578005666\ 067866*c_0110_6^10 - 660321776476186037776057207/198490360925780056\ 66067866*c_0110_6^9 + 821157490400098196936450206/99245180462890028\ 33033933*c_0110_6^8 + 1174991801682230617654491258/9924518046289002\ 833033933*c_0110_6^7 + 637682851845825758537750398/9924518046289002\ 833033933*c_0110_6^6 - 1259944705646329613095857697/992451804628900\ 2833033933*c_0110_6^5 - 1500773446678052574211516729/19849036092578\ 005666067866*c_0110_6^4 + 916013747659294983787454537/1984903609257\ 8005666067866*c_0110_6^3 + 117491029620517861165352379/992451804628\ 9002833033933*c_0110_6^2 - 54312764334678693726663941/9924518046289\ 002833033933*c_0110_6 - 4746547119267848033700143/19849036092578005\ 666067866, c_0110_6^23 + 7*c_0110_6^22 + 8*c_0110_6^21 - 26*c_0110_6^20 - 34*c_0110_6^19 + 74*c_0110_6^18 + 71*c_0110_6^17 - 81*c_0110_6^16 - 137*c_0110_6^15 - 4*c_0110_6^14 + 197*c_0110_6^13 + 10*c_0110_6^12 - 18*c_0110_6^11 + 49*c_0110_6^10 - 129*c_0110_6^9 - 181*c_0110_6^8 - 62*c_0110_6^7 + 226*c_0110_6^6 + 120*c_0110_6^5 - 112*c_0110_6^4 - 33*c_0110_6^3 + 24*c_0110_6^2 + 2*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB