Magma V2.19-8 Wed Aug 21 2013 00:52:50 on localhost [Seed = 1663399656] Type ? for help. Type -D to quit. Loading file "L12n1102__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1102 geometric_solution 12.04485481 oriented_manifold CS_known 0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 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 -1 0 1 0 0 0 0 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627751295929 0.854496449509 0 0 5 4 0132 1302 0132 0132 1 1 1 0 0 0 1 -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 7 -7 0 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.441619582069 0.760068657273 5 0 5 6 0132 0132 3012 0132 1 1 1 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 0 -1 0 0 -7 7 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.266705007585 0.634357073396 7 8 9 0 0132 0132 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 0 0 -6 0 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 0.672260777683 0.398326478901 7 10 1 8 2103 0132 0132 1230 1 1 1 1 0 0 1 -1 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 7 -7 0 0 0 0 -6 0 0 6 7 -6 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584175561794 0.589995091678 2 2 9 1 0132 1230 1302 0132 1 1 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 0 0 0 0 0 0 0 0 7 0 -7 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.779992817262 0.674754315721 11 12 2 7 0132 0132 0132 2103 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 1 -1 1 0 -7 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.674225481260 1.446350879885 3 11 4 6 0132 0213 2103 2103 1 1 1 1 0 -1 1 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 -6 6 0 6 0 0 -6 0 -1 0 1 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.700222768586 1.009149549571 4 3 10 12 3012 0132 1302 2310 1 1 1 1 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 7 0 -7 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667578282203 1.295923609635 5 12 10 3 2031 2310 2031 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 6 -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.726312268389 0.842761681478 8 4 11 9 2031 0132 0213 1302 1 1 1 1 0 0 1 -1 0 0 0 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 6 -6 0 0 0 0 -6 6 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.041824386365 0.848650249934 6 10 7 12 0132 0213 0213 3012 1 1 1 1 0 -1 1 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 -6 6 0 -1 0 1 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.085707301026 0.864864594537 8 6 11 9 3201 0132 1230 3201 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 0.303501238700 0.290707955718 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0110_10'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0110_10'], 'c_1001_3' : negation(d['c_0110_12']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : d['c_0110_10'], 'c_1010_12' : d['c_0110_10'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : d['c_1001_4'], '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' : negation(d['c_0011_3']), 'c_0101_10' : d['c_0011_11'], '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_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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_4']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0101_12']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_3']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_12']), 'c_1100_10' : negation(d['c_0101_12']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_12']), 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_0110_10'], 'c_1010_2' : d['c_0110_10'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0110_12']), 'c_1010_8' : negation(d['c_0110_12']), 'c_1100_8' : d['c_0011_11'], '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'], 'c_1100_12' : negation(d['c_0011_9']), '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_12']), '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_0011_9']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_3, c_0011_9, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0110_10, c_0110_12, c_1001_12, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 709461784924673220157804843/8199748301467367264000*c_1001_4^12 + 418945878477667092087850239/4099874150733683632000*c_1001_4^11 + 2814588076882753839685595697/8199748301467367264000*c_1001_4^10 - 9489387477934314141160088929/4099874150733683632000*c_1001_4^9 + 1109362495647170790703132231/327989932058694690560*c_1001_4^8 + 20584917012776350655890887671/8199748301467367264000*c_1001_4^7 - 63184204714310533654608417191/2049937075366841816000*c_1001_4^6 + 650754570009343297995899826803/8199748301467367264000*c_1001_4^5 - 483426581304467986140638062367/4099874150733683632000*c_1001_4^4 + 441962559886233248484216196231/4099874150733683632000*c_1001_4^3 - 101969387229886554894148727381/1639949660293473452800*c_1001_4^2 + 5882584134980112582206593123/282749941429909216000*c_1001_4 - 6930257452781292730796255899/2049937075366841816000, c_0011_0 - 1, c_0011_10 - 49258746665/122777175308*c_1001_4^12 + 36552776111/61388587654*c_1001_4^11 + 194140644595/122777175308*c_1001_4^10 - 693775206797/61388587654*c_1001_4^9 + 2251097852493/122777175308*c_1001_4^8 + 1245061733685/122777175308*c_1001_4^7 - 4598229815441/30694293827*c_1001_4^6 + 49725869270101/122777175308*c_1001_4^5 - 37673686627015/61388587654*c_1001_4^4 + 34909059642397/61388587654*c_1001_4^3 - 39173440433687/122777175308*c_1001_4^2 + 12280498454445/122777175308*c_1001_4 - 412624751894/30694293827, c_0011_11 - 9659163545/245554350616*c_1001_4^12 + 5003646627/122777175308*c_1001_4^11 + 43392797883/245554350616*c_1001_4^10 - 127320467541/122777175308*c_1001_4^9 + 323065740061/245554350616*c_1001_4^8 + 414012468953/245554350616*c_1001_4^7 - 434070383781/30694293827*c_1001_4^6 + 8163380835249/245554350616*c_1001_4^5 - 5395243562639/122777175308*c_1001_4^4 + 3917754605233/122777175308*c_1001_4^3 - 2613919511171/245554350616*c_1001_4^2 - 224248049295/245554350616*c_1001_4 + 35985336770/30694293827, c_0011_3 + 3563016707/245554350616*c_1001_4^12 - 26928871121/122777175308*c_1001_4^11 + 36241861639/245554350616*c_1001_4^10 + 156797162427/122777175308*c_1001_4^9 - 1434991745663/245554350616*c_1001_4^8 + 1564389681749/245554350616*c_1001_4^7 + 410976901965/30694293827*c_1001_4^6 - 20846595088331/245554350616*c_1001_4^5 + 23403407231437/122777175308*c_1001_4^4 - 30480501299131/122777175308*c_1001_4^3 + 46889945233121/245554350616*c_1001_4^2 - 19954799114563/245554350616*c_1001_4 + 470792206460/30694293827, c_0011_9 + 91866495293/491108701232*c_1001_4^12 - 100855867547/245554350616*c_1001_4^11 - 299320847487/491108701232*c_1001_4^10 + 1439759237645/245554350616*c_1001_4^9 - 5877087554609/491108701232*c_1001_4^8 - 216694294493/491108701232*c_1001_4^7 + 4628394864943/61388587654*c_1001_4^6 - 115584301965589/491108701232*c_1001_4^5 + 97224725067803/245554350616*c_1001_4^4 - 101086826943757/245554350616*c_1001_4^3 + 129832693897911/491108701232*c_1001_4^2 - 48446496710797/491108701232*c_1001_4 + 1062662053257/61388587654, c_0101_0 - 1, c_0101_1 - 955954512/30694293827*c_1001_4^12 - 2339475358/30694293827*c_1001_4^11 + 5361544932/30694293827*c_1001_4^10 - 10360470127/30694293827*c_1001_4^9 - 43743572070/30694293827*c_1001_4^8 + 103221845616/30694293827*c_1001_4^7 - 181005108550/30694293827*c_1001_4^6 - 236166688532/30694293827*c_1001_4^5 + 1050798464371/30694293827*c_1001_4^4 - 1765568263414/30694293827*c_1001_4^3 + 1461258284639/30694293827*c_1001_4^2 - 721084174406/30694293827*c_1001_4 + 149713745571/30694293827, c_0101_12 - 3295429870/30694293827*c_1001_4^12 + 4833156754/30694293827*c_1001_4^11 + 12956620301/30694293827*c_1001_4^10 - 91696327175/30694293827*c_1001_4^9 + 149833281222/30694293827*c_1001_4^8 + 79035760394/30694293827*c_1001_4^7 - 1210910584990/30694293827*c_1001_4^6 + 3307852991271/30694293827*c_1001_4^5 - 5074331285129/30694293827*c_1001_4^4 + 4889231444421/30694293827*c_1001_4^3 - 2974828749493/30694293827*c_1001_4^2 + 1096403184809/30694293827*c_1001_4 - 180304289955/30694293827, c_0101_3 - 91866495293/491108701232*c_1001_4^12 + 100855867547/245554350616*c_1001_4^11 + 299320847487/491108701232*c_1001_4^10 - 1439759237645/245554350616*c_1001_4^9 + 5877087554609/491108701232*c_1001_4^8 + 216694294493/491108701232*c_1001_4^7 - 4628394864943/61388587654*c_1001_4^6 + 115584301965589/491108701232*c_1001_4^5 - 97224725067803/245554350616*c_1001_4^4 + 101086826943757/245554350616*c_1001_4^3 - 129832693897911/491108701232*c_1001_4^2 + 47955388009565/491108701232*c_1001_4 - 1001273465603/61388587654, c_0110_10 + 396476026/30694293827*c_1001_4^12 + 495566194/30694293827*c_1001_4^11 - 1611202979/30694293827*c_1001_4^10 + 5694436536/30694293827*c_1001_4^9 + 4849040031/30694293827*c_1001_4^8 - 21097655735/30694293827*c_1001_4^7 + 79166953460/30694293827*c_1001_4^6 - 76478196683/30694293827*c_1001_4^5 + 44710120534/30694293827*c_1001_4^4 - 68891280624/30694293827*c_1001_4^3 + 164955828688/30694293827*c_1001_4^2 - 160625230023/30694293827*c_1001_4 + 48365704573/30694293827, c_0110_12 + 49611406041/491108701232*c_1001_4^12 - 29141486391/245554350616*c_1001_4^11 - 200070944275/491108701232*c_1001_4^10 + 665573385265/245554350616*c_1001_4^9 - 1921301815629/491108701232*c_1001_4^8 - 1552271569353/491108701232*c_1001_4^7 + 2224366533891/61388587654*c_1001_4^6 - 45322057005521/491108701232*c_1001_4^5 + 33006660263647/245554350616*c_1001_4^4 - 29160142168793/245554350616*c_1001_4^3 + 30554220807451/491108701232*c_1001_4^2 - 8889416941929/491108701232*c_1001_4 + 149054446159/61388587654, c_1001_12 + 97102389627/245554350616*c_1001_4^12 - 84331303985/122777175308*c_1001_4^11 - 353348858289/245554350616*c_1001_4^10 + 1419451620155/122777175308*c_1001_4^9 - 5097860934895/245554350616*c_1001_4^8 - 1516769015075/245554350616*c_1001_4^7 + 4637291284407/30694293827*c_1001_4^6 - 106916003415723/245554350616*c_1001_4^5 + 85413017806241/122777175308*c_1001_4^4 - 84680410333959/122777175308*c_1001_4^3 + 103992087348625/245554350616*c_1001_4^2 - 37193627954219/245554350616*c_1001_4 + 755468245836/30694293827, c_1001_4^13 - 2*c_1001_4^12 - 3*c_1001_4^11 + 30*c_1001_4^10 - 61*c_1001_4^9 + 3*c_1001_4^8 + 380*c_1001_4^7 - 1209*c_1001_4^6 + 2114*c_1001_4^5 - 2362*c_1001_4^4 + 1739*c_1001_4^3 - 829*c_1001_4^2 + 236*c_1001_4 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.000 Total time: 2.209 seconds, Total memory usage: 32.09MB