Magma V2.19-8 Tue Aug 20 2013 23:38:55 on localhost [Seed = 1578646051] Type ? for help. Type -D to quit. Loading file "K11n101__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n101 geometric_solution 11.16702414 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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.819335467187 0.844166476352 0 0 5 4 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 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.407963654303 0.609978764297 6 0 4 7 0132 0132 3012 0132 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 0 0 0 0 0 0 0 0 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819335467187 0.844166476352 8 9 7 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.471231901814 1.560008934884 6 2 1 10 1023 1230 0132 0132 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 0 -1 1 0 0 1 -1 0 6 0 -6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661555087571 0.488346442592 11 11 7 1 0132 1230 1302 0132 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 0 0 0 0 1 0 0 -1 -5 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697556195514 0.735297950147 2 4 10 8 0132 1023 2031 3201 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 0 0 0 -5 0 0 5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.055307678309 0.933200138983 5 9 2 3 2031 0213 0132 0132 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 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253262456181 0.456011294983 3 6 10 11 0132 2310 3201 2103 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.180871535103 0.616437295972 10 3 7 11 1302 0132 0213 3201 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 1 0 -1 6 0 -6 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.383005178849 0.743485033805 8 9 4 6 2310 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.400138812108 1.166745623309 5 9 5 8 0132 2310 3012 2103 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 -1 1 0 0 0 0 0 5 0 0 -5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320946465990 0.715794189498 ==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' : d['c_0101_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], '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' : 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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_1001_4']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : d['c_0101_6'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0101_2']), 's_3_1' : negation(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' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_0'], '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_0011_10'], 'c_0110_10' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2']})} 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_6, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 218676215/65105733*c_1001_4^11 + 316345187/21701911*c_1001_4^10 - 618339124/21701911*c_1001_4^9 + 1994618665/65105733*c_1001_4^8 - 1677441713/65105733*c_1001_4^7 + 4697494/3100273*c_1001_4^6 - 109220179/65105733*c_1001_4^5 - 50979437/21701911*c_1001_4^4 - 19114261/3829749*c_1001_4^3 + 217930523/65105733*c_1001_4^2 - 51661213/65105733*c_1001_4 - 33446376/21701911, c_0011_0 - 1, c_0011_10 - 101/281*c_1001_4^11 + 122/281*c_1001_4^10 + 256/281*c_1001_4^9 - 770/281*c_1001_4^8 + 628/281*c_1001_4^7 - 1690/281*c_1001_4^6 + 117/281*c_1001_4^5 - 1561/281*c_1001_4^4 - 92/281*c_1001_4^3 - 628/281*c_1001_4^2 + 70/281*c_1001_4 - 477/281, c_0011_11 + 5/281*c_1001_4^11 + 19/281*c_1001_4^10 - 149/281*c_1001_4^9 + 244/281*c_1001_4^8 - 45/281*c_1001_4^7 - 125/281*c_1001_4^6 + 214/281*c_1001_4^5 - 379/281*c_1001_4^4 - 65/281*c_1001_4^3 - 236/281*c_1001_4^2 - 201/281*c_1001_4 + 57/281, c_0011_3 - 245/281*c_1001_4^11 + 755/281*c_1001_4^10 - 1129/281*c_1001_4^9 + 1251/281*c_1001_4^8 - 2010/281*c_1001_4^7 + 505/281*c_1001_4^6 - 2337/281*c_1001_4^5 + 25/281*c_1001_4^4 - 1311/281*c_1001_4^3 + 324/281*c_1001_4^2 - 267/281*c_1001_4 + 17/281, c_0101_0 + 263/281*c_1001_4^11 - 1080/281*c_1001_4^10 + 2110/281*c_1001_4^9 - 2733/281*c_1001_4^8 + 3534/281*c_1001_4^7 - 2360/281*c_1001_4^6 + 2433/281*c_1001_4^5 - 996/281*c_1001_4^4 + 234/281*c_1001_4^3 - 443/281*c_1001_4^2 + 274/281*c_1001_4 - 149/281, c_0101_1 + 28/281*c_1001_4^11 - 6/281*c_1001_4^10 - 160/281*c_1001_4^9 + 411/281*c_1001_4^8 - 533/281*c_1001_4^7 + 986/281*c_1001_4^6 - 319/281*c_1001_4^5 + 1081/281*c_1001_4^4 - 83/281*c_1001_4^3 + 533/281*c_1001_4^2 - 114/281*c_1001_4 + 263/281, c_0101_10 - 121/281*c_1001_4^11 + 327/281*c_1001_4^10 - 272/281*c_1001_4^9 - 60/281*c_1001_4^8 - 35/281*c_1001_4^7 - 909/281*c_1001_4^6 + 104/281*c_1001_4^5 - 607/281*c_1001_4^4 + 168/281*c_1001_4^3 + 597/281*c_1001_4^2 + 31/281*c_1001_4 + 138/281, c_0101_2 + 28/281*c_1001_4^11 - 6/281*c_1001_4^10 - 160/281*c_1001_4^9 + 411/281*c_1001_4^8 - 533/281*c_1001_4^7 + 986/281*c_1001_4^6 - 319/281*c_1001_4^5 + 1081/281*c_1001_4^4 - 83/281*c_1001_4^3 + 533/281*c_1001_4^2 - 114/281*c_1001_4 - 18/281, c_0101_3 + 102/281*c_1001_4^11 - 624/281*c_1001_4^10 + 1625/281*c_1001_4^9 - 2497/281*c_1001_4^8 + 3016/281*c_1001_4^7 - 3112/281*c_1001_4^6 + 2230/281*c_1001_4^5 - 1662/281*c_1001_4^4 + 641/281*c_1001_4^3 - 487/281*c_1001_4^2 + 227/281*c_1001_4 - 467/281, c_0101_6 - 18/281*c_1001_4^11 + 44/281*c_1001_4^10 - 138/281*c_1001_4^9 + 358/281*c_1001_4^8 - 681/281*c_1001_4^7 + 731/281*c_1001_4^6 - 1220/281*c_1001_4^5 + 409/281*c_1001_4^4 - 1171/281*c_1001_4^3 + 119/281*c_1001_4^2 - 288/281*c_1001_4 + 132/281, c_1001_0 + c_1001_4^11 - 4*c_1001_4^10 + 8*c_1001_4^9 - 11*c_1001_4^8 + 15*c_1001_4^7 - 11*c_1001_4^6 + 13*c_1001_4^5 - 5*c_1001_4^4 + 5*c_1001_4^3 - 2*c_1001_4^2 + 2*c_1001_4 - 1, c_1001_4^12 - 4*c_1001_4^11 + 8*c_1001_4^10 - 11*c_1001_4^9 + 15*c_1001_4^8 - 11*c_1001_4^7 + 13*c_1001_4^6 - 5*c_1001_4^5 + 5*c_1001_4^4 - 2*c_1001_4^3 + 2*c_1001_4^2 - c_1001_4 + 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_6, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 161083/8512*c_1001_4^12 + 624693/8512*c_1001_4^11 + 273967/4256*c_1001_4^10 - 567221/4256*c_1001_4^9 - 3745863/8512*c_1001_4^8 - 540131/1216*c_1001_4^7 + 5230809/8512*c_1001_4^6 + 2297099/1216*c_1001_4^5 + 1282569/4256*c_1001_4^4 - 1474227/532*c_1001_4^3 - 1801011/1064*c_1001_4^2 + 819951/532*c_1001_4 + 364197/266, c_0011_0 - 1, c_0011_10 - 9/304*c_1001_4^12 - 21/152*c_1001_4^11 - 13/304*c_1001_4^10 + 69/152*c_1001_4^9 + 231/304*c_1001_4^8 + 73/152*c_1001_4^7 - 34/19*c_1001_4^6 - 605/152*c_1001_4^5 + 791/304*c_1001_4^4 + 134/19*c_1001_4^3 - 43/19*c_1001_4^2 - 92/19*c_1001_4 + 24/19, c_0011_11 + 97/608*c_1001_4^12 + 155/608*c_1001_4^11 - 51/152*c_1001_4^10 - 275/304*c_1001_4^9 - 577/608*c_1001_4^8 + 717/608*c_1001_4^7 + 3809/608*c_1001_4^6 + 347/608*c_1001_4^5 - 2097/152*c_1001_4^4 - 459/152*c_1001_4^3 + 1157/76*c_1001_4^2 + 44/19*c_1001_4 - 142/19, c_0011_3 - 51/608*c_1001_4^12 - 29/608*c_1001_4^11 + 75/152*c_1001_4^10 + 239/304*c_1001_4^9 + 131/608*c_1001_4^8 - 1155/608*c_1001_4^7 - 3051/608*c_1001_4^6 + 775/608*c_1001_4^5 + 1879/152*c_1001_4^4 + 31/38*c_1001_4^3 - 258/19*c_1001_4^2 - 59/38*c_1001_4 + 106/19, c_0101_0 + 69/608*c_1001_4^12 + 189/608*c_1001_4^11 + 15/304*c_1001_4^10 - 187/304*c_1001_4^9 - 897/608*c_1001_4^8 - 581/608*c_1001_4^7 + 2315/608*c_1001_4^6 + 2861/608*c_1001_4^5 - 1281/304*c_1001_4^4 - 873/152*c_1001_4^3 + 121/76*c_1001_4^2 + 91/38*c_1001_4 + 3/19, c_0101_1 - 1, c_0101_10 + 21/608*c_1001_4^12 + 117/608*c_1001_4^11 + 31/304*c_1001_4^10 - 123/304*c_1001_4^9 - 425/608*c_1001_4^8 - 461/608*c_1001_4^7 + 1035/608*c_1001_4^6 + 2437/608*c_1001_4^5 - 1021/304*c_1001_4^4 - 953/152*c_1001_4^3 + 104/19*c_1001_4^2 + 145/38*c_1001_4 - 85/19, c_0101_2 + 9/304*c_1001_4^12 - 15/304*c_1001_4^11 - 79/152*c_1001_4^10 - 69/152*c_1001_4^9 + 187/304*c_1001_4^8 + 671/304*c_1001_4^7 + 1019/304*c_1001_4^6 - 1203/304*c_1001_4^5 - 1887/152*c_1001_4^4 + 56/19*c_1001_4^3 + 637/38*c_1001_4^2 - 3/19*c_1001_4 - 157/19, c_0101_3 + 127/608*c_1001_4^12 + 181/608*c_1001_4^11 - 75/152*c_1001_4^10 - 353/304*c_1001_4^9 - 815/608*c_1001_4^8 + 851/608*c_1001_4^7 + 4951/608*c_1001_4^6 + 61/608*c_1001_4^5 - 2449/152*c_1001_4^4 - 295/152*c_1001_4^3 + 1165/76*c_1001_4^2 + 20/19*c_1001_4 - 106/19, c_0101_6 - 69/608*c_1001_4^12 - 189/608*c_1001_4^11 - 15/304*c_1001_4^10 + 187/304*c_1001_4^9 + 897/608*c_1001_4^8 + 581/608*c_1001_4^7 - 2315/608*c_1001_4^6 - 2861/608*c_1001_4^5 + 1281/304*c_1001_4^4 + 873/152*c_1001_4^3 - 121/76*c_1001_4^2 - 53/38*c_1001_4 - 3/19, c_1001_0 - 69/608*c_1001_4^12 - 189/608*c_1001_4^11 - 15/304*c_1001_4^10 + 187/304*c_1001_4^9 + 897/608*c_1001_4^8 + 581/608*c_1001_4^7 - 2315/608*c_1001_4^6 - 2861/608*c_1001_4^5 + 1281/304*c_1001_4^4 + 873/152*c_1001_4^3 - 121/76*c_1001_4^2 - 53/38*c_1001_4 - 3/19, c_1001_4^13 + 3*c_1001_4^12 - 10*c_1001_4^10 - 17*c_1001_4^9 - 3*c_1001_4^8 + 53*c_1001_4^7 + 71*c_1001_4^6 - 72*c_1001_4^5 - 160*c_1001_4^4 + 40*c_1001_4^3 + 160*c_1001_4^2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.450 Total time: 0.660 seconds, Total memory usage: 32.09MB