Magma V2.19-8 Tue Aug 20 2013 16:18:59 on localhost [Seed = 3187417297] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3142 geometric_solution 6.30022319 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 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 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.773851517912 0.577360084948 0 0 2 4 0132 2103 0321 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 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.142994567583 1.094855519484 5 3 1 0 0132 1302 0321 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 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.745990537397 0.539463452813 5 6 0 2 3201 0132 0132 2031 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 -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.859724032002 0.470022777138 5 6 1 5 2103 2310 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663539940055 1.073560740150 2 4 4 3 0132 1302 2103 2310 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.119798751765 0.636517999544 6 3 6 4 2031 0132 1302 3201 0 0 0 0 0 1 -1 0 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 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744032321168 0.599442822371 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0110_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_1001_3']), 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : d['c_1001_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0110_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 20810996853/423225318364*c_1001_3^11 - 5718007925/423225318364*c_1001_3^10 + 178920319227/423225318364*c_1001_3^9 + 1764698161/423225318364*c_1001_3^8 - 170709142944/105806329591*c_1001_3^7 + 30006120149/211612659182*c_1001_3^6 + 1619766541147/423225318364*c_1001_3^5 - 253603810389/211612659182*c_1001_3^4 - 832237541607/211612659182*c_1001_3^3 + 1685719874687/423225318364*c_1001_3^2 - 275857161377/423225318364*c_1001_3 + 931440112203/423225318364, c_0011_0 - 1, c_0011_2 - 7042186/1090786903*c_1001_3^11 + 1258786/1090786903*c_1001_3^10 + 56839426/1090786903*c_1001_3^9 - 58618490/1090786903*c_1001_3^8 - 160194877/1090786903*c_1001_3^7 + 235680640/1090786903*c_1001_3^6 + 201259395/1090786903*c_1001_3^5 - 470468742/1090786903*c_1001_3^4 - 305669044/1090786903*c_1001_3^3 + 298472462/1090786903*c_1001_3^2 - 112235923/1090786903*c_1001_3 + 619562139/1090786903, c_0011_3 - 16400666/1090786903*c_1001_3^11 + 5729909/1090786903*c_1001_3^10 + 121452159/1090786903*c_1001_3^9 - 30881032/1090786903*c_1001_3^8 - 309364299/1090786903*c_1001_3^7 - 8710822/1090786903*c_1001_3^6 + 502134620/1090786903*c_1001_3^5 + 229398269/1090786903*c_1001_3^4 - 155790678/1090786903*c_1001_3^3 - 2967618/1090786903*c_1001_3^2 + 101616527/1090786903*c_1001_3 + 793713126/1090786903, c_0101_0 + 26745887/2181573806*c_1001_3^11 + 29828533/2181573806*c_1001_3^10 - 94150135/1090786903*c_1001_3^9 - 50349576/1090786903*c_1001_3^8 + 281347966/1090786903*c_1001_3^7 + 58454815/1090786903*c_1001_3^6 - 788857723/2181573806*c_1001_3^5 - 98857356/1090786903*c_1001_3^4 + 385696013/2181573806*c_1001_3^3 - 820212275/2181573806*c_1001_3^2 - 306601192/1090786903*c_1001_3 - 690616738/1090786903, c_0101_1 - 1541323/1090786903*c_1001_3^11 - 12833413/1090786903*c_1001_3^10 - 33030283/2181573806*c_1001_3^9 + 159443017/2181573806*c_1001_3^8 + 128766394/1090786903*c_1001_3^7 - 234099483/1090786903*c_1001_3^6 - 329076836/1090786903*c_1001_3^5 + 168221468/1090786903*c_1001_3^4 + 980687597/2181573806*c_1001_3^3 + 333347079/1090786903*c_1001_3^2 + 124176787/2181573806*c_1001_3 - 412777233/2181573806, c_0110_3 + 4161707/2181573806*c_1001_3^11 - 13931459/1090786903*c_1001_3^10 - 44270483/2181573806*c_1001_3^9 + 120032539/1090786903*c_1001_3^8 + 68827005/1090786903*c_1001_3^7 - 343064202/1090786903*c_1001_3^6 - 551059459/2181573806*c_1001_3^5 + 866204327/2181573806*c_1001_3^4 + 1070886047/2181573806*c_1001_3^3 - 344935098/1090786903*c_1001_3^2 - 1170863979/2181573806*c_1001_3 - 840125069/1090786903, c_1001_3^12 + c_1001_3^11 - 8*c_1001_3^10 - 5*c_1001_3^9 + 27*c_1001_3^8 + 14*c_1001_3^7 - 47*c_1001_3^6 - 32*c_1001_3^5 + 27*c_1001_3^4 + 6*c_1001_3^3 + 2*c_1001_3^2 - 47*c_1001_3 - 97 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB