Magma V2.19-8 Tue Aug 20 2013 23:48:46 on localhost [Seed = 2496855600] Type ? for help. Type -D to quit. Loading file "L12n1006__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1006 geometric_solution 11.25448707 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 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 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.848876054919 0.669328717928 0 5 7 6 0132 0132 0132 0132 1 1 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 1 0 -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 1.225170295841 1.371781918967 8 0 9 8 0132 0132 0132 2103 0 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 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.693209273280 0.657494344613 10 7 4 0 0132 2031 3201 0132 0 1 0 1 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 0 1 -1 0 0 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.044287990375 0.562872489261 3 6 0 10 2310 3012 0132 3012 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 0 0 0 0 0 -1 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.358996949785 1.174099384819 8 1 7 8 1230 0132 0213 1302 1 0 0 0 0 1 -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 -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.693209273280 0.657494344613 4 9 1 10 1230 3120 0132 2031 1 1 0 0 0 0 -1 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 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.047159285456 1.195125125621 3 5 11 1 1302 0213 0132 0132 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 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.227407352920 0.627456082504 2 5 5 2 0132 3012 2031 2103 0 1 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 1 -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.693209273280 0.657494344613 11 6 11 2 0321 3120 2310 0132 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 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.585583561610 1.381372294365 3 6 4 11 0132 1302 1230 1302 1 1 1 0 0 0 0 0 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 1 0 0 -1 -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.755971588496 0.988322548175 9 9 10 7 0321 3201 2031 0132 1 1 0 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 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.199245339354 0.664143518617 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0011_4'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : negation(d['c_0011_0']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1010_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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_2_7' : 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' : negation(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' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_8']), 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_1010_10']), 'c_1100_6' : negation(d['c_1010_10']), 'c_1100_1' : negation(d['c_1010_10']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : negation(d['c_1010_10']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0011_7']), '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), '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' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : negation(d['c_0011_11']), '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_8'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_8, c_1001_5, c_1010_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 239257219418949691587781/659801197077945266035*c_1010_10^13 - 351614596481363714254353/1319602394155890532070*c_1010_10^12 - 4556236820577926629663621/10556819153247124256560*c_1010_10^11 - 3050973282203908914641129/2111363830649424851312*c_1010_10^10 + 6382092058621253503480799/5278409576623562128280*c_1010_10^9 + 2435257297520677100583457/5278409576623562128280*c_1010_10^8 - 4836574260586829889180749/2639204788311781064140*c_1010_10^7 + 49535281139714242071408191/42227276612988497026240*c_1010_10^6 - 23515005337694821571823197/42227276612988497026240*c_1010_10^5 - 3448741135558326167407249/42227276612988497026240*c_1010_10^4 - 3598034566183298131289109/21113638306494248513120*c_1010_10^3 + 9466654788089219764462/131960239415589053207*c_1010_10^2 - 6680909451597212608290229/168909106451953988104960*c_1010_10 + 1661050992752884153792227/84454553225976994052480, c_0011_0 - 1, c_0011_10 + 6311294250160530680/1007330071874725597*c_1010_10^13 + 7147140525608248588/1007330071874725597*c_1010_10^12 + 15542495000347136735/2014660143749451194*c_1010_10^11 + 50595447967271793783/2014660143749451194*c_1010_10^10 - 14303495644761331549/1007330071874725597*c_1010_10^9 - 24509510043111760747/1007330071874725597*c_1010_10^8 + 27199850961571938438/1007330071874725597*c_1010_10^7 - 5154449869240129773/8058640574997804776*c_1010_10^6 - 26780927260012515897/8058640574997804776*c_1010_10^5 - 396622788033497213/8058640574997804776*c_1010_10^4 + 18174077969195356967/4029320287498902388*c_1010_10^3 - 1273587251263365220/1007330071874725597*c_1010_10^2 - 45255888143933428049/32234562299991219104*c_1010_10 - 6745690501016866985/16117281149995609552, c_0011_11 - 20882078115370054748/1007330071874725597*c_1010_10^13 - 15402878112391326902/1007330071874725597*c_1010_10^12 - 92617689940814404951/4029320287498902388*c_1010_10^11 - 321314082250219352687/4029320287498902388*c_1010_10^10 + 146179743766245434005/2014660143749451194*c_1010_10^9 + 72447368778209255227/2014660143749451194*c_1010_10^8 - 103927297554528490551/1007330071874725597*c_1010_10^7 + 978513083924515182613/16117281149995609552*c_1010_10^6 - 408598178538295739103/16117281149995609552*c_1010_10^5 - 53474410957983468251/16117281149995609552*c_1010_10^4 - 89779527611373274119/8058640574997804776*c_1010_10^3 + 7388337819296230580/1007330071874725597*c_1010_10^2 - 99750489669250678631/64469124599982438208*c_1010_10 + 46608654799679721313/32234562299991219104, c_0011_4 - 4574788008015729948/1007330071874725597*c_1010_10^13 - 5532883003675280022/1007330071874725597*c_1010_10^12 - 29393445064657840007/4029320287498902388*c_1010_10^11 - 89444423502711100127/4029320287498902388*c_1010_10^10 + 8918358656078126405/2014660143749451194*c_1010_10^9 + 18948965826778362443/2014660143749451194*c_1010_10^8 - 25672998182749307631/1007330071874725597*c_1010_10^7 + 84129972850969868453/16117281149995609552*c_1010_10^6 + 34415011358567168049/16117281149995609552*c_1010_10^5 - 134188322377771722635/16117281149995609552*c_1010_10^4 - 17305158311770127879/8058640574997804776*c_1010_10^3 - 689641816372092140/1007330071874725597*c_1010_10^2 - 66026660010113868439/64469124599982438208*c_1010_10 + 720437294552200881/32234562299991219104, c_0011_6 - 14889217994332636024/1007330071874725597*c_1010_10^13 - 13261058464396815948/1007330071874725597*c_1010_10^12 - 51596457219193698735/2014660143749451194*c_1010_10^11 - 129303403173784325543/2014660143749451194*c_1010_10^10 + 35899844996538703677/1007330071874725597*c_1010_10^9 + 5596880459188398339/1007330071874725597*c_1010_10^8 - 40338558772511837742/1007330071874725597*c_1010_10^7 + 353664251764875120285/8058640574997804776*c_1010_10^6 - 420735121170790736375/8058640574997804776*c_1010_10^5 + 163183084533231376397/8058640574997804776*c_1010_10^4 - 67295834662734449071/4029320287498902388*c_1010_10^3 + 3442963598460645316/1007330071874725597*c_1010_10^2 - 117943648245100500927/32234562299991219104*c_1010_10 + 46335163208521276249/16117281149995609552, c_0011_7 + 16930957154774719004/1007330071874725597*c_1010_10^13 + 12864853410787859478/1007330071874725597*c_1010_10^12 + 89855242091772374727/4029320287498902388*c_1010_10^11 + 272136559005456898655/4029320287498902388*c_1010_10^10 - 108343206237559985285/2014660143749451194*c_1010_10^9 - 33842627631687616475/2014660143749451194*c_1010_10^8 + 72206681308377413935/1007330071874725597*c_1010_10^7 - 847138560365312560613/16117281149995609552*c_1010_10^6 + 645575690051640747919/16117281149995609552*c_1010_10^5 - 130852896836011879477/16117281149995609552*c_1010_10^4 + 90450717090626332183/8058640574997804776*c_1010_10^3 - 1064135324208548102/1007330071874725597*c_1010_10^2 + 137352665598666688087/64469124599982438208*c_1010_10 - 94003963351740640017/32234562299991219104, c_0101_0 - 1, c_0101_1 - 19173091012126660276/1007330071874725597*c_1010_10^13 - 17563595238444133298/1007330071874725597*c_1010_10^12 - 117425550584689455213/4029320287498902388*c_1010_10^11 - 330682322857148747637/4029320287498902388*c_1010_10^10 + 92719294201386362487/2014660143749451194*c_1010_10^9 + 43068592886894602073/2014660143749451194*c_1010_10^8 - 75226542823184463085/1007330071874725597*c_1010_10^7 + 782085469110217553271/16117281149995609552*c_1010_10^6 - 635763605263536995461/16117281149995609552*c_1010_10^5 + 104149847388084773543/16117281149995609552*c_1010_10^4 - 133285013420761366941/8058640574997804776*c_1010_10^3 + 2240939571019190172/1007330071874725597*c_1010_10^2 - 213798658598463384221/64469124599982438208*c_1010_10 + 46621891867692340283/32234562299991219104, c_0101_11 + 11165382872887932852/1007330071874725597*c_1010_10^13 + 10322303091329199666/1007330071874725597*c_1010_10^12 + 67175501875479814317/4029320287498902388*c_1010_10^11 + 193253344789272050869/4029320287498902388*c_1010_10^10 - 53586897952543570487/2014660143749451194*c_1010_10^9 - 27348997021601639817/2014660143749451194*c_1010_10^8 + 46578149389571925021/1007330071874725597*c_1010_10^7 - 445435739283674750967/16117281149995609552*c_1010_10^6 + 348667165665966183813/16117281149995609552*c_1010_10^5 - 9495770181414121255/16117281149995609552*c_1010_10^4 + 67967974937382199181/8058640574997804776*c_1010_10^3 - 795168122492688478/1007330071874725597*c_1010_10^2 + 89630464540239925597/64469124599982438208*c_1010_10 - 21540909502238440795/32234562299991219104, c_0101_8 + 26996334231215310448/1007330071874725597*c_1010_10^13 + 21239323529922392152/1007330071874725597*c_1010_10^12 + 34466329105496770855/1007330071874725597*c_1010_10^11 + 109435629251804012943/1007330071874725597*c_1010_10^10 - 82877831333413172218/1007330071874725597*c_1010_10^9 - 34187611062043048222/1007330071874725597*c_1010_10^8 + 128046038474205608036/1007330071874725597*c_1010_10^7 - 307362440111217905221/4029320287498902388*c_1010_10^6 + 173226720280058296223/4029320287498902388*c_1010_10^5 - 2790101682000477685/4029320287498902388*c_1010_10^4 + 40944414196703973155/2014660143749451194*c_1010_10^3 - 6996037964590587228/1007330071874725597*c_1010_10^2 + 59261912749531750423/16117281149995609552*c_1010_10 - 11827979752620516569/8058640574997804776, c_1001_5 + 20882078115370054748/1007330071874725597*c_1010_10^13 + 15402878112391326902/1007330071874725597*c_1010_10^12 + 92617689940814404951/4029320287498902388*c_1010_10^11 + 321314082250219352687/4029320287498902388*c_1010_10^10 - 146179743766245434005/2014660143749451194*c_1010_10^9 - 72447368778209255227/2014660143749451194*c_1010_10^8 + 103927297554528490551/1007330071874725597*c_1010_10^7 - 978513083924515182613/16117281149995609552*c_1010_10^6 + 408598178538295739103/16117281149995609552*c_1010_10^5 + 53474410957983468251/16117281149995609552*c_1010_10^4 + 89779527611373274119/8058640574997804776*c_1010_10^3 - 7388337819296230580/1007330071874725597*c_1010_10^2 + 99750489669250678631/64469124599982438208*c_1010_10 - 46608654799679721313/32234562299991219104, c_1010_10^14 + 1/2*c_1010_10^13 + 17/16*c_1010_10^12 + 59/16*c_1010_10^11 - 17/4*c_1010_10^10 - 3/8*c_1010_10^9 + 5*c_1010_10^8 - 275/64*c_1010_10^7 + 163/64*c_1010_10^6 - 33/64*c_1010_10^5 + 11/16*c_1010_10^4 - 7/16*c_1010_10^3 + 49/256*c_1010_10^2 - 7/64*c_1010_10 + 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.270 seconds, Total memory usage: 32.09MB