Magma V2.19-8 Wed Aug 21 2013 01:03:48 on localhost [Seed = 2681833407] Type ? for help. Type -D to quit. Loading file "L14n22203__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n22203 geometric_solution 11.94287245 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 1 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 1 0 -1 -1 0 1 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.505512482046 0.480126116356 0 5 6 3 0132 0132 0132 0132 1 0 1 1 0 0 0 0 -1 0 -1 2 -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 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.504364636834 1.345446369309 3 0 6 4 0132 0132 2103 3120 1 0 1 1 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473835602916 0.704829502355 2 7 1 0 0132 0132 0132 0132 1 0 1 1 0 0 0 0 1 0 -2 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 0 1 -1 -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.127999142814 1.442153300116 2 8 0 6 3120 0132 0132 0132 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 0 0 0 0 0 0 0 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.663352604764 1.576601864510 7 1 9 10 0132 0132 0132 0132 1 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354491151283 0.486175949168 2 11 4 1 2103 0132 0132 0132 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.034540719947 0.401608620125 5 3 8 9 0132 0132 2103 0321 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828703060788 1.064743502890 7 4 12 11 2103 0132 0132 3120 1 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 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.823090992624 0.724805948680 12 7 10 5 2031 0321 3012 0132 1 1 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 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.894658675514 1.005530895833 12 9 5 11 0132 1230 0132 3012 1 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 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 0 0 0 0.431124783957 1.664100857110 8 6 10 12 3120 0132 1230 0321 1 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 0 0 0 0 0 0 0 0 0 1 -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 1.013960019136 0.824592333160 10 11 9 8 0132 0321 1302 0132 1 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 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 0.401680247077 1.275280782410 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_6'], 'c_1010_12' : d['c_1001_6'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : d['1'], 's_3_10' : 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_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1001_1']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_1']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : negation(d['c_1001_1']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_6'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : negation(d['c_0011_11']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0101_11']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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_0101_11']), '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_11']), '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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_0'], '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_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_9']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : d['c_0101_1']})} 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_10, c_0011_11, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_1001_1, c_1001_3, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 7940471031356649270593835761249/82819590296884127546327088594400*c_\ 1100_0^14 + 7585924079395578218290078061843/41409795148442063773163\ 544297200*c_1100_0^13 - 2429185134278717164087982797039/20704897574\ 221031886581772148600*c_1100_0^12 - 3343358682176427104816773015389/11831370042412018220903869799200*c_\ 1100_0^11 + 3652285482879593934004338889913/12179351514247665815636\ 33655800*c_1100_0^10 - 603468930455760658218373817743/1217935151424\ 76658156363365580*c_1100_0^9 + 57626480302605243257615205883921/165\ 63918059376825509265417718880*c_1100_0^8 + 108268520246562087792808124991729/16563918059376825509265417718880*\ c_1100_0^7 - 2780436863078278742197618127493967/8281959029688412754\ 6327088594400*c_1100_0^6 + 2195161118913021946304144663932963/41409\ 795148442063773163544297200*c_1100_0^5 - 36702749547598795981297868523977/1035244878711051594329088607430*c_\ 1100_0^4 - 76559878301290539446892314942159/20704897574221031886581\ 77214860*c_1100_0^3 + 1681536022166592320123249469117123/1183137004\ 2412018220903869799200*c_1100_0^2 - 3470735123840178164615794576306569/20704897574221031886581772148600\ *c_1100_0 + 69360818464185777531174109747891/8281959029688412754632\ 70885944, c_0011_0 - 1, c_0011_10 - 1679147086579/2426717145817630*c_1100_0^14 + 7144332084231/1213358572908815*c_1100_0^13 - 50613477266421/2426717145817630*c_1100_0^12 + 75749412565361/2426717145817630*c_1100_0^11 - 49340320424403/2426717145817630*c_1100_0^10 - 326092256073409/2426717145817630*c_1100_0^9 + 589331830099317/1213358572908815*c_1100_0^8 - 932020557484402/1213358572908815*c_1100_0^7 + 2100225939730177/2426717145817630*c_1100_0^6 + 176593216874432/242671714581763*c_1100_0^5 - 8242180827451343/2426717145817630*c_1100_0^4 + 7923448246501024/1213358572908815*c_1100_0^3 - 9570356708232651/1213358572908815*c_1100_0^2 + 5944083597144534/1213358572908815*c_1100_0 - 306669166244416/242671714581763, c_0011_11 - 20582791553733/1698702002072341*c_1100_0^14 + 632432660241031/16987020020723410*c_1100_0^13 - 125613911710963/1698702002072341*c_1100_0^12 + 215760574962157/2426717145817630*c_1100_0^11 + 3549826723462433/16987020020723410*c_1100_0^10 - 13802310826068689/16987020020723410*c_1100_0^9 + 29650960391432239/16987020020723410*c_1100_0^8 - 17870577740616957/8493510010361705*c_1100_0^7 - 1601253041250788/8493510010361705*c_1100_0^6 + 94901380939199179/16987020020723410*c_1100_0^5 - 112375775737680044/8493510010361705*c_1100_0^4 + 307234498494762333/16987020020723410*c_1100_0^3 - 18837775711423962/1213358572908815*c_1100_0^2 + 70409632482839812/8493510010361705*c_1100_0 - 5688256252015055/1698702002072341, c_0011_4 - 11633095086153/4853434291635260*c_1100_0^14 + 17607512324873/2426717145817630*c_1100_0^13 - 72621695780617/4853434291635260*c_1100_0^12 + 19678631368695/970686858327052*c_1100_0^11 + 39092477361569/970686858327052*c_1100_0^10 - 803936107716971/4853434291635260*c_1100_0^9 + 456269004427769/1213358572908815*c_1100_0^8 - 1223397610814113/2426717145817630*c_1100_0^7 + 138441713075237/4853434291635260*c_1100_0^6 + 1443064950444247/1213358572908815*c_1100_0^5 - 15451487764568457/4853434291635260*c_1100_0^4 + 5569733545792868/1213358572908815*c_1100_0^3 - 2133235366292295/485343429163526*c_1100_0^2 + 7083773301042177/2426717145817630*c_1100_0 - 20093136596306/242671714581763, c_0011_9 + 12532307331729/4853434291635260*c_1100_0^14 - 14853957755367/2426717145817630*c_1100_0^13 + 46839862669441/4853434291635260*c_1100_0^12 - 44658421067979/4853434291635260*c_1100_0^11 - 302963778704173/4853434291635260*c_1100_0^10 + 691412736401207/4853434291635260*c_1100_0^9 - 296234564605208/1213358572908815*c_1100_0^8 + 559811246014081/2426717145817630*c_1100_0^7 + 368188546293155/970686858327052*c_1100_0^6 - 1297193021493022/1213358572908815*c_1100_0^5 + 9564569248187649/4853434291635260*c_1100_0^4 - 2557941538732191/1213358572908815*c_1100_0^3 + 3144836729192589/2426717145817630*c_1100_0^2 - 1724671697857223/2426717145817630*c_1100_0 + 175868355886102/242671714581763, c_0101_0 - 1, c_0101_1 - 493087496677731/33974040041446820*c_1100_0^14 + 377842623257571/8493510010361705*c_1100_0^13 - 3020630104683579/33974040041446820*c_1100_0^12 + 529914306767789/4853434291635260*c_1100_0^11 + 8467890154579781/33974040041446820*c_1100_0^10 - 6646434881231235/6794808008289364*c_1100_0^9 + 7207745290684201/3397404004144682*c_1100_0^8 - 8860987751386541/3397404004144682*c_1100_0^7 - 5435920173476493/33974040041446820*c_1100_0^6 + 115104290245418637/16987020020723410*c_1100_0^5 - 111532703460539875/6794808008289364*c_1100_0^4 + 77042153627172497/3397404004144682*c_1100_0^3 - 48341728254309399/2426717145817630*c_1100_0^2 + 190405678072974863/16987020020723410*c_1100_0 - 5828908208189197/1698702002072341, c_0101_10 + 59963717784296/8493510010361705*c_1100_0^14 - 25879308072241/1698702002072341*c_1100_0^13 + 228519691224954/8493510010361705*c_1100_0^12 - 46073201258347/2426717145817630*c_1100_0^11 - 1363678499493669/8493510010361705*c_1100_0^10 + 6026226930939933/16987020020723410*c_1100_0^9 - 10755245060372893/16987020020723410*c_1100_0^8 + 7178358020176363/16987020020723410*c_1100_0^7 + 17671651360600043/16987020020723410*c_1100_0^6 - 25701143228907458/8493510010361705*c_1100_0^5 + 40276685557983498/8493510010361705*c_1100_0^4 - 75355466206969101/16987020020723410*c_1100_0^3 + 496643705894977/1213358572908815*c_1100_0^2 + 3693279128396309/3397404004144682*c_1100_0 - 1109078656879404/1698702002072341, c_0101_11 + 4861790714219/16987020020723410*c_1100_0^14 + 100405087733327/16987020020723410*c_1100_0^13 - 251134701694399/16987020020723410*c_1100_0^12 + 7002871940412/242671714581763*c_1100_0^11 - 51065534193025/1698702002072341*c_1100_0^10 - 999534390712666/8493510010361705*c_1100_0^9 + 5394292667901367/16987020020723410*c_1100_0^8 - 5559787571695181/8493510010361705*c_1100_0^7 + 9886461758218979/16987020020723410*c_1100_0^6 + 8865562511205311/16987020020723410*c_1100_0^5 - 44662944248515499/16987020020723410*c_1100_0^4 + 82903307128559139/16987020020723410*c_1100_0^3 - 1370985600331879/242671714581763*c_1100_0^2 + 26354865118834064/8493510010361705*c_1100_0 - 1230124805664305/1698702002072341, c_1001_1 + 352311875757/242671714581763*c_1100_0^14 - 10878003209567/2426717145817630*c_1100_0^13 + 1346136251548/242671714581763*c_1100_0^12 - 1662831546753/2426717145817630*c_1100_0^11 - 112900668894721/2426717145817630*c_1100_0^10 + 276164267381723/2426717145817630*c_1100_0^9 - 353237548097623/2426717145817630*c_1100_0^8 + 53807009137779/1213358572908815*c_1100_0^7 + 601192165589761/1213358572908815*c_1100_0^6 - 2434100218078993/2426717145817630*c_1100_0^5 + 1689650972832983/1213358572908815*c_1100_0^4 - 1665576685212471/2426717145817630*c_1100_0^3 - 986243107121182/1213358572908815*c_1100_0^2 + 1190426662629366/1213358572908815*c_1100_0 - 108197326462535/242671714581763, c_1001_3 + 11633095086153/4853434291635260*c_1100_0^14 - 17607512324873/2426717145817630*c_1100_0^13 + 72621695780617/4853434291635260*c_1100_0^12 - 19678631368695/970686858327052*c_1100_0^11 - 39092477361569/970686858327052*c_1100_0^10 + 803936107716971/4853434291635260*c_1100_0^9 - 456269004427769/1213358572908815*c_1100_0^8 + 1223397610814113/2426717145817630*c_1100_0^7 - 138441713075237/4853434291635260*c_1100_0^6 - 1443064950444247/1213358572908815*c_1100_0^5 + 15451487764568457/4853434291635260*c_1100_0^4 - 5569733545792868/1213358572908815*c_1100_0^3 + 2133235366292295/485343429163526*c_1100_0^2 - 4657056155224547/2426717145817630*c_1100_0 + 20093136596306/242671714581763, c_1001_6 + 7534542078397/8493510010361705*c_1100_0^14 - 81400815653333/8493510010361705*c_1100_0^13 + 175965768885363/8493510010361705*c_1100_0^12 - 82237563214991/2426717145817630*c_1100_0^11 + 37885960798848/8493510010361705*c_1100_0^10 + 687548752267483/3397404004144682*c_1100_0^9 - 1563784435129433/3397404004144682*c_1100_0^8 + 2787365465809937/3397404004144682*c_1100_0^7 - 7718886548841623/16987020020723410*c_1100_0^6 - 9290275380056928/8493510010361705*c_1100_0^5 + 5697034930692877/1698702002072341*c_1100_0^4 - 19912493675090035/3397404004144682*c_1100_0^3 + 6167210436559791/1213358572908815*c_1100_0^2 - 52491806311217619/16987020020723410*c_1100_0 + 1642590601645872/1698702002072341, c_1100_0^15 - 4*c_1100_0^14 + 9*c_1100_0^13 - 13*c_1100_0^12 - 11*c_1100_0^11 + 85*c_1100_0^10 - 210*c_1100_0^9 + 310*c_1100_0^8 - 137*c_1100_0^7 - 514*c_1100_0^6 + 1585*c_1100_0^5 - 2570*c_1100_0^4 + 2666*c_1100_0^3 - 1786*c_1100_0^2 + 740*c_1100_0 - 200 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.520 Total time: 0.730 seconds, Total memory usage: 32.09MB