Magma V2.19-8 Wed Aug 21 2013 01:01:04 on localhost [Seed = 3734553894] Type ? for help. Type -D to quit. Loading file "L14a17156__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a17156 geometric_solution 11.29937483 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 2031 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 -1 0 1 -4 0 4 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.616753064308 0.300839923945 0 3 2 0 0132 2103 2031 1302 1 1 1 0 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 0 0 0 0 0 0 0 4 0 -4 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516999424751 0.498529920309 4 0 5 1 0132 0132 0132 1302 1 0 1 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 1 -5 4 0 0 0 0 0 0 0 0 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685882700902 0.961533843930 5 1 0 6 2031 2103 0132 0132 1 1 1 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 -1 1 0 0 0 0 0 -4 0 4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508321614096 0.689280262869 2 5 7 8 0132 3120 0132 0132 1 0 0 1 0 -1 1 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 5 0 0 -5 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962611198016 0.715728297461 7 4 3 2 0132 3120 1302 0132 1 0 0 1 0 1 0 -1 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 -5 0 5 1 0 -1 0 4 0 0 -4 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009430189331 0.700760605751 8 9 3 9 3012 0132 0132 0213 1 1 0 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 0 -1 1 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.730602610391 1.092767783862 5 8 10 4 0132 2103 0132 0132 1 0 1 0 0 1 0 -1 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 -5 0 5 -1 0 1 0 -5 0 0 5 -4 5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.103280382584 1.249406086775 11 7 4 6 0132 2103 0132 1230 1 0 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 0 0 0 0 -1 5 0 -4 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587760560469 0.423251598489 10 6 11 6 2103 0132 3012 0213 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 1 -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.730602610391 1.092767783862 12 11 9 7 0132 3201 2103 0132 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 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.368377829615 1.196967059858 8 9 10 12 0132 1230 2310 0132 0 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 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 1.939369626060 1.817779009727 10 12 11 12 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.140687338523 0.529721289352 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0011_11']), '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_6'], 'c_0101_10' : d['c_0101_10'], '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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0110_6'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0110_6'], 'c_1100_7' : d['c_0110_6'], 'c_1100_6' : d['c_1001_6'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_1001_6'], 'c_1100_3' : d['c_1001_6'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0110_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_1001_6']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_6'], 'c_1010_8' : d['c_0101_6'], '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_0011_10'], '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_6']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_5']), '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_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_12'], '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' : negation(d['c_0110_6']), 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6']})} 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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_6, c_0110_6, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 104303778799235708676/1326089278158125*c_1001_6^25 - 34200039342118510546/18677313776875*c_1001_6^24 - 25608618868969053032402/1326089278158125*c_1001_6^23 - 32182749988687052574577/265217855631625*c_1001_6^22 - 665856112235305976877232/1326089278158125*c_1001_6^21 - 1890732956981057468540042/1326089278158125*c_1001_6^20 - 3720142855182559909493178/1326089278158125*c_1001_6^19 - 386096357635990049108391/102006867550625*c_1001_6^18 - 4624138555386494582106118/1326089278158125*c_1001_6^17 - 665235556656120985500246/265217855631625*c_1001_6^16 - 570197864151926829471119/265217855631625*c_1001_6^15 - 2516318418784410144716641/1326089278158125*c_1001_6^14 - 946447114497245484577836/1326089278158125*c_1001_6^13 + 38634370911495675233986/1326089278158125*c_1001_6^12 - 121296155892422656818506/265217855631625*c_1001_6^11 - 80741117738598180784106/265217855631625*c_1001_6^10 + 423516877877404096573873/1326089278158125*c_1001_6^9 - 14433705172973418137484/265217855631625*c_1001_6^8 - 52755941045159246352053/265217855631625*c_1001_6^7 + 215520686661449950083579/1326089278158125*c_1001_6^6 - 3337461095913115585319/265217855631625*c_1001_6^5 - 16110384382472107458537/265217855631625*c_1001_6^4 + 70170990329575024251259/1326089278158125*c_1001_6^3 - 5477376604238149956238/265217855631625*c_1001_6^2 + 5701953442354584072534/1326089278158125*c_1001_6 - 355725977842245028157/1326089278158125, c_0011_0 - 1, c_0011_10 - c_1001_6^19 - 18*c_1001_6^18 - 143*c_1001_6^17 - 654*c_1001_6^16 - 1880*c_1001_6^15 - 3476*c_1001_6^14 - 4081*c_1001_6^13 - 3054*c_1001_6^12 - 1961*c_1001_6^11 - 1790*c_1001_6^10 - 1073*c_1001_6^9 + 70*c_1001_6^8 - 76*c_1001_6^7 - 324*c_1001_6^6 + 162*c_1001_6^5 + 44*c_1001_6^4 - 109*c_1001_6^3 + 62*c_1001_6^2 - 15*c_1001_6 + 2, c_0011_11 - c_1001_6^8 - 7*c_1001_6^7 - 17*c_1001_6^6 - 14*c_1001_6^5 + c_1001_6^4 - 2*c_1001_6^3 - 6*c_1001_6^2 + 4*c_1001_6 - 1, c_0011_3 + c_1001_6^2 + c_1001_6 - 1, c_0011_5 - c_1001_6^4 - 3*c_1001_6^3 - c_1001_6^2 + 2*c_1001_6 - 1, c_0011_6 - c_1001_6^10 - 9*c_1001_6^9 - 31*c_1001_6^8 - 48*c_1001_6^7 - 28*c_1001_6^6 - 5*c_1001_6^5 - 17*c_1001_6^4 - 8*c_1001_6^3 + 9*c_1001_6^2 - 5*c_1001_6 + 1, c_0101_0 - 1, c_0101_1 - c_1001_6 - 1, c_0101_10 - c_1001_6^17 - 16*c_1001_6^16 - 111*c_1001_6^15 - 432*c_1001_6^14 - 1015*c_1001_6^13 - 1432*c_1001_6^12 - 1134*c_1001_6^11 - 520*c_1001_6^10 - 439*c_1001_6^9 - 456*c_1001_6^8 + 2*c_1001_6^7 + 112*c_1001_6^6 - 138*c_1001_6^5 + 8*c_1001_6^4 + 60*c_1001_6^3 - 48*c_1001_6^2 + 15*c_1001_6 - 2, c_0101_12 - c_1001_6^2 - 2*c_1001_6, c_0101_6 + c_1001_6^3 + 2*c_1001_6^2, c_0110_6 + c_1001_6^6 + 5*c_1001_6^5 + 7*c_1001_6^4 - 2*c_1001_6^2 + 3*c_1001_6 - 1, c_1001_6^26 + 23*c_1001_6^25 + 239*c_1001_6^24 + 1474*c_1001_6^23 + 5952*c_1001_6^22 + 16341*c_1001_6^21 + 30597*c_1001_6^20 + 38154*c_1001_6^19 + 30899*c_1001_6^18 + 19531*c_1001_6^17 + 18455*c_1001_6^16 + 16506*c_1001_6^15 + 2348*c_1001_6^14 - 2884*c_1001_6^13 + 5928*c_1001_6^12 + 2240*c_1001_6^11 - 5138*c_1001_6^10 + 1834*c_1001_6^9 + 2330*c_1001_6^8 - 2774*c_1001_6^7 + 742*c_1001_6^6 + 725*c_1001_6^5 - 889*c_1001_6^4 + 452*c_1001_6^3 - 129*c_1001_6^2 + 19*c_1001_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB