Magma V2.19-8 Wed Aug 21 2013 01:07:36 on localhost [Seed = 4071943144] Type ? for help. Type -D to quit. Loading file "L14n33505__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33505 geometric_solution 11.58100253 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 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 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.477222034250 0.760051531831 0 4 6 5 0132 0132 0132 0132 1 1 1 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 -8 8 0 0 0 0 -1 1 0 0 1 3 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516112973587 0.274384561392 0 0 8 7 3012 0132 0132 0132 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 -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.614328134603 0.893153633746 5 6 9 0 0132 3201 0132 0132 1 1 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 0 0 0 0 -1 1 0 0 0 0 -9 8 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605781556177 0.745462961258 6 1 9 10 0321 0132 3201 0132 1 1 0 1 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 0 -9 9 0 0 0 0 3 -3 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577501564020 0.562760884453 3 10 1 9 0132 2310 0132 3201 1 1 1 1 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 8 -8 0 0 0 0 0 -1 0 0 1 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.384240603889 0.820129326143 4 11 3 1 0321 0132 2310 0132 1 1 0 1 0 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 -8 8 -1 0 1 0 -3 -1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.397132006389 0.604907601021 12 11 2 12 0132 2310 0132 1302 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.234210742062 0.776913032446 10 11 12 2 1230 1230 3012 0132 1 1 0 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 -8 0 9 -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.282592298750 0.538665468758 4 5 12 3 2310 2310 1230 0132 1 1 1 1 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 0 1 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143321483896 0.964486339796 11 8 4 5 0213 3012 0132 3201 1 1 1 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 0 -9 9 0 0 0 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962067049727 0.732591325023 10 6 8 7 0213 0132 3012 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.801244202558 0.841058757601 7 8 7 9 0132 1230 2031 3012 1 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 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.217700295297 0.685602791684 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_0']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0011_10'], 'c_1001_9' : d['c_0110_10'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : negation(d['c_1001_0']), 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : 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_0011_10'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_7'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : negation(d['c_0110_10']), 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_0011_10'], 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : d['c_0011_10'], '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' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), '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_0110_10']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_8']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : 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' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_0'])})} 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_12, c_0011_3, c_0011_8, c_0101_0, c_0101_12, c_0101_3, c_0101_7, c_0101_8, c_0110_10, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 78750331090420174066/12918621853397*c_1001_0^10 + 337633916006104763918/12918621853397*c_1001_0^9 + 230352848629597170308/2981220427707*c_1001_0^8 - 2820587766921434055062/38755865560191*c_1001_0^7 - 26677047149327621926463/77511731120382*c_1001_0^6 - 16429689286737038580791/77511731120382*c_1001_0^5 + 35820814556805251933023/103348974827176*c_1001_0^4 + 52041152872103261732471/77511731120382*c_1001_0^3 + 302251777259749700981215/620093848963056*c_1001_0^2 + 214711228560633516893239/1240187697926112*c_1001_0 + 31093523275315440585019/1240187697926112, c_0011_0 - 1, c_0011_10 - 333170282640/2478154969*c_1001_0^10 + 1373395449648/2478154969*c_1001_0^9 + 4548694318208/2478154969*c_1001_0^8 - 3785558820240/2478154969*c_1001_0^7 - 19935577874868/2478154969*c_1001_0^6 - 12897525441932/2478154969*c_1001_0^5 + 19692687840999/2478154969*c_1001_0^4 + 39023631066016/2478154969*c_1001_0^3 + 56843856596733/4956309938*c_1001_0^2 + 40279247605861/9912619876*c_1001_0 + 5799983240241/9912619876, c_0011_11 - 581558155776/2478154969*c_1001_0^10 + 2610882679296/2478154969*c_1001_0^9 + 6681154379520/2478154969*c_1001_0^8 - 7381939765472/2478154969*c_1001_0^7 - 30455393151248/2478154969*c_1001_0^6 - 17286319816832/2478154969*c_1001_0^5 + 31559085419376/2478154969*c_1001_0^4 + 58941009189640/2478154969*c_1001_0^3 + 42504663940074/2478154969*c_1001_0^2 + 15152551419338/2478154969*c_1001_0 + 2221242461240/2478154969, c_0011_12 + 582041608656/2478154969*c_1001_0^10 - 2586302717808/2478154969*c_1001_0^9 - 6904556826592/2478154969*c_1001_0^8 + 7664605859680/2478154969*c_1001_0^7 + 31127218902532/2478154969*c_1001_0^6 + 16695576108220/2478154969*c_1001_0^5 - 33015949277491/2478154969*c_1001_0^4 - 59006230589012/2478154969*c_1001_0^3 - 82388044304285/4956309938*c_1001_0^2 - 56653652390753/9912619876*c_1001_0 - 7952336226949/9912619876, c_0011_3 - 87109567776/2478154969*c_1001_0^10 + 315478413600/2478154969*c_1001_0^9 + 1392920384448/2478154969*c_1001_0^8 - 506489338816/2478154969*c_1001_0^7 - 5967897651288/2478154969*c_1001_0^6 - 5575884993688/2478154969*c_1001_0^5 + 4659046156442/2478154969*c_1001_0^4 + 13069355078556/2478154969*c_1001_0^3 + 10988726072399/2478154969*c_1001_0^2 + 8778957085351/4956309938*c_1001_0 + 1423211033545/4956309938, c_0011_8 - 612923565336/2478154969*c_1001_0^10 + 2761196500872/2478154969*c_1001_0^9 + 7013661492112/2478154969*c_1001_0^8 - 7999827376856/2478154969*c_1001_0^7 - 31879822822494/2478154969*c_1001_0^6 - 17426212123686/2478154969*c_1001_0^5 + 66861266204053/4956309938*c_1001_0^4 + 61136170738592/2478154969*c_1001_0^3 + 174717931834295/9912619876*c_1001_0^2 + 123835158552583/19825239752*c_1001_0 + 18109830361135/19825239752, c_0101_0 - 1, c_0101_12 - 680931017472/2478154969*c_1001_0^10 + 3229114197312/2478154969*c_1001_0^9 + 6985508037920/2478154969*c_1001_0^8 - 10365603909424/2478154969*c_1001_0^7 - 32458823317840/2478154969*c_1001_0^6 - 12323606461616/2478154969*c_1001_0^5 + 37841509184368/2478154969*c_1001_0^4 + 58264700860412/2478154969*c_1001_0^3 + 37490952404584/2478154969*c_1001_0^2 + 11992322569748/2478154969*c_1001_0 + 1565132365181/2478154969, c_0101_3 - 525813997560/2478154969*c_1001_0^10 + 2445718087272/2478154969*c_1001_0^9 + 5620741107664/2478154969*c_1001_0^8 - 7493338038040/2478154969*c_1001_0^7 - 25911925171206/2478154969*c_1001_0^6 - 11850327129998/2478154969*c_1001_0^5 + 57543173891169/4956309938*c_1001_0^4 + 48066815660036/2478154969*c_1001_0^3 + 130763027544699/9912619876*c_1001_0^2 + 88719330211179/19825239752*c_1001_0 + 12416986226955/19825239752, c_0101_7 + 333170282640/2478154969*c_1001_0^10 - 1373395449648/2478154969*c_1001_0^9 - 4548694318208/2478154969*c_1001_0^8 + 3785558820240/2478154969*c_1001_0^7 + 19935577874868/2478154969*c_1001_0^6 + 12897525441932/2478154969*c_1001_0^5 - 19692687840999/2478154969*c_1001_0^4 - 39023631066016/2478154969*c_1001_0^3 - 56843856596733/4956309938*c_1001_0^2 - 40289160225737/9912619876*c_1001_0 - 5799983240241/9912619876, c_0101_8 - 525813997560/2478154969*c_1001_0^10 + 2445718087272/2478154969*c_1001_0^9 + 5620741107664/2478154969*c_1001_0^8 - 7493338038040/2478154969*c_1001_0^7 - 25911925171206/2478154969*c_1001_0^6 - 11850327129998/2478154969*c_1001_0^5 + 57543173891169/4956309938*c_1001_0^4 + 48066815660036/2478154969*c_1001_0^3 + 130763027544699/9912619876*c_1001_0^2 + 88719330211179/19825239752*c_1001_0 + 12416986226955/19825239752, c_0110_10 + 525813997560/2478154969*c_1001_0^10 - 2445718087272/2478154969*c_1001_0^9 - 5620741107664/2478154969*c_1001_0^8 + 7493338038040/2478154969*c_1001_0^7 + 25911925171206/2478154969*c_1001_0^6 + 11850327129998/2478154969*c_1001_0^5 - 57543173891169/4956309938*c_1001_0^4 - 48066815660036/2478154969*c_1001_0^3 - 130763027544699/9912619876*c_1001_0^2 - 88739155450931/19825239752*c_1001_0 - 12436811466707/19825239752, c_1001_0^11 - 4*c_1001_0^10 - 41/3*c_1001_0^9 + 7*c_1001_0^8 + 233/4*c_1001_0^7 + 167/3*c_1001_0^6 - 1841/48*c_1001_0^5 - 6115/48*c_1001_0^4 - 11935/96*c_1001_0^3 - 4099/64*c_1001_0^2 - 425/24*c_1001_0 - 401/192 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.410 Total time: 0.630 seconds, Total memory usage: 32.09MB