Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 2985307548] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s210 geometric_solution 4.34855621 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1302 2031 0132 0132 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 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.583647168322 0.365593263062 3 2 2 0 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 -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 1 -1 0 0 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.769462044767 0.770801968710 1 3 0 1 1230 3201 0132 1302 0 0 0 0 0 -1 0 1 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 1 -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.769462044767 0.770801968710 1 4 2 4 0132 0132 2310 1023 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 -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 1.651607546607 1.036239435667 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617119468397 0.317585474379 4 5 4 5 0132 1302 1023 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 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588967045470 0.084742951978 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 12233805217511/18981027518672*c_0101_5^13 + 21179323393845/9490513759336*c_0101_5^12 + 76820047960141/4745256879668*c_0101_5^11 - 1359799584335183/18981027518672*c_0101_5^10 + 79536143805583/2372628439834*c_0101_5^9 + 1839706753429179/9490513759336*c_0101_5^8 - 804994821042281/2372628439834*c_0101_5^7 + 147764311134504/1186314219917*c_0101_5^6 + 6712427397257939/18981027518672*c_0101_5^5 - 9434436658724297/18981027518672*c_0101_5^4 + 678386749287873/4745256879668*c_0101_5^3 + 1248558277149179/18981027518672*c_0101_5^2 - 533422692976219/18981027518672*c_0101_5 + 94045999748509/18981027518672, c_0011_0 - 1, c_0011_1 + 666821403/1335187642*c_0101_5^13 - 3659532971/1335187642*c_0101_5^12 - 4939097553/667593821*c_0101_5^11 + 96994588643/1335187642*c_0101_5^10 - 111197918387/667593821*c_0101_5^9 + 86063435232/667593821*c_0101_5^8 + 164777911289/1335187642*c_0101_5^7 - 275610586507/667593821*c_0101_5^6 + 282591141694/667593821*c_0101_5^5 - 202128228861/1335187642*c_0101_5^4 - 38999076470/667593821*c_0101_5^3 + 104861872593/1335187642*c_0101_5^2 - 47773133227/1335187642*c_0101_5 + 5191150993/667593821, c_0101_1 + 65052909305/2372628439834*c_0101_5^13 - 663839480279/2372628439834*c_0101_5^12 + 254476441513/1186314219917*c_0101_5^11 + 15029521482443/2372628439834*c_0101_5^10 - 31267272375018/1186314219917*c_0101_5^9 + 45437194491066/1186314219917*c_0101_5^8 - 10998289421033/2372628439834*c_0101_5^7 - 75243985668867/1186314219917*c_0101_5^6 + 121431103949501/1186314219917*c_0101_5^5 - 145815272903209/2372628439834*c_0101_5^4 - 4817915410111/1186314219917*c_0101_5^3 + 49069523356561/2372628439834*c_0101_5^2 - 24275192126637/2372628439834*c_0101_5 + 2842172901867/1186314219917, c_0101_2 + 152040476724/1186314219917*c_0101_5^13 - 884778437994/1186314219917*c_0101_5^12 - 3857570100511/2372628439834*c_0101_5^11 + 22693892492613/1186314219917*c_0101_5^10 - 118254867660201/2372628439834*c_0101_5^9 + 61099257559715/1186314219917*c_0101_5^8 + 40110137759685/2372628439834*c_0101_5^7 - 286613329601963/2372628439834*c_0101_5^6 + 369374544041457/2372628439834*c_0101_5^5 - 101228178235721/1186314219917*c_0101_5^4 - 12010603905511/2372628439834*c_0101_5^3 + 38983839063502/1186314219917*c_0101_5^2 - 41806628167155/2372628439834*c_0101_5 + 5332036493678/1186314219917, c_0101_4 - 413717016280/1186314219917*c_0101_5^13 + 2364847600265/1186314219917*c_0101_5^12 + 11337836061123/2372628439834*c_0101_5^11 - 61839111643602/1186314219917*c_0101_5^10 + 301240521312587/2372628439834*c_0101_5^9 - 130959003755284/1186314219917*c_0101_5^8 - 181504337744871/2372628439834*c_0101_5^7 + 741333017781549/2372628439834*c_0101_5^6 - 826019853778017/2372628439834*c_0101_5^5 + 172753951834036/1186314219917*c_0101_5^4 + 88824600943855/2372628439834*c_0101_5^3 - 80104105358277/1186314219917*c_0101_5^2 + 76894712439325/2372628439834*c_0101_5 - 8600621461923/1186314219917, c_0101_5^14 - 6*c_0101_5^13 - 12*c_0101_5^12 + 153*c_0101_5^11 - 408*c_0101_5^10 + 430*c_0101_5^9 + 112*c_0101_5^8 - 952*c_0101_5^7 + 1275*c_0101_5^6 - 745*c_0101_5^5 + 44*c_0101_5^4 + 219*c_0101_5^3 - 155*c_0101_5^2 + 53*c_0101_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB