Magma V2.19-8 Tue Aug 20 2013 23:26:30 on localhost [Seed = 964646938] Type ? for help. Type -D to quit. Loading file "K11a342__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a342 geometric_solution 5.83875463 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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.931058641672 0.652932286347 0 0 1 1 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.654746831740 0.385569035004 4 0 3 4 0132 0132 1302 2103 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 -1 1 0 1 0 -1 0 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414786264561 0.680069043110 2 5 6 0 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.414786264561 0.680069043110 2 6 5 2 0132 3201 2031 2103 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 0 8 -8 -1 0 1 0 0 0 0 0 8 -1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414786264561 0.680069043110 6 3 6 4 0321 0132 0213 1302 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 1 0 -1 0 0 -7 7 7 1 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598103325636 0.346516849294 5 5 4 3 0321 0213 2310 0132 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 1 -1 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.170887398933 0.884034179688 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : d['c_0011_0'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0101_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1973300139442670/843520834359*c_1001_0^13 + 9436616252418041/281173611453*c_1001_0^12 - 172029616576696031/843520834359*c_1001_0^11 + 619315677197058566/843520834359*c_1001_0^10 - 1515692636974826398/843520834359*c_1001_0^9 + 2706609423351580232/843520834359*c_1001_0^8 - 3666687912681859270/843520834359*c_1001_0^7 + 1280780660412276881/281173611453*c_1001_0^6 - 3129344393013343784/843520834359*c_1001_0^5 + 1963301385655817117/843520834359*c_1001_0^4 - 923857067273661853/843520834359*c_1001_0^3 + 308891034586761136/843520834359*c_1001_0^2 - 65756433461038897/843520834359*c_1001_0 + 6810338195589935/843520834359, c_0011_0 - 1, c_0011_3 - 12291850497720/13389219593*c_1001_0^13 + 117697758572398/13389219593*c_1001_0^12 - 533915337313163/13389219593*c_1001_0^11 + 1528118612327705/13389219593*c_1001_0^10 - 3089076901996368/13389219593*c_1001_0^9 + 4668510214956266/13389219593*c_1001_0^8 - 5433627448039989/13389219593*c_1001_0^7 + 4932202595094231/13389219593*c_1001_0^6 - 3489848904403327/13389219593*c_1001_0^5 + 1897296289168182/13389219593*c_1001_0^4 - 767409990701963/13389219593*c_1001_0^3 + 217402991462239/13389219593*c_1001_0^2 - 38422645274823/13389219593*c_1001_0 + 3168458988848/13389219593, c_0011_6 + 5684723751955/13389219593*c_1001_0^13 - 54979002011197/13389219593*c_1001_0^12 + 251979832835792/13389219593*c_1001_0^11 - 728799796316067/13389219593*c_1001_0^10 + 1489210308023399/13389219593*c_1001_0^9 - 2275870770311147/13389219593*c_1001_0^8 + 2680107505614252/13389219593*c_1001_0^7 - 2463660841959420/13389219593*c_1001_0^6 + 1767658527251314/13389219593*c_1001_0^5 - 976492489335540/13389219593*c_1001_0^4 + 402594345995086/13389219593*c_1001_0^3 - 116822271435813/13389219593*c_1001_0^2 + 21305307155252/13389219593*c_1001_0 - 1838931904004/13389219593, c_0101_0 - 6350274633300/13389219593*c_1001_0^13 + 66817710503180/13389219593*c_1001_0^12 - 331171223395554/13389219593*c_1001_0^11 + 1030177879794057/13389219593*c_1001_0^10 - 2254849456646397/13389219593*c_1001_0^9 + 3681627846988861/13389219593*c_1001_0^8 - 4627656252450640/13389219593*c_1001_0^7 + 4544136364498222/13389219593*c_1001_0^6 - 3491702410981134/13389219593*c_1001_0^5 + 2075925883261379/13389219593*c_1001_0^4 - 928280131905784/13389219593*c_1001_0^3 + 295440157996928/13389219593*c_1001_0^2 - 59965724136236/13389219593*c_1001_0 + 5905936121231/13389219593, c_0101_1 - 6906168687405/13389219593*c_1001_0^13 + 67886152010207/13389219593*c_1001_0^12 - 317056839698929/13389219593*c_1001_0^11 + 936710931059899/13389219593*c_1001_0^10 - 1959759058919240/13389219593*c_1001_0^9 + 3074191662045116/13389219593*c_1001_0^8 - 3726819154387260/13389219593*c_1001_0^7 + 3539605834286780/13389219593*c_1001_0^6 - 2636335144894169/13389219593*c_1001_0^5 + 1521419634227471/13389219593*c_1001_0^4 - 661096694544309/13389219593*c_1001_0^3 + 204657290578910/13389219593*c_1001_0^2 - 40457225620684/13389219593*c_1001_0 + 3869332871778/13389219593, c_0101_4 + 57678595925/13389219593*c_1001_0^13 - 673464489460/13389219593*c_1001_0^12 + 3556182105031/13389219593*c_1001_0^11 - 11397446864822/13389219593*c_1001_0^10 + 25004995075403/13389219593*c_1001_0^9 - 40001100427445/13389219593*c_1001_0^8 + 48295292218103/13389219593*c_1001_0^7 - 44687467666636/13389219593*c_1001_0^6 + 31688758162268/13389219593*c_1001_0^5 - 16968257059528/13389219593*c_1001_0^4 + 6635952506543/13389219593*c_1001_0^3 - 1774366341984/13389219593*c_1001_0^2 + 300608003703/13389219593*c_1001_0 - 24008738153/13389219593, c_1001_0^14 - 963/95*c_1001_0^13 + 4649/95*c_1001_0^12 - 14234/95*c_1001_0^11 + 30964/95*c_1001_0^10 - 50726/95*c_1001_0^9 + 12923/19*c_1001_0^8 - 65046/95*c_1001_0^7 + 52004/95*c_1001_0^6 - 32843/95*c_1001_0^5 + 16111/95*c_1001_0^4 - 5944/95*c_1001_0^3 + 82/5*c_1001_0^2 - 52/19*c_1001_0 + 21/95 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.240 seconds, Total memory usage: 32.09MB