Magma V2.19-8 Tue Aug 20 2013 16:14:33 on localhost [Seed = 711702054] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s544 geometric_solution 4.96660362 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 -1 0 1 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 1 0 -1 1 0 0 -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.958454107965 0.701573538310 0 2 3 0 0132 0132 0132 1023 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 -1 0 0 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.554898925576 0.232995225756 4 1 3 5 0132 0132 3201 0132 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 -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.331891072565 1.102213854496 2 5 4 1 2310 1023 0132 0132 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 -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.331891072565 1.102213854496 2 4 4 3 0132 1230 3012 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 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 1.389072644668 0.826681790882 3 5 2 5 1023 2310 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 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.250478711952 0.831842521209 ==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' : 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_3']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(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' : d['c_0011_3'], 'c_0011_4' : negation(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' : d['c_0011_0'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0011_0'], 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_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_3, c_0101_0, c_0101_1, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 796913/346739*c_0110_5^13 - 923590/346739*c_0110_5^12 - 2869046/346739*c_0110_5^11 + 8223210/346739*c_0110_5^10 - 15397531/346739*c_0110_5^9 + 10508711/346739*c_0110_5^8 - 14096677/346739*c_0110_5^7 + 1407995/346739*c_0110_5^6 - 8490192/346739*c_0110_5^5 + 3187615/346739*c_0110_5^4 + 778105/346739*c_0110_5^3 + 2644430/346739*c_0110_5^2 + 2826008/346739*c_0110_5 + 644637/346739, c_0011_0 - 1, c_0011_3 + 491311/1040217*c_0110_5^13 - 958334/1040217*c_0110_5^12 - 1365565/1040217*c_0110_5^11 + 2156019/346739*c_0110_5^10 - 4430350/346739*c_0110_5^9 + 13753301/1040217*c_0110_5^8 - 13414141/1040217*c_0110_5^7 + 7970824/1040217*c_0110_5^6 - 5459926/1040217*c_0110_5^5 + 2073996/346739*c_0110_5^4 + 946351/1040217*c_0110_5^3 + 175888/1040217*c_0110_5^2 + 1275019/1040217*c_0110_5 - 493831/346739, c_0101_0 + 755291/1040217*c_0110_5^13 - 331322/346739*c_0110_5^12 - 2787745/1040217*c_0110_5^11 + 8626682/1040217*c_0110_5^10 - 5083973/346739*c_0110_5^9 + 9395395/1040217*c_0110_5^8 - 3055298/346739*c_0110_5^7 - 1844042/1040217*c_0110_5^6 - 3946588/1040217*c_0110_5^5 + 2733818/1040217*c_0110_5^4 + 2091890/1040217*c_0110_5^3 + 87467/346739*c_0110_5^2 + 1019802/346739*c_0110_5 - 84476/1040217, c_0101_1 - 255528/346739*c_0110_5^13 + 1027088/1040217*c_0110_5^12 + 2738435/1040217*c_0110_5^11 - 8623910/1040217*c_0110_5^10 + 5251454/346739*c_0110_5^9 - 3720226/346739*c_0110_5^8 + 12363841/1040217*c_0110_5^7 - 1125950/1040217*c_0110_5^6 + 5730062/1040217*c_0110_5^5 - 3566558/1040217*c_0110_5^4 - 350197/346739*c_0110_5^3 - 635629/1040217*c_0110_5^2 - 1994767/1040217*c_0110_5 + 390548/1040217, c_0101_4 - 171911/346739*c_0110_5^13 + 676684/1040217*c_0110_5^12 + 1780618/1040217*c_0110_5^11 - 5521111/1040217*c_0110_5^10 + 3564938/346739*c_0110_5^9 - 2916075/346739*c_0110_5^8 + 10731764/1040217*c_0110_5^7 - 2716639/1040217*c_0110_5^6 + 3914449/1040217*c_0110_5^5 - 1746058/1040217*c_0110_5^4 - 1052669/346739*c_0110_5^3 - 922352/1040217*c_0110_5^2 - 1985933/1040217*c_0110_5 + 630433/1040217, c_0110_5^14 - c_0110_5^13 - 4*c_0110_5^12 + 10*c_0110_5^11 - 17*c_0110_5^10 + 8*c_0110_5^9 - 11*c_0110_5^8 - 5*c_0110_5^7 - 5*c_0110_5^6 + c_0110_5^5 + 5*c_0110_5^4 + 2*c_0110_5^3 + 4*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB