Magma V2.19-8 Tue Aug 20 2013 23:38:22 on localhost [Seed = 1048074778] Type ? for help. Type -D to quit. Loading file "K14n11913__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11913 geometric_solution 8.78615463 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 10 1 2 1 3 0132 0132 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 -1 0 1 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553179517701 1.477735548056 0 0 5 4 0132 3201 0132 0132 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 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092174422812 0.443791270361 6 0 7 7 0132 0132 1230 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.809393128572 1.031727084100 8 9 0 6 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 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.776865378665 0.681142054880 6 9 1 9 2031 3012 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 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 0 0 -0.180010799131 1.803380930275 8 6 7 1 1302 1302 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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 3 -1 0 -2 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.145532971553 0.473802546831 2 3 4 5 0132 2310 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423468947131 0.498454903184 9 5 2 2 3201 3201 0132 3012 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 0 0 0 -3 1 2 0 0 0 0 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.851782512545 2.016787926315 3 5 8 8 0132 2031 1230 3012 0 0 0 0 0 -1 1 0 0 0 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 -3 3 0 0 0 3 -3 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.996098707396 0.671679728580 4 3 4 7 1230 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.369630023327 0.817330102202 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0110_7']), 'c_1001_2' : negation(d['c_0110_7']), 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : negation(d['c_0101_1']), 's_2_8' : d['1'], 's_2_9' : d['1'], '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_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' : d['c_0011_7'], 'c_1100_8' : d['c_0101_1'], 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0011_7'], 'c_1100_7' : d['c_0110_7'], 'c_1100_6' : d['c_0101_0'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_7'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0101_9']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0110_7']), 'c_1010_9' : negation(d['c_0110_7']), 'c_1010_8' : d['c_0011_5'], '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_5']), 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_9, c_0110_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 60296301506469074238870876/353606828519397736044755*c_0110_7^11 + 555378943306124566056176708/353606828519397736044755*c_0110_7^10 - 82428381219004467583654703/15374209935625988523685*c_0110_7^9 + 56516155183641071685614856/7216465888150974204995*c_0110_7^8 - 993203670177672772574013448/353606828519397736044755*c_0110_7^7 - 270997026996939124673878139/70721365703879547208951*c_0110_7^6 + 103706100182446012985949683/353606828519397736044755*c_0110_7^5 + 3023726834275770095517452803/353606828519397736044755*c_0110_7^4 - 3716869181582681984115452681/353606828519397736044755*c_0110_7^3 + 2024585435194914643475530623/353606828519397736044755*c_0110_7^2 - 503071838587521605288412881/353606828519397736044755*c_0110_7 + 41367810951620102180169787/353606828519397736044755, c_0011_0 - 1, c_0011_3 + 170573859401/192439172689*c_0110_7^11 - 1497017736310/192439172689*c_0110_7^10 + 4775039137356/192439172689*c_0110_7^9 - 6248050831491/192439172689*c_0110_7^8 + 1483217765248/192439172689*c_0110_7^7 + 2902781029950/192439172689*c_0110_7^6 + 1056180703318/192439172689*c_0110_7^5 - 7129529375057/192439172689*c_0110_7^4 + 7950351969063/192439172689*c_0110_7^3 - 4631863694034/192439172689*c_0110_7^2 + 1469443173505/192439172689*c_0110_7 - 245067227759/192439172689, c_0011_4 - 500746158484/192439172689*c_0110_7^11 + 4421625046443/192439172689*c_0110_7^10 - 14108588025554/192439172689*c_0110_7^9 + 18084269181059/192439172689*c_0110_7^8 - 2893710399834/192439172689*c_0110_7^7 - 10430784920323/192439172689*c_0110_7^6 - 3138197173515/192439172689*c_0110_7^5 + 22532006601145/192439172689*c_0110_7^4 - 22984913432265/192439172689*c_0110_7^3 + 10821860319267/192439172689*c_0110_7^2 - 2279156396170/192439172689*c_0110_7 + 233427928812/192439172689, c_0011_5 - 167823382947/192439172689*c_0110_7^11 + 1122639100407/192439172689*c_0110_7^10 - 1719967904626/192439172689*c_0110_7^9 - 2766205527044/192439172689*c_0110_7^8 + 8476885872288/192439172689*c_0110_7^7 - 2168629303820/192439172689*c_0110_7^6 - 7950354608344/192439172689*c_0110_7^5 + 3116087336875/192439172689*c_0110_7^4 + 6742960983128/192439172689*c_0110_7^3 - 7391356242621/192439172689*c_0110_7^2 + 2529415869446/192439172689*c_0110_7 - 117709246904/192439172689, c_0011_7 - 1199412007706/192439172689*c_0110_7^11 + 10770269788321/192439172689*c_0110_7^10 - 35107538864611/192439172689*c_0110_7^9 + 46061580630967/192439172689*c_0110_7^8 - 6739875906647/192439172689*c_0110_7^7 - 30240229452872/192439172689*c_0110_7^6 - 6438817112668/192439172689*c_0110_7^5 + 60147954862309/192439172689*c_0110_7^4 - 57788164368783/192439172689*c_0110_7^3 + 23447117118585/192439172689*c_0110_7^2 - 3065545252068/192439172689*c_0110_7 + 298400579904/192439172689, c_0101_0 + 707346838528/192439172689*c_0110_7^11 - 6353013872969/192439172689*c_0110_7^10 + 20719294088898/192439172689*c_0110_7^9 - 27206860503899/192439172689*c_0110_7^8 + 3930456826544/192439172689*c_0110_7^7 + 18161431065513/192439172689*c_0110_7^6 + 3547874766754/192439172689*c_0110_7^5 - 35832679582343/192439172689*c_0110_7^4 + 34416175016781/192439172689*c_0110_7^3 - 13417828508986/192439172689*c_0110_7^2 + 1196278788722/192439172689*c_0110_7 - 8060264715/192439172689, c_0101_1 + 157728862709/192439172689*c_0110_7^11 - 1441546536516/192439172689*c_0110_7^10 + 5002130194740/192439172689*c_0110_7^9 - 7971147420144/192439172689*c_0110_7^8 + 4581576886213/192439172689*c_0110_7^7 + 2533218596200/192439172689*c_0110_7^6 - 2115798464261/192439172689*c_0110_7^5 - 7067558164192/192439172689*c_0110_7^4 + 12116790940723/192439172689*c_0110_7^3 - 7573180837005/192439172689*c_0110_7^2 + 2035016849968/192439172689*c_0110_7 - 38932191125/192439172689, c_0101_2 + 1655175359574/192439172689*c_0110_7^11 - 14298873677145/192439172689*c_0110_7^10 + 43960382364487/192439172689*c_0110_7^9 - 51616485990905/192439172689*c_0110_7^8 - 427885570501/192439172689*c_0110_7^7 + 35842089958676/192439172689*c_0110_7^6 + 16392918718471/192439172689*c_0110_7^5 - 73156662948439/192439172689*c_0110_7^4 + 62393500945345/192439172689*c_0110_7^3 - 21881004842462/192439172689*c_0110_7^2 + 2086822872218/192439172689*c_0110_7 - 287043460016/192439172689, c_0101_9 - 668260519179/192439172689*c_0110_7^11 + 5876240262301/192439172689*c_0110_7^10 - 18618046578689/192439172689*c_0110_7^9 + 23464344502449/192439172689*c_0110_7^8 - 2966289500982/192439172689*c_0110_7^7 - 14179237214344/192439172689*c_0110_7^6 - 4512994925242/192439172689*c_0110_7^5 + 29914250894109/192439172689*c_0110_7^4 - 29563919125192/192439172689*c_0110_7^3 + 13097314306518/192439172689*c_0110_7^2 - 2405453062764/192439172689*c_0110_7 + 217346490080/192439172689, c_0110_7^12 - 101/11*c_0110_7^11 + 343/11*c_0110_7^10 - 496/11*c_0110_7^9 + 170/11*c_0110_7^8 + 246/11*c_0110_7^7 - 8/11*c_0110_7^6 - 549/11*c_0110_7^5 + 60*c_0110_7^4 - 356/11*c_0110_7^3 + 90/11*c_0110_7^2 - 10/11*c_0110_7 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB