Magma V2.19-8 Tue Aug 20 2013 23:55:50 on localhost [Seed = 3330322166] Type ? for help. Type -D to quit. Loading file "L14n13247__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13247 geometric_solution 10.97443182 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 2 0132 0132 3120 0213 1 1 1 1 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 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.287199154784 1.713165955019 0 3 0 4 0132 0132 3120 0132 1 1 1 1 0 -1 0 1 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 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.287199154784 1.713165955019 3 0 5 0 3201 0132 0132 0213 1 1 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 0 0 0 0 -1 1 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.287199154784 1.713165955019 6 1 6 2 0132 0132 2310 2310 1 1 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 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0.369420905208 0.184014444191 5 7 1 5 1023 0132 0132 3012 1 1 1 1 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 1 -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.471161386073 1.160412776246 8 4 4 2 0132 1023 1230 0132 1 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 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.471161386073 1.160412776246 3 3 8 7 0132 3201 0321 2103 1 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 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.462834999165 1.019976191997 9 4 10 6 0132 0132 0132 2103 1 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 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.478591496877 0.549681439247 5 11 6 10 0132 0132 0321 3201 1 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 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.478591496877 0.549681439247 7 11 11 11 0132 1023 1230 1302 0 1 1 1 0 2 -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 -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 0.494907439965 0.977363439580 10 8 10 7 2031 2310 1302 0132 1 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 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.667099753504 0.575080785158 9 8 9 9 1023 0132 2031 3012 1 0 1 1 0 0 0 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 0 0 0 0 0 3 0 -2 -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.494907439965 0.977363439580 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0101_5']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_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_10' : negation(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' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : negation(d['c_1001_3']), 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : negation(d['c_0101_7']), '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' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0110_6' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0101_7'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_10'], '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' : d['c_0101_2'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_9'], 'c_1100_8' : negation(d['c_0011_10'])})} 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_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0101_7, c_0101_9, c_0110_4, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 5871205326305/61948179202*c_1001_3^11 - 3486995778075/61948179202*c_1001_3^10 - 701323878349/4765244554*c_1001_3^9 + 3725316996679/8849739886*c_1001_3^8 - 3678345177289/30974089601*c_1001_3^7 - 201102434564/340374611*c_1001_3^6 + 3162399413070/4424869943*c_1001_3^5 + 6034916766393/30974089601*c_1001_3^4 - 53699098495033/61948179202*c_1001_3^3 + 4019733848294/30974089601*c_1001_3^2 + 12512025733917/30974089601*c_1001_3 - 981988510850/30974089601, c_0011_0 - 1, c_0011_10 + 9720440/7242013*c_1001_3^11 - 9222910/7242013*c_1001_3^10 - 14716116/7242013*c_1001_3^9 + 46304228/7242013*c_1001_3^8 - 22856372/7242013*c_1001_3^7 - 63281350/7242013*c_1001_3^6 + 90045821/7242013*c_1001_3^5 + 7584353/7242013*c_1001_3^4 - 106091000/7242013*c_1001_3^3 + 39548448/7242013*c_1001_3^2 + 45510962/7242013*c_1001_3 - 18425064/7242013, c_0011_11 + 32433640/7242013*c_1001_3^11 - 24935510/7242013*c_1001_3^10 - 55594316/7242013*c_1001_3^9 + 161423798/7242013*c_1001_3^8 - 76127784/7242013*c_1001_3^7 - 213747796/7242013*c_1001_3^6 + 301347702/7242013*c_1001_3^5 + 3315070/7242013*c_1001_3^4 - 321306416/7242013*c_1001_3^3 + 111726626/7242013*c_1001_3^2 + 125126540/7242013*c_1001_3 - 27582248/7242013, c_0101_0 + 21507025/7242013*c_1001_3^11 - 19900970/7242013*c_1001_3^10 - 25575070/7242013*c_1001_3^9 + 98035643/7242013*c_1001_3^8 - 56458793/7242013*c_1001_3^7 - 109032821/7242013*c_1001_3^6 + 174819212/7242013*c_1001_3^5 - 8266453/7242013*c_1001_3^4 - 176397811/7242013*c_1001_3^3 + 53664161/7242013*c_1001_3^2 + 64686373/7242013*c_1001_3 - 13239066/7242013, c_0101_1 + 6462620/7242013*c_1001_3^11 - 64915/7242013*c_1001_3^10 - 15986953/7242013*c_1001_3^9 + 28419918/7242013*c_1001_3^8 + 7706952/7242013*c_1001_3^7 - 59900020/7242013*c_1001_3^6 + 45475351/7242013*c_1001_3^5 + 40880458/7242013*c_1001_3^4 - 82694454/7242013*c_1001_3^3 - 4708792/7242013*c_1001_3^2 + 40992993/7242013*c_1001_3 - 2147338/7242013, c_0101_11 - 1, c_0101_2 + c_1001_3, c_0101_5 + 32433640/7242013*c_1001_3^11 - 24935510/7242013*c_1001_3^10 - 55594316/7242013*c_1001_3^9 + 161423798/7242013*c_1001_3^8 - 76127784/7242013*c_1001_3^7 - 213747796/7242013*c_1001_3^6 + 301347702/7242013*c_1001_3^5 + 3315070/7242013*c_1001_3^4 - 321306416/7242013*c_1001_3^3 + 111726626/7242013*c_1001_3^2 + 117884527/7242013*c_1001_3 - 27582248/7242013, c_0101_7 - 6496380/7242013*c_1001_3^11 + 3244845/7242013*c_1001_3^10 + 13081042/7242013*c_1001_3^9 - 34407671/7242013*c_1001_3^8 + 15207520/7242013*c_1001_3^7 + 43592548/7242013*c_1001_3^6 - 60628030/7242013*c_1001_3^5 + 5926818/7242013*c_1001_3^4 + 54562208/7242013*c_1001_3^3 - 16314865/7242013*c_1001_3^2 - 17052308/7242013*c_1001_3 - 4633940/7242013, c_0101_9 + 25937260/7242013*c_1001_3^11 - 21690665/7242013*c_1001_3^10 - 42513274/7242013*c_1001_3^9 + 127016127/7242013*c_1001_3^8 - 60920264/7242013*c_1001_3^7 - 170155248/7242013*c_1001_3^6 + 240719672/7242013*c_1001_3^5 + 9241888/7242013*c_1001_3^4 - 266744208/7242013*c_1001_3^3 + 95411761/7242013*c_1001_3^2 + 108074232/7242013*c_1001_3 - 32216188/7242013, c_0110_4 - 21507025/7242013*c_1001_3^11 + 19900970/7242013*c_1001_3^10 + 25575070/7242013*c_1001_3^9 - 98035643/7242013*c_1001_3^8 + 56458793/7242013*c_1001_3^7 + 109032821/7242013*c_1001_3^6 - 174819212/7242013*c_1001_3^5 + 8266453/7242013*c_1001_3^4 + 176397811/7242013*c_1001_3^3 - 53664161/7242013*c_1001_3^2 - 64686373/7242013*c_1001_3 + 13239066/7242013, c_1001_3^12 - c_1001_3^11 - 7/5*c_1001_3^10 + 5*c_1001_3^9 - 3*c_1001_3^8 - 6*c_1001_3^7 + 49/5*c_1001_3^6 - 4/5*c_1001_3^5 - 51/5*c_1001_3^4 + 23/5*c_1001_3^3 + 19/5*c_1001_3^2 - 9/5*c_1001_3 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB