Magma V2.19-8 Tue Aug 20 2013 23:52:36 on localhost [Seed = 54880473] Type ? for help. Type -D to quit. Loading file "L13n3041__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3041 geometric_solution 11.03618138 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2103 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 -1 0 1 -2 0 -1 3 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.442115566656 0.943505080472 0 4 5 0 0132 0132 0132 2103 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 0 0 2 0 1 -3 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.442115566656 0.943505080472 3 0 7 6 2103 0132 0132 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 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.046353024751 1.366051074640 6 8 2 0 0132 0132 2103 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.047949792401 0.768130094692 8 1 9 10 3120 0132 0132 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 0 0 0 0 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.030718326558 0.523903302411 10 10 9 1 3012 0132 1023 0132 1 1 1 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 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 1.377663540605 1.364502839472 3 7 2 8 0132 3201 0132 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487486467408 0.822248834576 8 11 6 2 2310 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 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.362228131809 0.479416426759 6 3 7 4 3201 0132 3201 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 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.509464955380 0.890075300902 11 11 5 4 0321 3201 1023 0132 1 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551927824394 0.628755913060 11 5 4 5 3012 0132 0132 1230 1 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 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.633583051636 0.362916598819 9 7 9 10 0321 0132 2310 1230 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 0 0 0 -2 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.211484730728 0.898276216888 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0101_11']), 'c_1001_4' : negation(d['c_1001_11']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_7']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0101_11']), '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_10'], 's_2_0' : 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_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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_7']), 'c_1010_2' : negation(d['c_0101_7']), 'c_1010_1' : negation(d['c_1001_11']), 'c_1010_0' : d['c_1001_11'], 'c_1010_9' : negation(d['c_1001_11']), 'c_1010_8' : negation(d['c_0011_0']), 's_3_1' : 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' : 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' : 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' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0101_2']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_7, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 386106440541729788105/996900697778950216*c_1001_11^12 + 239285384524517934261/71207192698496444*c_1001_11^11 + 1190099958604999368069/71207192698496444*c_1001_11^10 + 25220341201239111196819/498450348889475108*c_1001_11^9 + 24296646416735408617719/249225174444737554*c_1001_11^8 + 30862577129924801911441/249225174444737554*c_1001_11^7 + 15490331724475010822655/142414385396992888*c_1001_11^6 + 67672587624422359581307/996900697778950216*c_1001_11^5 + 33802609206480309100751/996900697778950216*c_1001_11^4 + 16101514845331584153453/996900697778950216*c_1001_11^3 + 1889367731261838762499/249225174444737554*c_1001_11^2 + 1170935804745844846025/498450348889475108*c_1001_11 + 292822669643914570193/996900697778950216, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 + 244916762775/239796842203*c_1001_11^12 + 4367414403235/479593684406*c_1001_11^11 + 22250543861981/479593684406*c_1001_11^10 + 69870734106251/479593684406*c_1001_11^9 + 142621119156823/479593684406*c_1001_11^8 + 197946496992073/479593684406*c_1001_11^7 + 196634367503899/479593684406*c_1001_11^6 + 71591060902430/239796842203*c_1001_11^5 + 80336926193879/479593684406*c_1001_11^4 + 18918720014319/239796842203*c_1001_11^3 + 17814485105619/479593684406*c_1001_11^2 + 7102870826829/479593684406*c_1001_11 + 2209495330419/479593684406, c_0011_3 + 1954649956325/959187368812*c_1001_11^12 + 9299412374295/479593684406*c_1001_11^11 + 49208062025707/479593684406*c_1001_11^10 + 81166745884603/239796842203*c_1001_11^9 + 349412369579939/479593684406*c_1001_11^8 + 253580675291000/239796842203*c_1001_11^7 + 1025729790052713/959187368812*c_1001_11^6 + 738769368461461/959187368812*c_1001_11^5 + 398067793127377/959187368812*c_1001_11^4 + 185231709021507/959187368812*c_1001_11^3 + 21824405407393/239796842203*c_1001_11^2 + 8702855314669/239796842203*c_1001_11 + 7429534760455/959187368812, c_0101_0 + 1701176545415/479593684406*c_1001_11^12 + 15614889959457/479593684406*c_1001_11^11 + 80732803477315/479593684406*c_1001_11^10 + 258266925651159/479593684406*c_1001_11^9 + 535444564064815/479593684406*c_1001_11^8 + 745059944521407/479593684406*c_1001_11^7 + 361324259540242/239796842203*c_1001_11^6 + 500562136419553/479593684406*c_1001_11^5 + 132638704365104/239796842203*c_1001_11^4 + 125688471383649/479593684406*c_1001_11^3 + 59819885848391/479593684406*c_1001_11^2 + 22927504668993/479593684406*c_1001_11 + 2229312665093/239796842203, c_0101_1 + 741013991195/479593684406*c_1001_11^12 + 6992279426581/479593684406*c_1001_11^11 + 37233463049565/479593684406*c_1001_11^10 + 124045000944533/479593684406*c_1001_11^9 + 273705942077521/479593684406*c_1001_11^8 + 415456796686341/479593684406*c_1001_11^7 + 223614225753647/239796842203*c_1001_11^6 + 344328305877227/479593684406*c_1001_11^5 + 98157551548441/239796842203*c_1001_11^4 + 91476589710889/479593684406*c_1001_11^3 + 42623427814725/479593684406*c_1001_11^2 + 18289683027115/479593684406*c_1001_11 + 2363925767443/239796842203, c_0101_10 + 132414219225/479593684406*c_1001_11^12 + 1091181720175/479593684406*c_1001_11^11 + 5198131718741/479593684406*c_1001_11^10 + 14734760354639/479593684406*c_1001_11^9 + 25497437437999/479593684406*c_1001_11^8 + 27231150662541/479593684406*c_1001_11^7 + 8737555959334/239796842203*c_1001_11^6 + 3524537692081/479593684406*c_1001_11^5 - 2328023788309/239796842203*c_1001_11^4 - 4526007928887/479593684406*c_1001_11^3 - 2295374364471/479593684406*c_1001_11^2 - 973462501691/479593684406*c_1001_11 - 347612086648/239796842203, c_0101_11 - 570133447025/479593684406*c_1001_11^12 - 2988668444020/239796842203*c_1001_11^11 - 16488186513283/239796842203*c_1001_11^10 - 57029600690462/239796842203*c_1001_11^9 - 127072744992381/239796842203*c_1001_11^8 - 185327055534026/239796842203*c_1001_11^7 - 358840636510349/479593684406*c_1001_11^6 - 236538321533271/479593684406*c_1001_11^5 - 113084774239935/479593684406*c_1001_11^4 - 52572164008831/479593684406*c_1001_11^3 - 13682210057667/239796842203*c_1001_11^2 - 4836340937401/239796842203*c_1001_11 - 528960621135/479593684406, c_0101_2 + 2781197569655/959187368812*c_1001_11^12 + 6873461158246/239796842203*c_1001_11^11 + 37194384365147/239796842203*c_1001_11^10 + 252278756338129/479593684406*c_1001_11^9 + 279852585913374/239796842203*c_1001_11^8 + 836348163091013/479593684406*c_1001_11^7 + 1731209565243437/959187368812*c_1001_11^6 + 1272784331810307/959187368812*c_1001_11^5 + 698775666595253/959187368812*c_1001_11^4 + 331242767212157/959187368812*c_1001_11^3 + 79026015628805/479593684406*c_1001_11^2 + 32310103635597/479593684406*c_1001_11 + 14141260397651/959187368812, c_0101_7 + 1960630152125/959187368812*c_1001_11^12 + 8726025455245/479593684406*c_1001_11^11 + 44019846280951/479593684406*c_1001_11^10 + 67983923182904/239796842203*c_1001_11^9 + 267942453123349/479593684406*c_1001_11^8 + 173828242825957/239796842203*c_1001_11^7 + 620349067676977/959187368812*c_1001_11^6 + 395480396159609/959187368812*c_1001_11^5 + 202787615419985/959187368812*c_1001_11^4 + 99499044040559/959187368812*c_1001_11^3 + 11704029282966/239796842203*c_1001_11^2 + 3592311446108/239796842203*c_1001_11 + 2132268272615/959187368812, c_1001_1 + 251180465645/479593684406*c_1001_11^12 + 1312432511673/239796842203*c_1001_11^11 + 7491459593792/239796842203*c_1001_11^10 + 27087133419141/239796842203*c_1001_11^9 + 65542411460349/239796842203*c_1001_11^8 + 108755149847134/239796842203*c_1001_11^7 + 250594084003395/479593684406*c_1001_11^6 + 201146184072367/479593684406*c_1001_11^5 + 115978176903003/479593684406*c_1001_11^4 + 53639149682251/479593684406*c_1001_11^3 + 12404471354553/239796842203*c_1001_11^2 + 5353609257940/239796842203*c_1001_11 + 2518356204467/479593684406, c_1001_11^13 + 49/5*c_1001_11^12 + 266/5*c_1001_11^11 + 908/5*c_1001_11^10 + 2052/5*c_1001_11^9 + 3184/5*c_1001_11^8 + 3507/5*c_1001_11^7 + 2806/5*c_1001_11^6 + 1696/5*c_1001_11^5 + 848/5*c_1001_11^4 + 401/5*c_1001_11^3 + 174/5*c_1001_11^2 + 53/5*c_1001_11 + 7/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB