Magma V2.19-8 Wed Aug 21 2013 00:51:42 on localhost [Seed = 1495223335] Type ? for help. Type -D to quit. Loading file "L11n215__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n215 geometric_solution 11.81582831 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 0321 0 1 1 1 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 -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.467839691782 0.617764174063 0 0 2 4 0132 0321 1302 0132 0 1 1 1 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 1 2 -3 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.220924917050 1.028738440978 1 0 3 4 2031 0132 0321 2031 0 0 1 1 0 0 0 0 -1 0 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 0 0 -1 0 1 -2 0 2 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.222712801331 1.487570906517 5 6 2 0 0132 0132 0321 0132 0 1 1 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560792701885 0.600869352157 5 2 1 7 2103 1302 0132 0132 0 1 0 1 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 3 -3 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.792868767335 1.084705433218 3 8 4 9 0132 0132 2103 0132 0 1 0 1 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 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 1.279701006078 1.201294415245 10 3 8 11 0132 0132 0132 0132 0 1 0 1 0 0 0 0 0 0 0 0 0 -1 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 -1 0 1 0 0 -2 0 2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.156773287020 0.920653386765 12 11 4 9 0132 3120 0132 3120 0 1 1 0 0 -1 1 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 -2 3 -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 1.179748667908 1.055576642052 9 5 12 6 3120 0132 0132 0132 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 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.270659296384 0.819897779412 7 10 5 8 3120 3120 0132 3120 0 1 1 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 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.270659296384 0.819897779412 6 9 12 11 0132 3120 2310 3120 0 1 1 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 -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.605185099755 0.723633787421 10 7 6 12 3120 3120 0132 0132 0 1 1 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.618391423155 0.814058782776 7 10 11 8 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581016291690 1.064911733189 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0110_2'], 'c_1001_7' : negation(d['c_1001_11']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0110_2'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_0110_2'], 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_12' : negation(d['c_1001_10']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : 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' : negation(d['c_0011_12']), 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_1100_11'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_1001_11'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : negation(d['c_1001_10']), 'c_1010_4' : negation(d['c_1001_11']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_0110_2'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : d['c_1100_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' : d['c_1100_11'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_2']), 'c_0101_8' : d['c_0101_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_12'])})} 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_4, c_0101_0, c_0101_12, c_0101_2, c_0101_7, c_0110_2, c_1001_10, c_1001_11, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 2508562187390613/8658360215577856*c_1100_11^14 - 416370842224731/541147513473616*c_1100_11^13 - 3995019564520177/2164590053894464*c_1100_11^12 - 21807274549275991/4329180107788928*c_1100_11^11 - 39035802275187399/4329180107788928*c_1100_11^10 - 22924439980670721/2164590053894464*c_1100_11^9 - 101248773707873601/8658360215577856*c_1100_11^8 - 3396585352259665/270573756736808*c_1100_11^7 - 27347285302667663/8658360215577856*c_1100_11^6 + 21011690977023169/4329180107788928*c_1100_11^5 + 48206177966833319/8658360215577856*c_1100_11^4 + 13342850447804385/618454301112704*c_1100_11^3 + 174502741787071175/8658360215577856*c_1100_11^2 + 1167638265400521/1082295026947232*c_1100_11 - 20549792869921725/8658360215577856, c_0011_0 - 1, c_0011_10 + 165603113431/2760956701396*c_1100_11^14 + 75552467741/1380478350698*c_1100_11^13 + 340311985373/1380478350698*c_1100_11^12 + 410857498437/690239175349*c_1100_11^11 + 491681781437/690239175349*c_1100_11^10 + 904664154863/1380478350698*c_1100_11^9 + 3055713334117/2760956701396*c_1100_11^8 + 544321200263/690239175349*c_1100_11^7 - 2216528315611/2760956701396*c_1100_11^6 + 473602210166/690239175349*c_1100_11^5 - 1036022726803/2760956701396*c_1100_11^4 - 4011045935387/1380478350698*c_1100_11^3 + 6769924295523/2760956701396*c_1100_11^2 - 259920393023/1380478350698*c_1100_11 + 532760342577/2760956701396, c_0011_11 + c_1100_11, c_0011_12 - 6452632452/690239175349*c_1100_11^14 + 11704962511/1380478350698*c_1100_11^13 - 36381419649/1380478350698*c_1100_11^12 - 15026055761/1380478350698*c_1100_11^11 + 96425656437/1380478350698*c_1100_11^10 + 204977525385/1380478350698*c_1100_11^9 + 205381775319/1380478350698*c_1100_11^8 + 305677814110/690239175349*c_1100_11^7 + 410939795179/690239175349*c_1100_11^6 - 317970819761/1380478350698*c_1100_11^5 + 605212002635/1380478350698*c_1100_11^4 + 111123811123/690239175349*c_1100_11^3 - 946408971752/690239175349*c_1100_11^2 + 765110236033/1380478350698*c_1100_11 - 1026375031737/1380478350698, c_0011_4 - 1, c_0101_0 + 20117285017/5521913402792*c_1100_11^14 + 108134917843/2760956701396*c_1100_11^13 + 164590463153/2760956701396*c_1100_11^12 + 286780688389/1380478350698*c_1100_11^11 + 319783954683/690239175349*c_1100_11^10 + 1753570650965/2760956701396*c_1100_11^9 + 4220449294107/5521913402792*c_1100_11^8 + 1510664244879/1380478350698*c_1100_11^7 + 4898463521375/5521913402792*c_1100_11^6 + 518771607215/1380478350698*c_1100_11^5 + 5876053469711/5521913402792*c_1100_11^4 + 154517888037/2760956701396*c_1100_11^3 - 8170346422655/5521913402792*c_1100_11^2 + 2726078215957/2760956701396*c_1100_11 + 1880901964275/5521913402792, c_0101_12 - 144738176347/38653393819544*c_1100_11^14 - 338293995177/19326696909772*c_1100_11^13 - 355993954795/19326696909772*c_1100_11^12 - 822102458335/9663348454886*c_1100_11^11 - 703893781203/4831674227443*c_1100_11^10 - 2639265490215/19326696909772*c_1100_11^9 - 4806137926481/38653393819544*c_1100_11^8 - 2728576459433/9663348454886*c_1100_11^7 - 1082797161243/5521913402792*c_1100_11^6 + 1018217540409/9663348454886*c_1100_11^5 - 10196636430861/38653393819544*c_1100_11^4 - 1257457077511/19326696909772*c_1100_11^3 - 1459069905115/38653393819544*c_1100_11^2 - 14135757323595/19326696909772*c_1100_11 + 1766504369121/5521913402792, c_0101_2 - 1, c_0101_7 + 165603113431/2760956701396*c_1100_11^14 + 75552467741/1380478350698*c_1100_11^13 + 340311985373/1380478350698*c_1100_11^12 + 410857498437/690239175349*c_1100_11^11 + 491681781437/690239175349*c_1100_11^10 + 904664154863/1380478350698*c_1100_11^9 + 3055713334117/2760956701396*c_1100_11^8 + 544321200263/690239175349*c_1100_11^7 - 2216528315611/2760956701396*c_1100_11^6 + 473602210166/690239175349*c_1100_11^5 - 1036022726803/2760956701396*c_1100_11^4 - 4011045935387/1380478350698*c_1100_11^3 + 6769924295523/2760956701396*c_1100_11^2 - 259920393023/1380478350698*c_1100_11 + 532760342577/2760956701396, c_0110_2 - 17048140043/5521913402792*c_1100_11^14 - 67029536815/2760956701396*c_1100_11^13 - 63557011873/2760956701396*c_1100_11^12 - 56287301123/690239175349*c_1100_11^11 - 230645247193/1380478350698*c_1100_11^10 - 230172777757/2760956701396*c_1100_11^9 + 906606358531/5521913402792*c_1100_11^8 + 127444989717/1380478350698*c_1100_11^7 + 1812436711979/5521913402792*c_1100_11^6 + 625752508866/690239175349*c_1100_11^5 + 1969840229543/5521913402792*c_1100_11^4 + 1321179500357/2760956701396*c_1100_11^3 + 5798595278597/5521913402792*c_1100_11^2 - 2142601530561/2760956701396*c_1100_11 - 4256865450389/5521913402792, c_1001_10 + 33440996158/690239175349*c_1100_11^14 - 9286783029/690239175349*c_1100_11^13 + 82375510151/690239175349*c_1100_11^12 + 155352592344/690239175349*c_1100_11^11 - 62132960010/690239175349*c_1100_11^10 - 292789451401/690239175349*c_1100_11^9 - 582231738/690239175349*c_1100_11^8 - 490376760016/690239175349*c_1100_11^7 - 1409194101745/690239175349*c_1100_11^6 + 491186014626/690239175349*c_1100_11^5 - 580694257466/690239175349*c_1100_11^4 - 1715532320125/690239175349*c_1100_11^3 + 3565579739760/690239175349*c_1100_11^2 - 782473512032/690239175349*c_1100_11 + 55760098703/690239175349, c_1001_11 + 267636951391/5521913402792*c_1100_11^14 + 259755914341/2760956701396*c_1100_11^13 + 658817002759/2760956701396*c_1100_11^12 + 909008425647/1380478350698*c_1100_11^11 + 693541527106/690239175349*c_1100_11^10 + 2689916544043/2760956701396*c_1100_11^9 + 6075236063877/5521913402792*c_1100_11^8 + 1540709118525/1380478350698*c_1100_11^7 - 2150013342199/5521913402792*c_1100_11^6 - 726274996985/1380478350698*c_1100_11^5 - 1436116297919/5521913402792*c_1100_11^4 - 7262548347477/2760956701396*c_1100_11^3 - 5397994755865/5521913402792*c_1100_11^2 + 3520138445727/2760956701396*c_1100_11 - 1986583806163/5521913402792, c_1100_11^15 + c_1100_11^14 + 4*c_1100_11^13 + 10*c_1100_11^12 + 12*c_1100_11^11 + 10*c_1100_11^10 + 17*c_1100_11^9 + 13*c_1100_11^8 - 13*c_1100_11^7 + 9*c_1100_11^6 - 5*c_1100_11^5 - 49*c_1100_11^4 + 31*c_1100_11^3 - 3*c_1100_11^2 + c_1100_11 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB