Magma V2.19-8 Tue Aug 20 2013 16:16:45 on localhost [Seed = 54697935] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1029 geometric_solution 4.91201291 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 -1 -1 2 0 0 1 -1 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 1 -1 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.846067888291 0.686870348914 0 3 4 3 0132 0132 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.374518721703 1.078581668825 5 4 0 3 0132 0213 0132 2310 0 0 0 0 0 1 -2 1 0 0 1 -1 1 0 0 -1 -1 0 1 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 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.922210500215 1.570352835817 2 1 4 1 3201 0132 3012 2103 0 0 0 0 0 0 0 0 1 0 -1 0 -1 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 -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.158069400173 0.431980232089 5 3 2 1 3120 1230 0213 0132 0 0 0 0 0 1 -1 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 -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.523912404995 0.571555326803 2 6 6 4 0132 0132 3201 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.088194112918 0.196476735790 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 -1 0 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 0 1 0 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 4.786846493288 4.340072304311 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(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' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0110_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0110_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0110_3']), 'c_1010_1' : negation(d['c_0011_4']), '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_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1477070378486687122376002774056/3379008288090084033958928132053*c_0\ 110_3^15 + 17439402941453634103182822150465/33790082880900840339589\ 28132053*c_0110_3^14 - 55368160394657975771736196443963/33790082880\ 90084033958928132053*c_0110_3^13 + 35723263129648505212930903146027/3379008288090084033958928132053*c_\ 0110_3^12 + 118615319948969759024825232052732/337900828809008403395\ 8928132053*c_0110_3^11 - 208236972577667879714803773112540/33790082\ 88090084033958928132053*c_0110_3^10 - 34867875313303583730381777378070/3379008288090084033958928132053*c_\ 0110_3^9 + 189283963937626151853302183678782/3379008288090084033958\ 928132053*c_0110_3^8 + 252703712450290481781558566673851/3379008288\ 090084033958928132053*c_0110_3^7 - 906818611723460006049140046789860/3379008288090084033958928132053*c\ _0110_3^6 + 951202435308791967839526361256024/337900828809008403395\ 8928132053*c_0110_3^5 - 566532763164477806564663639423439/337900828\ 8090084033958928132053*c_0110_3^4 + 310652127942408650967460365736734/3379008288090084033958928132053*c\ _0110_3^3 - 233987164438648036002562877341812/337900828809008403395\ 8928132053*c_0110_3^2 + 101586584190800528612001114376044/337900828\ 8090084033958928132053*c_0110_3 - 16503562324296700875051277771441/\ 3379008288090084033958928132053, c_0011_0 - 1, c_0011_2 - 2021326775507401073920430991/582889130255318963939784049*c_0\ 110_3^15 + 16821074147596049018703054126/58288913025531896393978404\ 9*c_0110_3^14 - 11281142471278501240815108134/582889130255318963939\ 784049*c_0110_3^13 - 41071013820082697296381441180/5828891302553189\ 63939784049*c_0110_3^12 + 65996796390865720108442229053/58288913025\ 5318963939784049*c_0110_3^11 + 63195210633279997290461796723/582889\ 130255318963939784049*c_0110_3^10 - 66417002021563220712203394750/582889130255318963939784049*c_0110_3^\ 9 - 112599097903268029748269946295/582889130255318963939784049*c_01\ 10_3^8 + 243029197946283348142333442477/582889130255318963939784049\ *c_0110_3^7 - 115035831348948103520747161306/5828891302553189639397\ 84049*c_0110_3^6 + 58877102016478443827060743206/582889130255318963\ 939784049*c_0110_3^5 - 63324072382190679962253253004/58288913025531\ 8963939784049*c_0110_3^4 + 59909626190531405305017782858/5828891302\ 55318963939784049*c_0110_3^3 - 356495671690605090433835481/58288913\ 0255318963939784049*c_0110_3^2 + 15747399262250840051211190033/5828\ 89130255318963939784049*c_0110_3 - 7238316440997936976875268340/582889130255318963939784049, c_0011_4 - 1348938815383963025159224212/582889130255318963939784049*c_0\ 110_3^15 + 11238504859598318344291569645/58288913025531896393978404\ 9*c_0110_3^14 - 7622008160223071045746091741/5828891302553189639397\ 84049*c_0110_3^13 - 27445715347668452877013500380/58288913025531896\ 3939784049*c_0110_3^12 + 44345298445242161813972048603/582889130255\ 318963939784049*c_0110_3^11 + 41933304967896500804084972215/5828891\ 30255318963939784049*c_0110_3^10 - 45121991698471944246319027902/582889130255318963939784049*c_0110_3^\ 9 - 74911726756872476946050083023/582889130255318963939784049*c_011\ 0_3^8 + 163039624930702680725723180471/582889130255318963939784049*\ c_0110_3^7 - 78440476117854311230065763180/582889130255318963939784\ 049*c_0110_3^6 + 38426644344759836901143243359/58288913025531896393\ 9784049*c_0110_3^5 - 41234361390392512471872364602/5828891302553189\ 63939784049*c_0110_3^4 + 39633646116306620371510552367/582889130255\ 318963939784049*c_0110_3^3 - 901057228789249130674056603/5828891302\ 55318963939784049*c_0110_3^2 + 10715465437361334532180717955/582889\ 130255318963939784049*c_0110_3 - 4936570578143897040362740399/58288\ 9130255318963939784049, c_0101_0 - 209248194154429690038699570/582889130255318963939784049*c_01\ 10_3^15 + 1785374149850503066611221061/582889130255318963939784049*\ c_0110_3^14 - 1514424585003595806743344256/582889130255318963939784\ 049*c_0110_3^13 - 4178311947111261559421576177/58288913025531896393\ 9784049*c_0110_3^12 + 7873736178665811693665385036/5828891302553189\ 63939784049*c_0110_3^11 + 5606388143891696405238834283/582889130255\ 318963939784049*c_0110_3^10 - 9121342869128315119869289331/58288913\ 0255318963939784049*c_0110_3^9 - 11020303053882521342684295336/5828\ 89130255318963939784049*c_0110_3^8 + 28936256853737118270221028088/582889130255318963939784049*c_0110_3^\ 7 - 15711504583528113446455210033/582889130255318963939784049*c_011\ 0_3^6 + 5311320734502054840637220895/582889130255318963939784049*c_\ 0110_3^5 - 7346125013223438174481639746/582889130255318963939784049\ *c_0110_3^4 + 8045648156030050304019670054/582889130255318963939784\ 049*c_0110_3^3 - 1263486963686224940657771540/582889130255318963939\ 784049*c_0110_3^2 + 1134663322803572727180487213/582889130255318963\ 939784049*c_0110_3 - 1402335728740563175389971707/58288913025531896\ 3939784049, c_0101_1 - 601095358682908255334187513/582889130255318963939784049*c_01\ 10_3^15 + 5105728207250830472496409074/582889130255318963939784049*\ c_0110_3^14 - 4181192354021069687558421764/582889130255318963939784\ 049*c_0110_3^13 - 11903874753515709670090455174/5828891302553189639\ 39784049*c_0110_3^12 + 21746566725798901190956892261/58288913025531\ 8963939784049*c_0110_3^11 + 16082677236178121304982793785/582889130\ 255318963939784049*c_0110_3^10 - 23616998770575944096426341486/5828\ 89130255318963939784049*c_0110_3^9 - 31471904084403348380840291229/582889130255318963939784049*c_0110_3^\ 8 + 78003927506972131608862992395/582889130255318963939784049*c_011\ 0_3^7 - 44924789755650158412923975268/582889130255318963939784049*c\ _0110_3^6 + 20700966489238552870534121441/5828891302553189639397840\ 49*c_0110_3^5 - 21223521910320727146269383265/582889130255318963939\ 784049*c_0110_3^4 + 19701851701834360459587907873/58288913025531896\ 3939784049*c_0110_3^3 - 2791139153482639841850165785/58288913025531\ 8963939784049*c_0110_3^2 + 4158941021487718173038790454/58288913025\ 5318963939784049*c_0110_3 - 2555989447343688635754568396/5828891302\ 55318963939784049, c_0101_6 + 737207882426818961622999819/582889130255318963939784049*c_01\ 10_3^15 - 6080505642157522343673904788/582889130255318963939784049*\ c_0110_3^14 + 3680812460980311519838687304/582889130255318963939784\ 049*c_0110_3^13 + 15146104293353296992193303818/5828891302553189639\ 39784049*c_0110_3^12 - 23020576575017538399774451089/58288913025531\ 8963939784049*c_0110_3^11 - 24459274959954940381365882519/582889130\ 255318963939784049*c_0110_3^10 + 22337347642896384156800003938/5828\ 89130255318963939784049*c_0110_3^9 + 41937787663864963968912986751/582889130255318963939784049*c_0110_3^\ 8 - 85922035656444714064702317575/582889130255318963939784049*c_011\ 0_3^7 + 36440232648474399134880155438/582889130255318963939784049*c\ _0110_3^6 - 19629598361600882672624717874/5828891302553189639397840\ 49*c_0110_3^5 + 20947274647721500646984394069/582889130255318963939\ 784049*c_0110_3^4 - 20399885463376313916883273071/58288913025531896\ 3939784049*c_0110_3^3 - 913930779419592587609222368/582889130255318\ 963939784049*c_0110_3^2 - 6307973302400581513539561445/582889130255\ 318963939784049*c_0110_3 + 2016806049772475583191145911/58288913025\ 5318963939784049, c_0110_3^16 - 26/3*c_0110_3^15 + 76/9*c_0110_3^14 + 166/9*c_0110_3^13 - 119/3*c_0110_3^12 - 181/9*c_0110_3^11 + 394/9*c_0110_3^10 + 401/9*c_0110_3^9 - 1255/9*c_0110_3^8 + 884/9*c_0110_3^7 - 434/9*c_0110_3^6 + 41*c_0110_3^5 - 40*c_0110_3^4 + 31/3*c_0110_3^3 - 8*c_0110_3^2 + 19/3*c_0110_3 - 11/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB