Magma V2.19-8 Wed Aug 21 2013 01:06:56 on localhost [Seed = 4122209560] Type ? for help. Type -D to quit. Loading file "L14n32862__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32862 geometric_solution 11.81144993 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 1023 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 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 0 0 0 0 1.060270626300 0.640406398816 0 4 4 0 0132 0132 1023 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.308952183835 0.417394797500 5 0 3 6 0132 0132 1302 0132 1 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 0 0 0 0 -1 1 0 3 0 0 -3 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.264006530273 0.630377062127 2 7 8 0 2031 0132 0132 0132 1 1 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 1 -1 0 1 0 -1 1 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736404383604 0.792481005172 6 1 1 9 3012 0132 1023 0132 1 1 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 0 0 0 0 0 0 0 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.060270626300 0.640406398816 2 10 11 11 0132 0132 0132 0321 1 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 0 0 0 0 -1 1 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298871942997 0.962468947896 10 9 2 4 0321 0132 0132 1230 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783754173135 0.671284017335 12 3 9 8 0132 0132 0132 0132 1 1 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 1 0 0 -1 0 4 0 -4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032479872429 0.635846006873 9 11 7 3 0132 0213 0132 0132 1 1 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 0 -1 0 1 0 0 1 -1 4 0 0 -4 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032479872429 0.635846006873 8 6 4 7 0132 0132 0132 0132 1 1 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 1 0 0 -1 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736404383604 0.792481005172 6 5 12 12 0321 0132 1230 1302 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 0 0 0 0 0 0 0 0 1 -6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298871942997 0.962468947896 12 5 8 5 1023 0321 0213 0132 1 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 -1 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705739389713 0.947618893732 7 11 10 10 0132 1023 2031 3012 0 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 0 0 0 0 0 0 0 0 -1 0 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298871942997 0.962468947896 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_6'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : d['c_1001_11'], 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_10'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_3'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : d['c_0101_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : 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_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_10']), 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_4, c_1001_0, c_1001_10, c_1001_11, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 261580629605974271657107231098030671/122342674605963653760256392300\ 3384*c_1100_0^7 + 25281460652351480591232612830661895678/8105202192\ 645092061616985989897419*c_1100_0^6 + 1756184193727052359268751670472351394575/64841617541160736492935887\ 919179352*c_1100_0^5 - 694332216747691025777182755726831991195/2161\ 3872513720245497645295973059784*c_1100_0^4 + 199686037934345831206597615363772766293/810520219264509206161698598\ 9897419*c_1100_0^3 - 759106315258301577145690298741114625307/648416\ 17541160736492935887919179352*c_1100_0^2 + 226822043949093234083516251262468056259/648416175411607364929358879\ 19179352*c_1100_0 - 1993311037603442652115476863283460301/810520219\ 2645092061616985989897419, c_0011_0 - 1, c_0011_11 - 18500390085933392739519896473/60506883942738347998904553918\ *c_1100_0^7 - 47031328480743162784356702496/10084480657123057999817\ 425653*c_1100_0^6 - 843454304051573882213169942427/2016896131424611\ 5999634851306*c_1100_0^5 + 158579730861831079320492954647/864384056\ 3248335428414936274*c_1100_0^4 - 70928530205064423783992706581/3361\ 493552374352666605808551*c_1100_0^3 + 319824336620490309041542537949/60506883942738347998904553918*c_1100\ _0^2 - 75521230565763603256060433105/60506883942738347998904553918*\ c_1100_0 - 229627806163113953247900949/1043222136943764620670768171\ , c_0011_6 - 861698035748687464482341051/8643840563248335428414936274*c_1\ 100_0^7 - 891368346043184440213813512/480213364624907523800829793*c\ _1100_0^6 - 53616705014638640116751682629/2881280187749445142804978\ 758*c_1100_0^5 - 325395828245368566423680406773/8643840563248335428\ 414936274*c_1100_0^4 + 7004064250868329581232405013/205805727696388\ 938771784197*c_1100_0^3 - 194543744024954952427096588889/8643840563\ 248335428414936274*c_1100_0^2 + 73267542991862643562166932817/86438\ 40563248335428414936274*c_1100_0 - 297233118334794106557210722/149031733849109231524395453, c_0101_0 - 1, c_0101_1 + 387830424037712595556531735/2086444273887529241341536342*c_1\ 100_0^7 + 886498039888589930141010641/347740712314588206890256057*c\ _1100_0^6 + 4891095146658528518473629417/23182714154305880459350403\ 8*c_1100_0^5 - 14799760178793591524219432069/2980634676982184630487\ 90906*c_1100_0^4 + 12466013281797467529869624183/347740712314588206\ 890256057*c_1100_0^3 - 35010149945972656200924035519/20864442738875\ 29241341536342*c_1100_0^2 + 10626388354176560061980640125/208644427\ 3887529241341536342*c_1100_0 + 7413507258720410565584983/3597317713\ 5991883471405799, c_0101_10 - 107487102031832590415030251/1043222136943764620670768171*c_\ 1100_0^7 - 488148158859246371377010668/347740712314588206890256057*\ c_1100_0^6 - 4035666973699167253413001414/3477407123145882068902560\ 57*c_1100_0^5 + 4172203095751721084001494495/1490317338491092315243\ 95453*c_1100_0^4 - 9585943774271403807454585610/3477407123145882068\ 90256057*c_1100_0^3 + 14496815041337715310613953967/104322213694376\ 4620670768171*c_1100_0^2 - 174909046227349021459937266/359731771359\ 91883471405799*c_1100_0 + 1447113079562104706661671138/104322213694\ 3764620670768171, c_0101_12 - 239443275644285792955106985/1043222136943764620670768171*c_\ 1100_0^7 - 1179851963650902557077769830/347740712314588206890256057\ *c_1100_0^6 - 10358868442849673240143635404/34774071231458820689025\ 6057*c_1100_0^5 + 4154440077091684866509685007/14903173384910923152\ 4395453*c_1100_0^4 - 3281149643511999762006445244/11591357077152940\ 2296752019*c_1100_0^3 + 15179631223299823197646721044/1043222136943\ 764620670768171*c_1100_0^2 - 5356129566969452444126252917/104322213\ 6943764620670768171*c_1100_0 + 34062708325391436418766375/359731771\ 35991883471405799, c_0101_3 - 148632738668179045050499933/1043222136943764620670768171*c_1\ 100_0^7 - 250714261976499107259142975/115913570771529402296752019*c\ _1100_0^6 - 2243726977969364749313179545/11591357077152940229675201\ 9*c_1100_0^5 + 1421202700999426677652592222/14903173384910923152439\ 5453*c_1100_0^4 - 1647691236748244371419081044/11591357077152940229\ 6752019*c_1100_0^3 + 3380089018401418083057249290/10432221369437646\ 20670768171*c_1100_0^2 - 1433351100274632810372365816/1043222136943\ 764620670768171*c_1100_0 + 18071340712252931308669075/3597317713599\ 1883471405799, c_0101_4 - 46221470378764273738784077/695481424629176413780512114*c_110\ 0_0^7 - 290099258113514301856109579/347740712314588206890256057*c_1\ 100_0^6 - 4419085904346318860377689719/695481424629176413780512114*\ c_1100_0^5 + 404181308265975726749862211/14193498461819926811847186\ *c_1100_0^4 - 1866313805037243753156134459/115913570771529402296752\ 019*c_1100_0^3 + 6157082004761327452297009157/695481424629176413780\ 512114*c_1100_0^2 - 634676551766023122132171027/2318271415430588045\ 93504038*c_1100_0 - 3918731221789556354103302/119910590453306278238\ 01933, c_1001_0 - 371474487109252675559605487/2086444273887529241341536342*c_1\ 100_0^7 - 970187440853008374827030390/347740712314588206890256057*c\ _1100_0^6 - 17629653403077757746977318665/6954814246291764137805121\ 14*c_1100_0^5 + 772643734059438591565954105/29806346769821846304879\ 0906*c_1100_0^4 + 3720563905813517779641108248/34774071231458820689\ 0256057*c_1100_0^3 - 22238081055281224065598173671/2086444273887529\ 241341536342*c_1100_0^2 + 10413246433221726865176600221/20864442738\ 87529241341536342*c_1100_0 - 63951861874140834471855038/35973177135\ 991883471405799, c_1001_10 - 142349791694606392402134785/231827141543058804593504038*c_1\ 100_0^7 - 3174147364000391795490042187/347740712314588206890256057*\ c_1100_0^6 - 55856964842289528906715981543/695481424629176413780512\ 114*c_1100_0^5 + 6953317115211808654923945109/993544892327394876829\ 30302*c_1100_0^4 - 5963444037233161316180513630/1159135707715294022\ 96752019*c_1100_0^3 + 5362129970311545155878579997/2318271415430588\ 04593504038*c_1100_0^2 - 4352956340796389751124926899/6954814246291\ 76413780512114*c_1100_0 + 8806025869009749675046453/119910590453306\ 27823801933, c_1001_11 - 802261573962885945708999095/2086444273887529241341536342*c_\ 1100_0^7 - 664765133449829746137424119/115913570771529402296752019*\ c_1100_0^6 - 11713075985530060808809570245/231827141543058804593504\ 038*c_1100_0^5 + 12551071191452056231752465313/29806346769821846304\ 8790906*c_1100_0^4 - 2682294393721161554174068386/11591357077152940\ 2296752019*c_1100_0^3 + 17899907286204260007613777885/2086444273887\ 529241341536342*c_1100_0^2 - 2346609888450264365122274863/208644427\ 3887529241341536342*c_1100_0 - 7644630718362187393627016/3597317713\ 5991883471405799, c_1100_0^8 + 40834/2809*c_1100_0^7 + 354057/2809*c_1100_0^6 - 435353/2809*c_1100_0^5 + 389686/2809*c_1100_0^4 - 218861/2809*c_1100_0^3 + 86607/2809*c_1100_0^2 - 20706/2809*c_1100_0 + 3364/2809 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.460 Total time: 0.670 seconds, Total memory usage: 32.09MB