Magma V2.19-8 Tue Aug 20 2013 23:50:35 on localhost [Seed = 4173239256] Type ? for help. Type -D to quit. Loading file "L12n36__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n36 geometric_solution 11.00260872 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1230 0132 0132 1 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 1 0 -1 -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.701862685383 0.817186409142 0 4 0 5 0132 0132 3012 0132 1 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 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.395157059625 0.704225257781 6 4 7 0 0132 1230 0132 0132 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 0 0 0 0 1 -1 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660215888075 0.556559164356 4 4 0 5 0132 1302 0132 2103 1 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 1 -1 0 0 0 0 1 8 0 -9 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701862685383 0.817186409142 3 1 2 3 0132 0132 3012 2031 1 1 0 1 0 0 1 -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 8 -8 0 0 0 0 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.394007397147 1.079963742424 6 7 1 3 2103 2103 0132 2103 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 -9 0 9 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.799094650237 1.308900078516 2 8 5 9 0132 0132 2103 0132 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 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595515484538 0.635893155365 9 5 10 2 0132 2103 0132 0132 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 0 0 0 0 1 -1 -9 9 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595515484538 0.635893155365 9 6 10 11 1023 0132 3201 0132 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 0 0 1 0 -1 0 0 0 0 0 9 -8 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234280918634 0.695098436194 7 8 6 10 0132 1023 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.996227329180 0.569608919639 8 11 9 7 2310 1023 0132 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 1 0 0 -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.234280918634 0.695098436194 10 11 8 11 1023 1302 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609524110999 1.687514321580 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0011_5'], 's_0_10' : 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' : 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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_0110_5']), 'c_1100_6' : negation(d['c_0110_5']), 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : negation(d['c_0110_5']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0110_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_1001_2']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0011_5'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_2'], 'c_0011_8' : d['c_0011_2'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0011_5'], 'c_0110_10' : d['c_0101_10'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], '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_2'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_4, c_0110_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 3969411558154032959/16428496983302144*c_0110_5^13 - 1216166694460385621/16428496983302144*c_0110_5^12 + 772071100192381599/8214248491651072*c_0110_5^11 - 7088893546375870341/8214248491651072*c_0110_5^10 - 7737620544986981593/16428496983302144*c_0110_5^9 + 33693956861234691081/16428496983302144*c_0110_5^8 - 5228150412447799087/4107124245825536*c_0110_5^7 - 5919851348800907751/4107124245825536*c_0110_5^6 + 27127741995210315775/16428496983302144*c_0110_5^5 + 3837936469566843277/16428496983302144*c_0110_5^4 - 8825986225798512497/8214248491651072*c_0110_5^3 + 2085851366116345507/8214248491651072*c_0110_5^2 + 3284380805072735673/16428496983302144*c_0110_5 - 1380017161580778913/16428496983302144, c_0011_0 - 1, c_0011_10 - 17691034105/1640450048*c_0110_5^13 - 3277026991/410112512*c_0110_5^12 + 9642601423/820225024*c_0110_5^11 - 18126250291/820225024*c_0110_5^10 - 53486983435/1640450048*c_0110_5^9 + 87829877927/820225024*c_0110_5^8 + 12522439149/410112512*c_0110_5^7 - 53909436895/410112512*c_0110_5^6 - 18458270047/1640450048*c_0110_5^5 + 2127279375/25632032*c_0110_5^4 - 2220100089/820225024*c_0110_5^3 - 21396626847/820225024*c_0110_5^2 + 3126079427/1640450048*c_0110_5 + 2631527495/820225024, c_0011_2 + c_0110_5, c_0011_5 + 2308305137/1640450048*c_0110_5^13 + 1130354965/410112512*c_0110_5^12 - 296458741/820225024*c_0110_5^11 + 1465168085/820225024*c_0110_5^10 + 14699271199/1640450048*c_0110_5^9 - 7348779677/820225024*c_0110_5^8 - 7928397387/410112512*c_0110_5^7 + 6886246257/410112512*c_0110_5^6 + 28057689983/1640450048*c_0110_5^5 - 756736645/51264064*c_0110_5^4 - 6417265381/820225024*c_0110_5^3 + 7093555481/820225024*c_0110_5^2 + 2298329233/1640450048*c_0110_5 - 1785393773/820225024, c_0101_0 - 1, c_0101_1 + 1604229931/102528128*c_0110_5^13 + 4413843885/410112512*c_0110_5^12 - 40443009/3204004*c_0110_5^11 + 7832624387/205056256*c_0110_5^10 + 4610246113/102528128*c_0110_5^9 - 59183141905/410112512*c_0110_5^8 - 112304769/6408008*c_0110_5^7 + 16092914913/102528128*c_0110_5^6 - 719985083/102528128*c_0110_5^5 - 36279260021/410112512*c_0110_5^4 + 51159017/3204004*c_0110_5^3 + 4584004379/205056256*c_0110_5^2 - 367180257/102528128*c_0110_5 - 713000551/410112512, c_0101_10 + 2298478129/820225024*c_0110_5^13 + 3231906379/820225024*c_0110_5^12 - 935107467/410112512*c_0110_5^11 + 429403431/102528128*c_0110_5^10 + 11751818307/820225024*c_0110_5^9 - 19014210089/820225024*c_0110_5^8 - 5313848865/205056256*c_0110_5^7 + 4022301193/102528128*c_0110_5^6 + 17795574247/820225024*c_0110_5^5 - 27033671911/820225024*c_0110_5^4 - 3875325059/410112512*c_0110_5^3 + 360890883/25632032*c_0110_5^2 + 1381152517/820225024*c_0110_5 - 2095622491/820225024, c_0101_11 + 10934504299/1640450048*c_0110_5^13 + 15450629115/1640450048*c_0110_5^12 - 888887641/205056256*c_0110_5^11 + 4418394787/410112512*c_0110_5^10 + 52688671619/1640450048*c_0110_5^9 - 87433332897/1640450048*c_0110_5^8 - 11844973761/205056256*c_0110_5^7 + 1039678229/12816016*c_0110_5^6 + 78272592193/1640450048*c_0110_5^5 - 90761044983/1640450048*c_0110_5^4 - 2078235823/102528128*c_0110_5^3 + 8949244365/410112512*c_0110_5^2 + 5656876049/1640450048*c_0110_5 - 5570509603/1640450048, c_0101_2 - 2308305137/1640450048*c_0110_5^13 - 1130354965/410112512*c_0110_5^12 + 296458741/820225024*c_0110_5^11 - 1465168085/820225024*c_0110_5^10 - 14699271199/1640450048*c_0110_5^9 + 7348779677/820225024*c_0110_5^8 + 7928397387/410112512*c_0110_5^7 - 6886246257/410112512*c_0110_5^6 - 28057689983/1640450048*c_0110_5^5 + 756736645/51264064*c_0110_5^4 + 6417265381/820225024*c_0110_5^3 - 7093555481/820225024*c_0110_5^2 - 2298329233/1640450048*c_0110_5 + 1785393773/820225024, c_0101_4 - 943749957/410112512*c_0110_5^13 - 557917495/102528128*c_0110_5^12 - 66223691/205056256*c_0110_5^11 - 139756905/51264064*c_0110_5^10 - 6858804439/410112512*c_0110_5^9 + 1184101781/102528128*c_0110_5^8 + 3901435815/102528128*c_0110_5^7 - 627282525/25632032*c_0110_5^6 - 13899399795/410112512*c_0110_5^5 + 1950052203/102528128*c_0110_5^4 + 3182396317/205056256*c_0110_5^3 - 508363125/51264064*c_0110_5^2 - 1104667697/410112512*c_0110_5 + 97139975/102528128, c_0110_5^14 + 126/233*c_0110_5^13 - 269/233*c_0110_5^12 + 564/233*c_0110_5^11 + 629/233*c_0110_5^10 - 2398/233*c_0110_5^9 - 89/233*c_0110_5^8 + 2904/233*c_0110_5^7 - 469/233*c_0110_5^6 - 1822/233*c_0110_5^5 + 521/233*c_0110_5^4 + 564/233*c_0110_5^3 - 201/233*c_0110_5^2 - 66/233*c_0110_5 + 29/233, c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB