Magma V2.19-8 Tue Aug 20 2013 23:40:14 on localhost [Seed = 2598174246] Type ? for help. Type -D to quit. Loading file "K9a25__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a25 geometric_solution 9.88300696 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 -1 0 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 14 1 -15 -14 0 14 0 0 -1 0 1 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053842329047 1.077813815744 0 0 5 4 0132 1302 0132 0132 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 0 15 -15 14 0 -14 0 -15 15 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536215301778 0.474334292233 6 0 7 3 0132 0132 0132 2031 0 0 0 0 0 1 -1 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 -14 14 0 0 0 0 0 0 15 0 -15 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919985482487 1.047999814143 4 2 8 0 0132 1302 0132 0132 0 0 0 0 0 0 0 0 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 0 1 -1 0 0 14 -14 0 0 0 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459992741243 0.523999907071 3 7 1 5 0132 3201 0132 3012 0 0 0 0 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 -1 15 -14 0 0 0 0 0 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.953766804985 0.925494443039 9 8 4 1 0132 2031 1230 0132 0 0 0 0 0 -1 0 1 0 0 1 -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 15 0 -15 0 0 -14 14 0 1 0 -1 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.072430603557 0.948668584466 2 7 9 10 0132 3120 2031 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.624901251539 0.351729670475 10 6 4 2 0132 3120 2310 0132 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 14 -14 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.581386198579 0.626752915592 5 9 10 3 1302 0213 1230 0132 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 0 0 14 -14 -15 0 0 15 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736922525307 1.103328031071 5 10 8 6 0132 3120 0213 1302 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 1 -1 0 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.215252071808 0.684012409495 7 9 6 8 0132 3120 0132 3012 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 0 0 0 14 0 -14 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.003243386062 0.601488080831 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(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_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : 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' : 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_1100_9' : d['c_0101_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_6'], 'c_1100_8' : 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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : 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_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0011_5']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_8, c_0101_0, c_0101_10, c_0101_3, c_0101_5, c_0101_6, c_0101_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 98225/90904*c_0101_7^7 + 2853/22726*c_0101_7^6 - 252619/45452*c_0101_7^5 - 30605/90904*c_0101_7^4 - 336203/22726*c_0101_7^3 - 1167295/90904*c_0101_7^2 - 88897/4132*c_0101_7 - 1980131/90904, c_0011_0 - 1, c_0011_10 + 98/1033*c_0101_7^7 - 237/1033*c_0101_7^6 + 615/1033*c_0101_7^5 - 534/1033*c_0101_7^4 + 1026/1033*c_0101_7^3 + 235/1033*c_0101_7^2 + 59/1033*c_0101_7 + 2154/1033, c_0011_3 - 103/1033*c_0101_7^7 - 162/1033*c_0101_7^6 - 678/1033*c_0101_7^5 - 535/1033*c_0101_7^4 - 2280/1033*c_0101_7^3 - 2703/1033*c_0101_7^2 - 4837/1033*c_0101_7 - 5131/1033, c_0011_5 + 229/1033*c_0101_7^7 + 300/1033*c_0101_7^6 + 1026/1033*c_0101_7^5 + 1029/1033*c_0101_7^4 + 3304/1033*c_0101_7^3 + 4776/1033*c_0101_7^2 + 7274/1033*c_0101_7 + 5982/1033, c_0011_8 + 1, c_0101_0 - 103/1033*c_0101_7^7 - 162/1033*c_0101_7^6 - 678/1033*c_0101_7^5 - 535/1033*c_0101_7^4 - 2280/1033*c_0101_7^3 - 2703/1033*c_0101_7^2 - 3804/1033*c_0101_7 - 5131/1033, c_0101_10 + 229/1033*c_0101_7^7 + 300/1033*c_0101_7^6 + 1026/1033*c_0101_7^5 + 1029/1033*c_0101_7^4 + 3304/1033*c_0101_7^3 + 4776/1033*c_0101_7^2 + 7274/1033*c_0101_7 + 5982/1033, c_0101_3 + 103/1033*c_0101_7^7 + 162/1033*c_0101_7^6 + 678/1033*c_0101_7^5 + 535/1033*c_0101_7^4 + 2280/1033*c_0101_7^3 + 2703/1033*c_0101_7^2 + 4837/1033*c_0101_7 + 5131/1033, c_0101_5 + 174/1033*c_0101_7^7 + 43/1033*c_0101_7^6 + 333/1033*c_0101_7^5 + 633/1033*c_0101_7^4 + 873/1033*c_0101_7^3 + 2420/1033*c_0101_7^2 + 1201/1033*c_0101_7 + 93/1033, c_0101_6 + 174/1033*c_0101_7^7 + 43/1033*c_0101_7^6 + 333/1033*c_0101_7^5 + 633/1033*c_0101_7^4 + 873/1033*c_0101_7^3 + 2420/1033*c_0101_7^2 + 1201/1033*c_0101_7 + 93/1033, c_0101_7^8 + c_0101_7^7 + 5*c_0101_7^6 + 6*c_0101_7^5 + 14*c_0101_7^4 + 27*c_0101_7^3 + 33*c_0101_7^2 + 42*c_0101_7 + 22 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_8, c_0101_0, c_0101_10, c_0101_3, c_0101_5, c_0101_6, c_0101_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 5827264/6008931*c_0101_7^11 - 15524960/6008931*c_0101_7^10 + 43747553/6008931*c_0101_7^9 - 27872369/2002977*c_0101_7^8 + 45429242/2002977*c_0101_7^7 - 30346012/2002977*c_0101_7^6 - 32363692/2002977*c_0101_7^5 + 10784285/222553*c_0101_7^4 - 327253805/6008931*c_0101_7^3 + 60938948/2002977*c_0101_7^2 - 45381785/6008931*c_0101_7 + 3327874/6008931, c_0011_0 - 1, c_0011_10 - 983101/2002977*c_0101_7^11 + 774836/2002977*c_0101_7^10 - 5643509/2002977*c_0101_7^9 + 1837997/667659*c_0101_7^8 - 5343047/667659*c_0101_7^7 + 458089/667659*c_0101_7^6 - 3260321/667659*c_0101_7^5 - 81642/222553*c_0101_7^4 - 12028354/2002977*c_0101_7^3 + 1166494/667659*c_0101_7^2 - 1024282/2002977*c_0101_7 - 204250/2002977, c_0011_3 - 1120313/2002977*c_0101_7^11 + 855076/2002977*c_0101_7^10 - 6253621/2002977*c_0101_7^9 + 2043256/667659*c_0101_7^8 - 5629363/667659*c_0101_7^7 + 282770/667659*c_0101_7^6 - 2475292/667659*c_0101_7^5 - 92175/222553*c_0101_7^4 - 8715014/2002977*c_0101_7^3 + 2390189/667659*c_0101_7^2 + 515785/2002977*c_0101_7 - 651746/2002977, c_0011_5 + 277921/667659*c_0101_7^11 - 147032/667659*c_0101_7^10 + 1613756/667659*c_0101_7^9 - 401257/222553*c_0101_7^8 + 1487016/222553*c_0101_7^7 + 103872/222553*c_0101_7^6 + 1167289/222553*c_0101_7^5 + 279856/222553*c_0101_7^4 + 3733828/667659*c_0101_7^3 - 345942/222553*c_0101_7^2 + 644545/667659*c_0101_7 + 131299/667659, c_0011_8 + 600932/2002977*c_0101_7^11 - 416407/2002977*c_0101_7^10 + 3592744/2002977*c_0101_7^9 - 1097089/667659*c_0101_7^8 + 3487255/667659*c_0101_7^7 - 505268/667659*c_0101_7^6 + 2901358/667659*c_0101_7^5 - 43266/222553*c_0101_7^4 + 7921952/2002977*c_0101_7^3 - 768854/667659*c_0101_7^2 + 2415011/2002977*c_0101_7 - 1816864/2002977, c_0101_0 + 912529/2002977*c_0101_7^11 - 414461/2002977*c_0101_7^10 + 4982228/2002977*c_0101_7^9 - 1142252/667659*c_0101_7^8 + 4275977/667659*c_0101_7^7 + 1106591/667659*c_0101_7^6 + 2461040/667659*c_0101_7^5 + 361606/222553*c_0101_7^4 + 8921920/2002977*c_0101_7^3 - 742921/667659*c_0101_7^2 - 150860/2002977*c_0101_7 + 378154/2002977, c_0101_10 + 277921/667659*c_0101_7^11 - 147032/667659*c_0101_7^10 + 1613756/667659*c_0101_7^9 - 401257/222553*c_0101_7^8 + 1487016/222553*c_0101_7^7 + 103872/222553*c_0101_7^6 + 1167289/222553*c_0101_7^5 + 279856/222553*c_0101_7^4 + 3733828/667659*c_0101_7^3 - 345942/222553*c_0101_7^2 + 644545/667659*c_0101_7 + 131299/667659, c_0101_3 + 78305/222553*c_0101_7^11 + 2906/222553*c_0101_7^10 + 412315/222553*c_0101_7^9 - 80416/222553*c_0101_7^8 + 974197/222553*c_0101_7^7 + 831984/222553*c_0101_7^6 + 815596/222553*c_0101_7^5 + 631037/222553*c_0101_7^4 + 1014314/222553*c_0101_7^3 + 301449/222553*c_0101_7^2 - 198768/222553*c_0101_7 + 11618/222553, c_0101_5 - 519862/2002977*c_0101_7^11 + 253151/2002977*c_0101_7^10 - 2757200/2002977*c_0101_7^9 + 600722/667659*c_0101_7^8 - 2296835/667659*c_0101_7^7 - 939776/667659*c_0101_7^6 - 787709/667659*c_0101_7^5 - 321321/222553*c_0101_7^4 - 5365294/2002977*c_0101_7^3 + 275782/667659*c_0101_7^2 + 3381497/2002977*c_0101_7 - 1211917/2002977, c_0101_6 - 122464/222553*c_0101_7^11 + 50530/222553*c_0101_7^10 - 642930/222553*c_0101_7^9 + 439116/222553*c_0101_7^8 - 1593211/222553*c_0101_7^7 - 536432/222553*c_0101_7^6 - 816641/222553*c_0101_7^5 - 217875/222553*c_0101_7^4 - 1067045/222553*c_0101_7^3 + 324341/222553*c_0101_7^2 + 197917/222553*c_0101_7 + 80094/222553, c_0101_7^12 - c_0101_7^11 + 6*c_0101_7^10 - 7*c_0101_7^9 + 18*c_0101_7^8 - 6*c_0101_7^7 + 12*c_0101_7^6 - 3*c_0101_7^5 + 13*c_0101_7^4 - 8*c_0101_7^3 + 4*c_0101_7^2 - c_0101_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB