Magma V2.19-8 Wed Aug 21 2013 01:02:45 on localhost [Seed = 139334637] Type ? for help. Type -D to quit. Loading file "L14n15640__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15640 geometric_solution 12.16575198 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 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 0 -1 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.586174162761 0.737261041078 0 3 6 5 0132 3201 0132 0132 1 1 1 1 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 -1 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.348532910430 0.734244988513 7 0 9 8 0132 0132 0132 0132 1 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.472392195799 1.111497292054 9 10 1 0 1230 0132 2310 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 -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.414934419397 0.877740486795 11 6 0 7 0132 0132 0132 3201 1 1 0 1 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 1 -1 0 -1 0 0 1 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.586174162761 0.737261041078 12 8 1 11 0132 1023 0132 0132 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 0 0 0 0 0 0 0 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.586174162761 0.737261041078 12 4 8 1 1023 0132 0132 0132 1 1 1 0 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 -1 0 1 0 0 0 0 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.348532910430 0.734244988513 2 4 10 12 0132 2310 1230 3012 0 1 1 1 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 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.637914076999 0.518547639325 5 10 2 6 1023 0213 0132 0132 1 1 0 1 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 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.586174162761 0.737261041078 12 3 11 2 3012 3012 0132 0132 1 1 1 1 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 0 0 0 0 0 0 0.297084612030 0.403874220002 11 3 8 7 1302 0132 0213 3012 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 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.056097198900 0.767279774676 4 10 5 9 0132 2031 0132 0132 1 1 1 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 1 0 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 1.472392195799 1.111497292054 5 6 7 9 0132 1023 1230 1230 1 1 1 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 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.414934419397 0.877740486795 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_6'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_6'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_1001_6']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_1'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : 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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_1100_1'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1001_6'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_1001_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : d['c_1001_6'], 'c_1100_8' : d['c_1100_1'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : 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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_2'], '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_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_11'], '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_0101_1'], 'c_0110_10' : negation(d['c_0101_6']), 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0011_9'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_2'], '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_9, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_6, c_0101_7, c_1001_0, c_1001_6, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 5075624605687184875247586958991383/9923025147368435240803044010000*\ c_1100_1^11 + 5829312865390992801220975327028931/992302514736843524\ 0803044010000*c_1100_1^10 + 21174952911828141452869067150129/230768\ 02668298686606518707000*c_1100_1^9 - 304769991527990784888970850152129/9923025147368435240803044010000*c\ _1100_1^8 - 74158910365492978148355001653700467/9923025147368435240\ 803044010000*c_1100_1^7 - 121192474166084062293511843751505959/9923\ 025147368435240803044010000*c_1100_1^6 - 139349746992831099179555024998183779/496151257368421762040152200500\ 0*c_1100_1^5 - 73157111877736742829830857440871731/2480756286842108\ 810200761002500*c_1100_1^4 - 109535823281523071034160663164900447/4\ 961512573684217620401522005000*c_1100_1^3 - 2415863151876279156940921423935711/198460502947368704816060880200*c\ _1100_1^2 - 20162821006624922609838245459367931/1984605029473687048\ 160608802000*c_1100_1 - 633441343967897738807134671455207/230768026\ 682986866065187070000, c_0011_0 - 1, c_0011_10 + 557795578321674910797/458322297416489309095*c_1100_1^11 - 645145275609444242184/458322297416489309095*c_1100_1^10 - 195979695686310827766/91664459483297861819*c_1100_1^9 + 9211888626476461371/458322297416489309095*c_1100_1^8 + 8138178826494395910683/458322297416489309095*c_1100_1^7 + 13298654460320995630951/458322297416489309095*c_1100_1^6 + 30731190148403572399297/458322297416489309095*c_1100_1^5 + 32070867239227655203771/458322297416489309095*c_1100_1^4 + 24207364012938217616181/458322297416489309095*c_1100_1^3 + 2714684665878085829072/91664459483297861819*c_1100_1^2 + 2251189474052970268687/91664459483297861819*c_1100_1 + 3133550847578605490809/458322297416489309095, c_0011_11 + 1, c_0011_9 - 219130581821000862009/458322297416489309095*c_1100_1^11 + 281187181489495363423/458322297416489309095*c_1100_1^10 + 72764532288926224934/91664459483297861819*c_1100_1^9 - 79492097551992156892/458322297416489309095*c_1100_1^8 - 3190051923063175703776/458322297416489309095*c_1100_1^7 - 4824443093466355371132/458322297416489309095*c_1100_1^6 - 11233335607671473603839/458322297416489309095*c_1100_1^5 - 10933772794690158409217/458322297416489309095*c_1100_1^4 - 7772865957795448060982/458322297416489309095*c_1100_1^3 - 859691934723684293841/91664459483297861819*c_1100_1^2 - 750002192658550598305/91664459483297861819*c_1100_1 - 1062981394032626467103/458322297416489309095, c_0101_1 - 124594865716722344439/458322297416489309095*c_1100_1^11 + 91131133953888791363/458322297416489309095*c_1100_1^10 + 59207258171203589116/91664459483297861819*c_1100_1^9 + 73721419241688502493/458322297416489309095*c_1100_1^8 - 1853089448118356807901/458322297416489309095*c_1100_1^7 - 3729877374890002934072/458322297416489309095*c_1100_1^6 - 7928503991458024701334/458322297416489309095*c_1100_1^5 - 9610535413345015302322/458322297416489309095*c_1100_1^4 - 7691533903868451040422/458322297416489309095*c_1100_1^3 - 904058398918279545950/91664459483297861819*c_1100_1^2 - 661441827563013105249/91664459483297861819*c_1100_1 - 1163705420123283571873/458322297416489309095, c_0101_11 - 106460078792537154219/458322297416489309095*c_1100_1^11 + 62390787147435426973/458322297416489309095*c_1100_1^10 + 47380947858731741277/91664459483297861819*c_1100_1^9 + 204029415084321022743/458322297416489309095*c_1100_1^8 - 1710278026979155306766/458322297416489309095*c_1100_1^7 - 3355881250604769866747/458322297416489309095*c_1100_1^6 - 7523040595020905597429/458322297416489309095*c_1100_1^5 - 9028055997799338926587/458322297416489309095*c_1100_1^4 - 8814083621701676775007/458322297416489309095*c_1100_1^3 - 732780287752406233521/91664459483297861819*c_1100_1^2 - 772054582776939802137/91664459483297861819*c_1100_1 - 1479142806730266769663/458322297416489309095, c_0101_2 + 199364673868400488441/458322297416489309095*c_1100_1^11 - 183545648395203533267/458322297416489309095*c_1100_1^10 - 83244293944706931500/91664459483297861819*c_1100_1^9 - 94748765609556808887/458322297416489309095*c_1100_1^8 + 2994989176210056032469/458322297416489309095*c_1100_1^7 + 5420451393901778459413/458322297416489309095*c_1100_1^6 + 11940526840582039915411/458322297416489309095*c_1100_1^5 + 13359674171803027449148/458322297416489309095*c_1100_1^4 + 10426627845401092989243/458322297416489309095*c_1100_1^3 + 1015331124990335684529/91664459483297861819*c_1100_1^2 + 841257594333145488608/91664459483297861819*c_1100_1 + 1366996036200369647207/458322297416489309095, c_0101_3 - 373789151111060996961/458322297416489309095*c_1100_1^11 + 422155058404401611672/458322297416489309095*c_1100_1^10 + 135517741694168477696/91664459483297861819*c_1100_1^9 - 29282366508188760658/458322297416489309095*c_1100_1^8 - 5423012103072008436524/458322297416489309095*c_1100_1^7 - 8990822629940031645603/458322297416489309095*c_1100_1^6 - 20774616968229989422361/458322297416489309095*c_1100_1^5 - 22258124228757485908488/458322297416489309095*c_1100_1^4 - 16908221654273054827123/458322297416489309095*c_1100_1^3 - 1969194656279579449999/91664459483297861819*c_1100_1^2 - 1609398434607707389196/91664459483297861819*c_1100_1 - 2085136835969563836562/458322297416489309095, c_0101_6 + 6731936302102981044/8647590517292251115*c_1100_1^11 - 8735089374832495873/8647590517292251115*c_1100_1^10 - 2220826623057887990/1729518103458450223*c_1100_1^9 + 3573147347967910372/8647590517292251115*c_1100_1^8 + 95998319708698346011/8647590517292251115*c_1100_1^7 + 146750371088533520822/8647590517292251115*c_1100_1^6 + 343075969284093850074/8647590517292251115*c_1100_1^5 + 343809007048074560127/8647590517292251115*c_1100_1^4 + 234631814658415834352/8647590517292251115*c_1100_1^3 + 31499167521280530937/1729518103458450223*c_1100_1^2 + 23350752891477631039/1729518103458450223*c_1100_1 + 30233699352786202988/8647590517292251115, c_0101_7 + 301096232717488976951/458322297416489309095*c_1100_1^11 - 353415761006484607427/458322297416489309095*c_1100_1^10 - 100824605405496097663/91664459483297861819*c_1100_1^9 - 12148066404246812257/458322297416489309095*c_1100_1^8 + 4361752313370112000514/458322297416489309095*c_1100_1^7 + 7115914000467835882243/458322297416489309095*c_1100_1^6 + 16696228927164853000236/458322297416489309095*c_1100_1^5 + 17494959136037100635658/458322297416489309095*c_1100_1^4 + 13733154811641973840683/458322297416489309095*c_1100_1^3 + 1545035077250121589636/91664459483297861819*c_1100_1^2 + 1170514997499752443342/91664459483297861819*c_1100_1 + 1515875415533174433812/458322297416489309095, c_1001_0 - 390922318891085149773/458322297416489309095*c_1100_1^11 + 494373211601865194561/458322297416489309095*c_1100_1^10 + 122999825732650364349/91664459483297861819*c_1100_1^9 - 46577158765546202469/458322297416489309095*c_1100_1^8 - 5697077131120071677672/458322297416489309095*c_1100_1^7 - 8659341480092064350459/458322297416489309095*c_1100_1^6 - 20825439754452913724573/458322297416489309095*c_1100_1^5 - 20697389313276651722969/458322297416489309095*c_1100_1^4 - 16007091515560884018869/458322297416489309095*c_1100_1^3 - 1746882186306626556451/91664459483297861819*c_1100_1^2 - 1593471099723294595757/91664459483297861819*c_1100_1 - 1836540278145028969021/458322297416489309095, c_1001_6 - 188029792052977226579/458322297416489309095*c_1100_1^11 + 394533488641176404623/458322297416489309095*c_1100_1^10 + 2529402326650392736/91664459483297861819*c_1100_1^9 - 137753966604350771292/458322297416489309095*c_1100_1^8 - 2575971653047091569026/458322297416489309095*c_1100_1^7 - 2080014629523897576192/458322297416489309095*c_1100_1^6 - 7621819767449400327369/458322297416489309095*c_1100_1^5 - 3152194753319159050927/458322297416489309095*c_1100_1^4 - 2932672117890603678082/458322297416489309095*c_1100_1^3 - 232507431260392594719/91664459483297861819*c_1100_1^2 - 266978924260326182303/91664459483297861819*c_1100_1 - 72033076437164692683/458322297416489309095, c_1100_1^12 - 14/19*c_1100_1^11 - 43/19*c_1100_1^10 - 13/19*c_1100_1^9 + 278/19*c_1100_1^8 + 568/19*c_1100_1^7 + 1231/19*c_1100_1^6 + 1526/19*c_1100_1^5 + 1274/19*c_1100_1^4 + 792/19*c_1100_1^3 + 565/19*c_1100_1^2 + 258/19*c_1100_1 + 43/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.580 Total time: 0.780 seconds, Total memory usage: 64.12MB