Magma V2.19-8 Tue Aug 20 2013 16:14:21 on localhost [Seed = 3002281619] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s344 geometric_solution 4.54708562 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 1230 3012 3201 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 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.233773804314 0.157766091737 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 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 -1 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 2.141578611517 1.881496739328 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 1 0 -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.453935412870 0.491119422900 2 4 4 5 0132 0321 1302 0132 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 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.666861750816 0.820574589291 3 5 2 3 2031 2310 0132 0321 0 0 0 0 0 0 -1 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666861750816 0.820574589291 5 5 3 4 1302 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544004780158 0.334846366702 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : 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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_2, c_0011_4, c_0011_5, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 291833190/7171*c_0110_5^13 + 390290020/7171*c_0110_5^12 - 908721439/7171*c_0110_5^11 - 6438784298/7171*c_0110_5^10 + 17037273179/7171*c_0110_5^9 + 32884938920/7171*c_0110_5^8 - 38910236780/7171*c_0110_5^7 - 48838245296/7171*c_0110_5^6 + 393258710/71*c_0110_5^5 + 26612923747/7171*c_0110_5^4 - 18550518666/7171*c_0110_5^3 - 4707433697/7171*c_0110_5^2 + 2425167989/7171*c_0110_5 + 441023687/7171, c_0011_0 - 1, c_0011_2 + 6693866/7171*c_0110_5^13 - 8948247/7171*c_0110_5^12 + 20840554/7171*c_0110_5^11 + 147698326/7171*c_0110_5^10 - 390694135/7171*c_0110_5^9 - 754475392/7171*c_0110_5^8 + 891944995/7171*c_0110_5^7 + 1120480818/7171*c_0110_5^6 - 9012690/71*c_0110_5^5 - 610567816/7171*c_0110_5^4 + 425152978/7171*c_0110_5^3 + 107985493/7171*c_0110_5^2 - 55585957/7171*c_0110_5 - 10097815/7171, c_0011_4 - 1901353/7171*c_0110_5^13 + 2541199/7171*c_0110_5^12 - 5921152/7171*c_0110_5^11 - 41950122/7171*c_0110_5^10 + 110952486/7171*c_0110_5^9 + 214294742/7171*c_0110_5^8 - 253152058/7171*c_0110_5^7 - 318200686/7171*c_0110_5^6 + 2556431/71*c_0110_5^5 + 173388243/7171*c_0110_5^4 - 120524331/7171*c_0110_5^3 - 30683009/7171*c_0110_5^2 + 15750826/7171*c_0110_5 + 2864014/7171, c_0011_5 - 7737804/7171*c_0110_5^13 + 10346804/7171*c_0110_5^12 - 24094711/7171*c_0110_5^11 - 170722212/7171*c_0110_5^10 + 451689878/7171*c_0110_5^9 + 871967149/7171*c_0110_5^8 - 1031375322/7171*c_0110_5^7 - 1294905061/7171*c_0110_5^6 + 10422677/71*c_0110_5^5 + 705612252/7171*c_0110_5^4 - 491648602/7171*c_0110_5^3 - 124821480/7171*c_0110_5^2 + 64292783/7171*c_0110_5 + 11675670/7171, c_0101_1 + 4439485/7171*c_0110_5^13 - 5934910/7171*c_0110_5^12 + 13821006/7171*c_0110_5^11 + 97958083/7171*c_0110_5^10 - 259129308/7171*c_0110_5^9 - 500379133/7171*c_0110_5^8 + 591665404/7171*c_0110_5^7 + 743103212/7171*c_0110_5^6 - 5978950/71*c_0110_5^5 - 404886406/7171*c_0110_5^4 + 282026009/7171*c_0110_5^3 + 71604668/7171*c_0110_5^2 - 36873279/7171*c_0110_5 - 6701037/7171, c_0110_5^14 - 2*c_0110_5^13 + 4*c_0110_5^12 + 20*c_0110_5^11 - 73*c_0110_5^10 - 74*c_0110_5^9 + 208*c_0110_5^8 + 79*c_0110_5^7 - 247*c_0110_5^6 - c_0110_5^5 + 124*c_0110_5^4 - 26*c_0110_5^3 - 19*c_0110_5^2 + 4*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.000 Total time: 0.210 seconds, Total memory usage: 32.09MB