Magma V2.19-8 Tue Aug 20 2013 23:48:38 on localhost [Seed = 1999707604] Type ? for help. Type -D to quit. Loading file "L12a1064__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1064 geometric_solution 10.77888816 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0.678495642509 0.953159493002 0 4 6 5 0132 0132 0132 0132 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 0 0 0 -1 0 1 0 0 0 0 0 1 3 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504338643032 0.696311513456 0 0 8 7 3012 0132 0132 0132 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 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.317730334030 0.941970698183 9 10 8 0 0132 0132 3201 0132 0 1 1 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 -1 1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.004474040493 0.718041536113 6 1 6 11 0321 0132 0213 0132 0 1 1 1 0 0 0 0 0 0 -1 1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 4 -4 0 -3 0 3 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619348545814 0.303705506517 10 11 1 9 0321 2103 0132 0321 0 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 0 0 0 0 0 0 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658865167015 0.470985349091 4 4 11 1 0321 0213 2103 0132 0 1 1 1 0 0 0 0 1 0 -1 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 -1 1 0 -3 0 4 -1 0 -4 0 4 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.014122138511 0.977035953269 8 9 2 8 1302 0321 0132 3012 0 0 0 1 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511396957101 0.492695302180 3 7 7 2 2310 2031 1230 0132 0 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 0 0 0 0 0 0 0 0 -3 0 4 -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.301618211784 0.638265191666 3 5 10 7 0132 0321 0321 0321 0 1 0 1 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.008677286063 1.392623026912 5 3 9 11 0321 0132 0321 2103 0 1 0 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 1 0 -1 0 0 0 0 -4 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.008677286063 1.392623026912 6 5 4 10 2103 2103 0132 2103 0 1 0 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 1 -1 -4 0 4 0 -1 0 0 1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678495642509 0.953159493002 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0011_11'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : negation(d['c_0110_11']), 'c_1001_8' : negation(d['c_0110_7']), 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : negation(d['c_0101_0']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : 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_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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0110_7'], 'c_1100_5' : negation(d['c_0110_11']), 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0110_7'], 'c_1100_6' : negation(d['c_0110_11']), 'c_1100_1' : negation(d['c_0110_11']), 'c_1100_0' : negation(d['c_0011_8']), 'c_1100_3' : negation(d['c_0011_8']), 'c_1100_2' : d['c_0110_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : negation(d['c_0110_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_0011_7'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_5']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_8']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_8, c_0110_11, c_0110_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 2104433/186592*c_0110_7^5 + 4722833/186592*c_0110_7^4 - 49701125/46648*c_0110_7^3 - 17098159/10976*c_0110_7^2 - 20570001/46648*c_0110_7 + 648938/5831, c_0011_0 - 1, c_0011_10 + 3/11662*c_0110_7^5 - 521/5831*c_0110_7^4 - 1689/11662*c_0110_7^3 + 5875/686*c_0110_7^2 + 57439/11662*c_0110_7 - 7222/5831, c_0011_11 - 508/5831*c_0110_7^5 - 706/5831*c_0110_7^4 + 48599/5831*c_0110_7^3 + 1696/343*c_0110_7^2 - 4672/5831*c_0110_7 + 3217/5831, c_0011_5 - 297/11662*c_0110_7^5 - 67/5831*c_0110_7^4 + 28933/11662*c_0110_7^3 - 583/686*c_0110_7^2 - 27059/11662*c_0110_7 + 1930/5831, c_0011_6 + 1933/23324*c_0110_7^5 + 556/5831*c_0110_7^4 - 185307/23324*c_0110_7^3 - 3777/1372*c_0110_7^2 + 24107/23324*c_0110_7 - 7179/11662, c_0011_7 - 297/11662*c_0110_7^5 - 67/5831*c_0110_7^4 + 28933/11662*c_0110_7^3 - 583/686*c_0110_7^2 - 27059/11662*c_0110_7 + 1930/5831, c_0011_8 - 508/5831*c_0110_7^5 - 706/5831*c_0110_7^4 + 48599/5831*c_0110_7^3 + 1696/343*c_0110_7^2 - 4672/5831*c_0110_7 + 3217/5831, c_0101_0 + 150/5831*c_0110_7^5 - 454/5831*c_0110_7^4 - 15311/5831*c_0110_7^3 + 3229/343*c_0110_7^2 + 42249/5831*c_0110_7 - 9152/5831, c_0101_8 - 246/5831*c_0110_7^5 - 355/5831*c_0110_7^4 + 23544/5831*c_0110_7^3 + 851/343*c_0110_7^2 - 1049/5831*c_0110_7 + 3214/5831, c_0110_11 - 1, c_0110_7^6 + 2*c_0110_7^5 - 95*c_0110_7^4 - 115*c_0110_7^3 - 7*c_0110_7^2 + 16*c_0110_7 - 4, c_1001_0 - 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_8, c_0110_11, c_0110_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 428321119830813/14917016128*c_0110_7^7 + 11512406122070201/462427499968*c_0110_7^6 + 8113416925474717/462427499968*c_0110_7^5 + 5783775462794205/462427499968*c_0110_7^4 - 54050957474929/16515267856*c_0110_7^3 - 41030174641147/12169144736*c_0110_7^2 + 88127070607237/66061071424*c_0110_7 - 61768808521417/462427499968, c_0011_0 - 1, c_0011_10 - 84104000370/33296911*c_0110_7^7 - 543404296076/233078377*c_0110_7^6 - 789779009793/466156754*c_0110_7^5 - 285644023337/233078377*c_0110_7^4 + 90827761475/466156754*c_0110_7^3 + 7266085917/24534566*c_0110_7^2 - 47666241467/466156754*c_0110_7 + 2092863041/233078377, c_0011_11 - 331063060422/33296911*c_0110_7^7 - 4173085655457/466156754*c_0110_7^6 - 1509290749947/233078377*c_0110_7^5 - 2198487515589/466156754*c_0110_7^4 + 394288006369/466156754*c_0110_7^3 + 27519132483/24534566*c_0110_7^2 - 102366095947/233078377*c_0110_7 + 10829851751/233078377, c_0011_5 - 1662041603463/233078377*c_0110_7^7 - 3015670894429/466156754*c_0110_7^6 - 1094541036509/233078377*c_0110_7^5 - 797275666395/233078377*c_0110_7^4 + 38580675671/66593822*c_0110_7^3 + 9871656307/12267283*c_0110_7^2 - 20548663637/66593822*c_0110_7 + 14910773009/466156754, c_0011_6 - 4396201468910/233078377*c_0110_7^7 - 3859167764496/233078377*c_0110_7^6 - 2748852119121/233078377*c_0110_7^5 - 3983097424419/466156754*c_0110_7^4 + 444626499651/233078377*c_0110_7^3 + 7593345115/3504938*c_0110_7^2 - 406589154977/466156754*c_0110_7 + 44443075233/466156754, c_0011_7 + 456779221848/233078377*c_0110_7^7 + 398659109663/233078377*c_0110_7^6 + 81069691021/66593822*c_0110_7^5 + 205127296757/233078377*c_0110_7^4 - 95290820069/466156754*c_0110_7^3 - 5553941893/24534566*c_0110_7^2 + 42173714277/466156754*c_0110_7 - 2335149910/233078377, c_0011_8 - 675120800323/466156754*c_0110_7^7 - 296965381844/233078377*c_0110_7^6 - 210268010189/233078377*c_0110_7^5 - 152379152700/233078377*c_0110_7^4 + 34736489094/233078377*c_0110_7^3 + 2063518874/12267283*c_0110_7^2 - 15536554246/233078377*c_0110_7 + 508639505/66593822, c_0101_0 - 1045507224438/233078377*c_0110_7^7 - 942063405739/233078377*c_0110_7^6 - 678633423470/233078377*c_0110_7^5 - 490771320094/233078377*c_0110_7^4 + 13294184396/33296911*c_0110_7^3 + 6410013905/12267283*c_0110_7^2 - 6417139696/33296911*c_0110_7 + 4428012951/233078377, c_0101_8 + 200960027213/466156754*c_0110_7^7 + 12306394902/33296911*c_0110_7^6 + 61108832107/233078377*c_0110_7^5 + 44170143242/233078377*c_0110_7^4 - 10860533119/233078377*c_0110_7^3 - 591319668/12267283*c_0110_7^2 + 4966530962/233078377*c_0110_7 - 918446265/466156754, c_0110_11 + 1729582144183/466156754*c_0110_7^7 + 813998869039/233078377*c_0110_7^6 + 599561036787/233078377*c_0110_7^5 + 438267433725/233078377*c_0110_7^4 - 53358258130/233078377*c_0110_7^3 - 5164654349/12267283*c_0110_7^2 + 34024931690/233078377*c_0110_7 - 6410123159/466156754, c_0110_7^8 + 648/961*c_0110_7^7 + 430/961*c_0110_7^6 + 314/961*c_0110_7^5 - 185/961*c_0110_7^4 - 90/961*c_0110_7^3 + 67/961*c_0110_7^2 - 14/961*c_0110_7 + 1/961, c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.290 seconds, Total memory usage: 32.09MB