Magma V2.19-8 Tue Jan 21 2014 18:25:28 on localhost [Seed = 3982540386] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation m033 geometric_solution 3.16396323 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 4 1 1 2 3 0132 2103 0132 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 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 0 0 0.895123382260 1.552491820062 0 0 2 3 0132 2103 0213 1230 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 -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 0 0 0.721273588423 0.483419920186 3 1 3 0 1230 0213 2031 0132 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 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.173849793837 1.069071899876 1 2 0 2 3012 3012 0132 1302 0 0 0 0 0 -1 1 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 1 0 -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 -1.504108364151 1.226851637747 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0012_1'], 'c_1020_3' : d['c_0201_2'], 'c_1020_0' : d['c_0021_2'], 'c_1020_1' : d['c_0012_2'], 'c_0201_0' : d['c_0021_3'], 'c_0201_1' : d['c_0021_2'], 'c_0201_2' : d['c_0201_2'], 'c_0201_3' : d['c_0021_2'], 'c_2100_0' : d['c_0201_2'], 'c_2100_1' : d['c_0012_0'], 'c_2100_2' : d['c_0201_2'], 'c_2100_3' : d['c_0201_2'] * d['u'] ** 2, 'c_2010_2' : d['c_0012_0'], 'c_2010_3' : d['c_0102_2'], 'c_2010_0' : d['c_0012_2'], 'c_2010_1' : d['c_0021_2'], 'c_0102_0' : d['c_0012_3'], 'c_0102_1' : d['c_0012_2'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0012_2'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_2'], 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0102_2'], 'c_1200_3' : d['c_0102_2'] * d['u'] ** 1, 'c_1200_0' : d['c_0102_2'], 'c_1200_1' : d['c_0012_1'], 'c_1110_2' : d['c_1101_0'], 'c_1110_3' : d['c_1101_2'] * d['u'] ** 2, 'c_1110_0' : d['c_1101_3'] * d['u'] ** 1, 'c_1110_1' : d['c_0111_3'] * d['u'] ** 2, 'c_0120_0' : d['c_0012_2'] * d['u'] ** 1, 'c_0120_1' : d['c_0012_3'] * d['u'] ** 2, 'c_0120_2' : d['c_0012_3'], 'c_0120_3' : d['c_0012_1'] * d['u'] ** 2, 'c_2001_0' : d['c_0012_0'], 'c_2001_1' : d['c_0012_1'], 'c_2001_2' : d['c_0012_1'], 'c_2001_3' : d['c_0012_2'], 'c_0012_2' : d['c_0012_2'], 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 2, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0021_3'], 'c_0210_3' : d['c_0012_0'] * d['u'] ** 1, 'c_0210_0' : d['c_0021_2'] * d['u'] ** 2, 'c_0210_1' : d['c_0021_3'] * d['u'] ** 1, 'c_1002_2' : d['c_0012_0'], 'c_1002_3' : d['c_0021_2'], 'c_1002_0' : d['c_0012_1'], 'c_1002_1' : d['c_0012_0'], 'c_1011_2' : d['c_1011_2'], 'c_1011_3' : d['c_0111_2'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : negation(d['c_1011_0']), 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0021_2'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE Status: Computed Groebner Basis Status: Saturated 1 / 17 Status: Saturated 2 / 17 Status: Saturated 3 / 17 Status: Saturated 4 / 17 Status: Saturated 5 / 17 Status: Saturated 6 / 17 Status: Saturated 7 / 17 Status: Saturated 8 / 17 Status: Saturated 9 / 17 Status: Saturated 10 / 17 Status: Saturated 11 / 17 Status: Saturated 12 / 17 Status: Saturated 13 / 17 Status: Saturated 14 / 17 Status: Saturated 15 / 17 Status: Saturated 16 / 17 Status: Saturated 17 / 17 DECOMPOSITION=TYPE: Radicals of Primary Decomposition computed in several steps IDEAL=DECOMPOSITION=TIME: 7500.130 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Graded Reverse Lexicographical Variables: c_0012_0, c_0012_1, c_0012_2, c_0012_3, c_0021_2, c_0021_3, c_0102_2, c_0111_0, c_0111_2, c_0111_3, c_0201_2, c_1011_0, c_1011_2, c_1101_0, c_1101_2, c_1101_3, u Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0201_2^3*u + c_0012_3*c_0021_2*c_0102_2 - c_0012_2*c_0012_3*c_0201_2 - c_0012_3*c_0102_2*c_0201_2 + c_0201_2^3 - c_0201_2^2*u + 2*c_0012_2*c_0012_3 + c_0021_3*c_0102_2 + 2*c_0012_2*c_1101_3 - 2*c_0102_2*c_1101_3 + 4*c_0111_3*c_1101_3 + 2*c_1101_0*c_1101_3 - c_0021_2*u - 2*c_0201_2*u - c_0021_2 - c_0111_2 - 2*c_0201_2 + 1, c_0012_2^3 - 4/3*c_0012_2*c_0012_3*c_0201_2 + c_0012_3*c_0102_2*c_0201_2 - 1/3*c_0021_3*c_0102_2*c_0201_2 + 2/3*c_0021_2*c_0201_2^2 - c_0201_2^3 + 3*c_0201_2^2*u - 19/3*c_0012_2*c_0012_3 - 4*c_0012_3*c_0102_2 - 13/3*c_0021_3*c_0102_2 + 4*c_0021_2*c_0201_2 + 16/3*c_0201_2^2 + 11/3*c_0012_2*c_1101_3 + 43/3*c_0102_2*c_1101_3 + 4/3*c_0111_3*c_1101_3 - 37/3*c_1101_0*c_1101_3 - 3*c_0021_2*u - 17*c_0111_2*u + 16/3*c_0201_2*u - 16/3*c_0021_2 - 22/3*c_0111_2 + 26/3*c_0201_2 - 31/3*u - 8/3, c_0012_2^2*c_0012_3 - 1/3*c_0012_3^2*c_0201_2 - 1/3*c_0012_2*c_0021_2*c_0201_2 + 2/3*c_0021_2*c_0102_2*c_0201_2 - 4/3*c_0012_2*c_0201_2^2 - 1/3*c_0102_2*c_0201_2^2 + c_0012_3^2 - 2/3*c_0021_3^2 + 2/3*c_0021_2*c_0102_2 - 2/3*c_0012_2*c_0201_2 + 5/3*c_0102_2*c_0201_2 + 7/6*c_0012_3*c_1101_3 - 1/2*c_0021_3*c_1101_3 + 3/2*c_1011_2*c_1101_3 - 1/2*c_1101_3^2 + 1/6*c_0012_2*u - 1/3*c_0102_2*u - 1/3*c_0111_3*u + 5/6*c_1101_0*u - 5/6*c_0012_2 - 1/6*c_0102_2 - 5/6*c_0111_3, c_0012_2*c_0012_3^2 - 1/3*c_0012_2^2*c_0201_2 - 2/3*c_0012_3*c_0021_2*c_0201_2 - 2/3*c_0021_2*c_0021_3*c_0201_2 + 4/3*c_0102_2^2*c_0201_2 + 1/3*c_0012_3*c_0201_2^2 - 4/3*c_0021_3*c_0201_2^2 + 1/3*c_0021_2*c_0021_3 - c_0102_2^2 - 7/3*c_0012_3*c_0201_2 + 7/3*c_0021_3*c_0201_2 - 8/3*c_0201_2*c_1101_2 - 4/3*c_0201_2*c_1101_3 - 5/3*c_0012_3*u + 2*c_0021_3*u + 4/3*c_1011_2*u - 7/3*c_1101_3*u + 1/3*c_0012_3 - 3*c_0021_3 + 1/3*c_1011_2 + 8/3*c_1101_2 - c_1101_3, c_0012_3^3 + c_0012_3*c_0021_2*c_0102_2 + c_0012_2*c_0012_3*c_0201_2 + c_0012_3*c_0102_2*c_0201_2 + c_0021_3*c_0102_2*c_0201_2 - c_0021_2*c_0201_2^2 - c_0201_2^3 - 4*c_0201_2^2*u + 4*c_0012_2*c_0012_3 + 5*c_0012_3*c_0102_2 + 2*c_0021_3*c_0102_2 - 6*c_0201_2^2 - 9*c_0102_2*c_1101_3 - 2*c_0111_3*c_1101_3 + 2*c_1101_0*c_1101_3 + 8*c_0021_2*u + 12*c_0111_2*u - 3*c_0201_2*u + 4*c_0021_2 + 3*c_0111_2 - 3*c_0201_2 + 6*u - 1, c_0012_2^2*c_0021_2 + 2/3*c_0012_2^2*c_0201_2 - 2/3*c_0012_3*c_0021_2*c_0201_2 - 5/3*c_0021_2*c_0021_3*c_0201_2 + 4/3*c_0102_2^2*c_0201_2 + 1/3*c_0012_3*c_0201_2^2 - 7/3*c_0021_3*c_0201_2^2 - c_0012_3*c_0021_2 + 10/3*c_0021_2*c_0021_3 - 3*c_0102_2^2 - 7/3*c_0012_3*c_0201_2 + 10/3*c_0021_3*c_0201_2 - 8/3*c_0201_2*c_1101_2 - 4/3*c_0201_2*c_1101_3 - 5/3*c_0012_3*u + 2*c_0021_3*u + 4/3*c_1011_2*u - 10/3*c_1101_3*u - 2/3*c_0012_3 - 5*c_0021_3 - 2/3*c_1011_2 + 8/3*c_1101_2 - 2*c_1101_3, c_0012_2*c_0012_3*c_0021_2 + c_0012_3*c_0021_2*c_0102_2 - c_0012_3*c_0102_2*c_0201_2 - c_0021_2*c_0201_2^2 - 3*c_0201_2^2*u + 3*c_0012_2*c_0012_3 + 3*c_0012_3*c_0102_2 + c_0021_3*c_0102_2 - c_0021_2*c_0201_2 - 3*c_0201_2^2 - 6*c_0102_2*c_1101_3 - 2*c_0111_3*c_1101_3 + 2*c_1101_0*c_1101_3 + 4*c_0021_2*u + 7*c_0111_2*u - c_0201_2*u + c_0021_2 + 2*c_0111_2 - 2*c_0201_2 + 5*u, c_0012_3^2*c_0021_2 + c_0012_3^2*c_0201_2 - c_0012_2*c_0021_2*c_0201_2 + c_0021_3^2*c_0201_2 + 2*c_0102_2*c_0201_2^2 - c_0012_3^2 - 2*c_0012_2*c_0021_2 + 3*c_0021_3^2 - 2*c_0021_2*c_0102_2 - 2*c_0012_2*c_0201_2 + 3*c_0102_2*c_0201_2 - 1/2*c_0012_3*c_1101_3 - 9/2*c_0021_3*c_1101_3 - 3/2*c_1011_2*c_1101_3 + 3/2*c_1101_3^2 + 3/2*c_0012_2*u + 2*c_0111_3*u - 3/2*c_1101_0*u - 7/2*c_0012_2 + 7/2*c_0102_2 - 7/2*c_0111_3 + c_1101_0, c_0021_2*c_0021_3^2 - c_0012_3^2*c_0201_2 - c_0021_3^2*c_0201_2 + c_0012_2*c_0201_2^2 - c_0102_2*c_0201_2^2 + c_0012_3^2 - c_0012_2*c_0021_2 + c_0021_2*c_0102_2 + c_0012_2*c_0201_2 - c_0102_2*c_0201_2 + c_0012_3*c_1101_3 - c_0012_2*u - c_0111_3*u - c_0102_2 - c_1101_0, c_0021_3^3 + c_0012_3*c_0102_2*c_0201_2 + c_0021_3*c_0102_2*c_0201_2 + c_0012_3*c_0102_2 + c_0021_3*c_0102_2 - 2*c_0201_2^2 + c_0012_2*c_1101_3 - c_0102_2*c_1101_3 + c_0111_3*c_1101_3 - c_1101_0*c_1101_3 + 3*c_0021_2*u + 3*c_0111_2*u - c_0201_2*u + 3*c_0021_2 + c_0111_2 - 1, c_0012_3^2*c_0102_2 + 2/3*c_0012_2^2*c_0201_2 + 1/3*c_0012_3*c_0021_2*c_0201_2 + 1/3*c_0021_2*c_0021_3*c_0201_2 + 1/3*c_0102_2^2*c_0201_2 - 2/3*c_0012_3*c_0201_2^2 - 1/3*c_0021_3*c_0201_2^2 - c_0012_2^2 - c_0012_3*c_0021_2 + 4/3*c_0021_2*c_0021_3 - 3*c_0102_2^2 - 1/3*c_0012_3*c_0201_2 + 10/3*c_0021_3*c_0201_2 - 2/3*c_0201_2*c_1101_2 - 10/3*c_0201_2*c_1101_3 - 8/3*c_0012_3*u + 3*c_0021_3*u + 4/3*c_1011_2*u - c_1101_2*u - 13/3*c_1101_3*u - 8/3*c_0012_3 - 5*c_0021_3 - 8/3*c_1011_2 + 5/3*c_1101_2 - 3*c_1101_3, c_0021_2*c_0021_3*c_0102_2 + c_0012_2*c_0012_3*c_0201_2 + c_0012_3*c_0102_2*c_0201_2 - c_0201_2^3 - c_0012_2*c_0012_3 + c_0021_2*c_0201_2 - c_0111_3*c_1101_3 - 2*c_1101_0*c_1101_3 + c_0021_2*u + c_0201_2 - 1, c_0021_3^2*c_0102_2 - 1/3*c_0012_2^2*c_0201_2 + 1/3*c_0012_3*c_0021_2*c_0201_2 - 2/3*c_0021_2*c_0021_3*c_0201_2 + 4/3*c_0102_2^2*c_0201_2 + 4/3*c_0012_3*c_0201_2^2 - 1/3*c_0021_3*c_0201_2^2 + c_0012_2^2 - c_0012_3*c_0021_2 + 4/3*c_0021_2*c_0021_3 - 2*c_0102_2^2 - 10/3*c_0012_3*c_0201_2 + 7/3*c_0021_3*c_0201_2 - 8/3*c_0201_2*c_1101_2 - 4/3*c_0201_2*c_1101_3 - 2/3*c_0012_3*u + 2*c_0021_3*u + 7/3*c_1011_2*u - 10/3*c_1101_3*u + 7/3*c_0012_3 - 4*c_0021_3 + 1/3*c_1011_2 + 8/3*c_1101_2 - c_1101_3, c_0012_3*c_0102_2^2 + 2/3*c_0012_3^2*c_0201_2 - 1/3*c_0012_2*c_0021_2*c_0201_2 + c_0021_3^2*c_0201_2 + 2/3*c_0021_2*c_0102_2*c_0201_2 - 4/3*c_0012_2*c_0201_2^2 - 1/3*c_0102_2*c_0201_2^2 - c_0012_3^2 - 5/3*c_0021_3^2 - 1/3*c_0021_2*c_0102_2 + 4/3*c_0012_2*c_0201_2 + 5/3*c_0102_2*c_0201_2 + 1/6*c_0012_3*c_1101_3 - 1/2*c_0021_3*c_1101_3 + 3/2*c_1011_2*c_1101_3 - 1/2*c_1101_3^2 + 7/6*c_0012_2*u - 1/3*c_0102_2*u - 1/3*c_0111_3*u + 5/6*c_1101_0*u + 7/6*c_0012_2 - 13/6*c_0102_2 + 7/6*c_0111_3, c_0021_2*c_0102_2^2 - 1/3*c_0012_2^2*c_0201_2 + 1/3*c_0012_3*c_0021_2*c_0201_2 - 2/3*c_0021_2*c_0021_3*c_0201_2 - 2/3*c_0102_2^2*c_0201_2 + 1/3*c_0012_3*c_0201_2^2 + 2/3*c_0021_3*c_0201_2^2 - c_0012_3*c_0021_2 + 4/3*c_0021_2*c_0021_3 - 1/3*c_0012_3*c_0201_2 - 2/3*c_0021_3*c_0201_2 + 4/3*c_0201_2*c_1101_2 + 2/3*c_0201_2*c_1101_3 - 2/3*c_0012_3*u - 2/3*c_1011_2*u + 2/3*c_1101_3*u - 2/3*c_0012_3 + c_0021_3 + 1/3*c_1011_2 - 1/3*c_1101_2 + c_1101_3, c_0021_3*c_0102_2^2 - 2/3*c_0012_3^2*c_0201_2 + 1/3*c_0012_2*c_0021_2*c_0201_2 - 2*c_0021_3^2*c_0201_2 - 2/3*c_0021_2*c_0102_2*c_0201_2 + 4/3*c_0012_2*c_0201_2^2 - 2/3*c_0102_2*c_0201_2^2 + c_0012_3^2 + 5/3*c_0021_3^2 + 1/3*c_0021_2*c_0102_2 + 2/3*c_0012_2*c_0201_2 - 5/3*c_0102_2*c_0201_2 + 1/3*c_0012_3*c_1101_3 - c_0021_3*c_1101_3 - 3*c_1011_2*c_1101_3 - c_1101_3^2 - 2/3*c_0012_2*u - 2/3*c_0102_2*u - 5/3*c_0111_3*u - 1/3*c_1101_0*u - 5/3*c_0012_2 - 1/3*c_0102_2 - 5/3*c_0111_3 + c_1101_0, c_0102_2^3 + 2/3*c_0012_2*c_0012_3*c_0201_2 + c_0012_3*c_0102_2*c_0201_2 - 4/3*c_0021_3*c_0102_2*c_0201_2 - 1/3*c_0021_2*c_0201_2^2 - c_0201_2^3 - 4/3*c_0012_2*c_0012_3 - c_0012_3*c_0102_2 + 2/3*c_0021_3*c_0102_2 + c_0021_2*c_0201_2 + 1/3*c_0201_2^2 - 1/3*c_0012_2*c_1101_3 + 1/3*c_0102_2*c_1101_3 - 2/3*c_0111_3*c_1101_3 - 4/3*c_1101_0*c_1101_3 - c_0111_2*u + 1/3*c_0201_2*u - 1/3*c_0021_2 - 1/3*c_0111_2 + 5/3*c_0201_2 - 1/3*u - 2/3, c_0201_2^2*c_1101_2 - 2/3*c_0012_2^2 - 1/3*c_0012_3*c_0021_2 + 2/3*c_0021_2*c_0021_3 - 1/3*c_0102_2^2 - 1/3*c_0012_3*c_0201_2 + 4/3*c_0021_3*c_0201_2 - 2/3*c_0201_2*c_1101_2 - 1/3*c_0201_2*c_1101_3 - 5/3*c_0012_3*u + 1/3*c_0021_3*u - 2/3*c_1011_2*u - 1/3*c_1101_2*u - 1/3*c_1101_3*u - 4/3*c_0012_3 - 2/3*c_0021_3 - 1/3*c_1011_2 + 2/3*c_1101_2, c_0012_2^2*c_1101_3 - 2/3*c_0012_2*c_0021_2 + 1/3*c_0021_3^2 - 2/3*c_0021_2*c_0102_2 + c_0012_2*c_0201_2 + 2/3*c_0102_2*c_0201_2 + 5/6*c_0012_3*c_1101_3 - 1/2*c_0021_3*c_1101_3 - 1/2*c_1011_2*c_1101_3 - 1/2*c_1101_3^2 + 1/6*c_0012_2*u + 1/3*c_0102_2*u - 5/3*c_0111_3*u + 1/2*c_1101_0*u - 1/6*c_0012_2 - 5/6*c_0102_2 - 1/2*c_0111_3 + c_1101_0, c_0012_2*c_0012_3*c_1101_3 + c_0012_2^2 - c_0021_3*c_0201_2 - c_0201_2*c_1101_2 + c_0012_3*u - c_0021_3*u + c_1011_2*u - c_1101_3*u + 2*c_0012_3 + c_1011_2, c_0012_3^2*c_1101_3 + c_0201_2^2*u - c_0012_2*c_0012_3 - c_0012_3*c_0102_2 + 2*c_0201_2^2 - c_0012_2*c_1101_3 + c_0102_2*c_1101_3 - c_0111_3*c_1101_3 + c_1101_0*c_1101_3 - 3*c_0021_2*u - 2*c_0111_2*u + c_0201_2*u - 2*c_0021_2 + 1, c_0021_3^2*c_1101_3 - c_0201_2^2*u + c_0012_2*c_0012_3 - c_0201_2^2 + c_0021_2*u - c_0111_2, c_0012_3*c_0102_2*c_1101_3 - c_0012_2^2 - c_0102_2^2 + 2*c_0021_3*c_0201_2 - c_0201_2*c_1101_3 - 2*c_0012_3*u + c_0021_3*u - c_1101_3*u - c_0012_3 - 2*c_0021_3 - c_1011_2 + c_1101_2 - c_1101_3, c_0021_3*c_0102_2*c_1101_3 + 1/3*c_0012_2^2 + 2/3*c_0012_3*c_0021_2 - 1/3*c_0021_2*c_0021_3 + 2/3*c_0102_2^2 - 1/3*c_0012_3*c_0201_2 - 2/3*c_0021_3*c_0201_2 - 2/3*c_0201_2*c_1101_2 - 1/3*c_0201_2*c_1101_3 + 1/3*c_0012_3*u - 2/3*c_0021_3*u + 1/3*c_1011_2*u - 1/3*c_1101_2*u - 1/3*c_1101_3*u + 2/3*c_0012_3 + 1/3*c_0021_3 + 2/3*c_1011_2 - 1/3*c_1101_2, c_0102_2^2*c_1101_3 - c_0012_3^2 + 1/3*c_0012_2*c_0021_2 - 2/3*c_0021_3^2 - 2/3*c_0021_2*c_0102_2 + c_0012_2*c_0201_2 - 1/3*c_0102_2*c_0201_2 - 7/6*c_0012_3*c_1101_3 + 1/2*c_0021_3*c_1101_3 + 3/2*c_1011_2*c_1101_3 + 1/2*c_1101_3^2 + 7/6*c_0012_2*u + 1/3*c_0102_2*u + 4/3*c_0111_3*u - 1/2*c_1101_0*u + 5/6*c_0012_2 - 5/6*c_0102_2 + 3/2*c_0111_3 - c_1101_0, c_0012_2*c_0201_2*c_1101_3 - 2/3*c_0201_2^2*u + 2/3*c_0012_2*c_0012_3 - 1/3*c_0021_3*c_0102_2 - 1/3*c_0021_2*c_0201_2 - 1/3*c_0201_2^2 - c_0102_2*c_1101_3 - 1/3*c_0111_3*c_1101_3 + 1/3*c_1101_0*c_1101_3 + 2/3*c_0021_2*u + 1/3*c_0111_2*u + 1/3*c_0201_2*u - 1/3*c_0021_2 - 1/3*c_0111_2 + 2/3*u + 1/3, c_0012_3*c_0201_2*c_1101_3 + c_0012_3^2 - c_0012_2*c_0021_2 + c_0021_3^2 - c_0021_2*c_0102_2 + 2*c_0102_2*c_0201_2 + 1/2*c_0012_3*c_1101_3 - 5/2*c_0021_3*c_1101_3 - 3/2*c_1011_2*c_1101_3 - 3/2*c_1101_3^2 + 1/2*c_0012_2*u - c_0102_2*u - 2*c_0111_3*u + 1/2*c_1101_0*u - 5/2*c_0012_2 - 1/2*c_0102_2 - 5/2*c_0111_3 + 2*c_1101_0, c_0021_3*c_0201_2*c_1101_3 - c_0012_3^2 - c_0021_2*c_0102_2 + c_0012_2*c_0201_2 - 1/2*c_0012_3*c_1101_3 - 3/2*c_0021_3*c_1101_3 - 1/2*c_1011_2*c_1101_3 + 1/2*c_1101_3^2 + 3/2*c_0012_2*u + c_0111_3*u - 1/2*c_1101_0*u + 1/2*c_0012_2 - 1/2*c_0102_2 + 1/2*c_0111_3, c_0102_2*c_0201_2*c_1101_3 + 1/3*c_0201_2^2*u + 2/3*c_0012_2*c_0012_3 + c_0012_3*c_0102_2 + 2/3*c_0021_3*c_0102_2 - 1/3*c_0021_2*c_0201_2 - 1/3*c_0201_2^2 - c_0102_2*c_1101_3 - 1/3*c_0111_3*c_1101_3 + 1/3*c_1101_0*c_1101_3 + 2/3*c_0021_2*u + 4/3*c_0111_2*u - 2/3*c_0201_2*u + 2/3*c_0021_2 + 2/3*c_0111_2 + 2/3*u - 2/3, c_0201_2^2*c_1101_3 - 2/3*c_0012_2^2 - 1/3*c_0012_3*c_0021_2 - 1/3*c_0021_2*c_0021_3 - 1/3*c_0102_2^2 + 2/3*c_0012_3*c_0201_2 + 4/3*c_0021_3*c_0201_2 - 2/3*c_0201_2*c_1101_2 - 1/3*c_0201_2*c_1101_3 - 2/3*c_0012_3*u + 1/3*c_0021_3*u + 1/3*c_1011_2*u + 2/3*c_1101_2*u - 1/3*c_1101_3*u + 2/3*c_0012_3 - 5/3*c_0021_3 - 1/3*c_1011_2 + 5/3*c_1101_2, c_0012_2*c_1101_3^2 + 1/3*c_0012_3*u + 2/3*c_0021_3*u - 1/3*c_1011_2*u + 1/3*c_1101_2*u + c_1101_3*u - 1/3*c_0012_3 + 1/3*c_0021_3 - 2/3*c_1011_2 + 2/3*c_1101_2 + c_1101_3, c_0012_3*c_1101_3^2 + c_0102_2*c_1101_3 + c_0111_3*c_1101_3 + c_0021_2*u + c_0021_2 - u, c_0021_3*c_1101_3^2 + 2*c_0012_2*c_1101_3 + c_0102_2*c_1101_3 + c_0111_3*c_1101_3 - 3*c_1101_0*c_1101_3 + 1/3*c_0021_2*u - 2*c_0111_2*u + 1/3*c_0201_2*u - 1/3*c_0021_2 - c_0111_2 + 5/3*c_0201_2 - 2/3*u - 4/3, c_0102_2*c_1101_3^2 - c_0201_2*c_1101_2 - 2/3*c_0012_3*u - 1/3*c_0021_3*u + 1/3*c_1011_2*u - 4/3*c_1101_3*u + 2/3*c_0012_3 - 2/3*c_0021_3 + 2/3*c_1011_2 + c_1101_2 + 1/3*c_1101_3, c_0111_3*c_1101_3^2 + 1/3*c_1011_2*u - 1/3*c_1101_2*u - c_1101_3*u + 2/3*c_1011_2 - 2/3*c_1101_2 - c_1101_3, c_0201_2*c_1101_3^2 + 1/2*c_0012_3*c_1101_3 + 3/2*c_0021_3*c_1101_3 + 5/2*c_1011_2*c_1101_3 + 3/2*c_1101_3^2 + 1/6*c_0012_2*u + 1/3*c_0102_2*u + 2*c_0111_3*u - 1/2*c_1101_0*u + 5/6*c_0012_2 + 1/6*c_0102_2 + 3/2*c_0111_3 - 2*c_1101_0, c_1011_2*c_1101_3^2 + c_0111_3*c_1101_3 - 1/3*c_0111_2*u - 2/3*c_0111_2 - u, c_1101_0*c_1101_3^2 - 2/3*c_1011_2*u + 2/3*c_1101_2*u + c_1101_3*u - 1/3*c_1011_2 + 1/3*c_1101_2 + c_1101_3, c_1101_3^3 - 2*c_0111_3*c_1101_3 - c_1101_0*c_1101_3 + 2/3*c_0111_2*u + 1/3*c_0111_2 + u - 1, c_0012_2^2*u + c_0012_2^2 - c_0012_3*c_0021_2 - c_0021_2*c_0021_3 + c_0102_2^2 - 2*c_0021_3*c_0201_2 + 3*c_0201_2*c_1101_3 + 2*c_0012_3*u - c_0021_3*u - c_1011_2*u + c_1101_2*u + 3*c_1101_3*u + 2*c_0012_3 + 3*c_0021_3 + c_1011_2 + 2*c_1101_3, c_0012_2*c_0012_3*u - c_0201_2^2*u + 2*c_0012_2*c_0012_3 + c_0012_3*c_0102_2 + c_0021_3*c_0102_2 - c_0021_2*c_0201_2 - c_0201_2^2 - 2*c_0012_2*c_1101_3 - 4*c_0102_2*c_1101_3 - c_0111_3*c_1101_3 + 4*c_1101_0*c_1101_3 + c_0021_2*u + 5*c_0111_2*u - 2*c_0201_2*u + c_0021_2 + 2*c_0111_2 - 3*c_0201_2 + 3*u + 1, c_0012_3^2*u - c_0021_3^2 + c_0012_2*c_0201_2 - c_0102_2*c_0201_2 - 1/2*c_0012_3*c_1101_3 + 3/2*c_0021_3*c_1101_3 + 3/2*c_1011_2*c_1101_3 + 3/2*c_1101_3^2 - 1/2*c_0012_2*u + c_0102_2*u + c_0111_3*u - 1/2*c_1101_0*u + 5/2*c_0012_2 - 1/2*c_0102_2 + 5/2*c_0111_3 - 2*c_1101_0, c_0012_2*c_0021_2*u + c_0012_3^2 + c_0021_3^2 + c_0102_2*c_0201_2 + 1/2*c_0012_3*c_1101_3 - 3/2*c_0021_3*c_1101_3 - 5/2*c_1011_2*c_1101_3 - 1/2*c_1101_3^2 - 3/2*c_0012_2*u - c_0102_2*u - 2*c_0111_3*u + 1/2*c_1101_0*u - 5/2*c_0012_2 + 1/2*c_0102_2 - 5/2*c_0111_3 + 2*c_1101_0, c_0012_3*c_0021_2*u + c_0012_3*c_0021_2 + c_0021_3*c_0201_2 + c_0201_2*c_1101_2 - c_0201_2*c_1101_3 - c_1101_2*u - c_0012_3 - c_1011_2 - c_1101_2, c_0021_2*c_0021_3*u + c_0012_2^2 + c_0021_2*c_0021_3 - c_0102_2^2 - c_0012_3*c_0201_2 + c_1011_2*u - c_1101_3*u + c_0012_3 - c_0021_3, c_0021_3^2*u - c_0012_2*c_0021_2 + c_0021_3^2 - c_0021_2*c_0102_2 + c_0102_2*c_0201_2 + 1/2*c_0012_3*c_1101_3 - 3/2*c_0021_3*c_1101_3 + 3/2*c_1011_2*c_1101_3 + 3/2*c_1101_3^2 + 1/2*c_0012_2*u + c_0102_2*u + c_0111_3*u - 1/2*c_1101_0*u - 1/2*c_0012_2 + 1/2*c_0102_2 - 1/2*c_0111_3 - c_1101_0, c_0012_3*c_0102_2*u - c_0012_2*c_0012_3 + c_0021_2*c_0201_2 + c_0201_2^2 + c_0012_2*c_1101_3 + 2*c_0102_2*c_1101_3 + c_0111_3*c_1101_3 - c_1101_0*c_1101_3 - c_0021_2*u - 3*c_0111_2*u + c_0201_2*u - 2*c_0021_2 - 2*c_0111_2 + c_0201_2 - 2*u, c_0021_2*c_0102_2*u + c_0021_3^2 + c_0021_2*c_0102_2 - c_0012_2*c_0201_2 - c_1011_2*c_1101_3 + c_1101_3^2 + c_0111_3*u - c_1101_0*u + 2*c_0102_2 - c_0111_3, c_0021_3*c_0102_2*u + c_0201_2^2*u - c_0012_2*c_0012_3 - c_0012_3*c_0102_2 + c_0201_2^2 - c_0012_2*c_1101_3 + c_0102_2*c_1101_3 - c_0021_2*u - c_0111_2*u - u, c_0102_2^2*u - c_0012_3*c_0021_2 + c_0021_2*c_0021_3 - c_0102_2^2 - c_0012_3*c_0201_2 + c_0021_3*c_0201_2 - c_0012_3*u + 2*c_0021_3*u + c_1011_2*u - c_1101_3*u - c_0021_3 + c_1101_2 - c_1101_3, c_0012_2*c_0201_2*u - c_0012_2*c_0021_2 + c_0021_3^2 + c_0102_2*c_0201_2 + 1/2*c_0012_3*c_1101_3 - 3/2*c_0021_3*c_1101_3 - 1/2*c_1011_2*c_1101_3 + 1/2*c_1101_3^2 + 1/2*c_0012_2*u - c_0102_2*u + c_0111_3*u - 1/2*c_1101_0*u - 1/2*c_0012_2 + 1/2*c_0102_2 - 1/2*c_0111_3, c_0012_3*c_0201_2*u + c_0012_2^2 - c_0021_2*c_0021_3 + 2*c_0102_2^2 + c_0012_3*c_0201_2 - 3*c_0021_3*c_0201_2 + 3*c_0201_2*c_1101_3 + 2*c_0012_3*u - 2*c_0021_3*u - c_1011_2*u + c_1101_2*u + 3*c_1101_3*u + 2*c_0012_3 + 4*c_0021_3 + 2*c_1011_2 - c_1101_2 + 2*c_1101_3, c_0021_2*c_0201_2*u + c_0012_2*c_0012_3 + c_0021_3*c_0102_2 - 3*c_0102_2*c_1101_3 + c_0111_3*c_1101_3 + 2*c_1101_0*c_1101_3 - c_0021_2*u + 2*c_0111_2*u - 2*c_0201_2*u + c_0111_2 - 2*c_0201_2 + 2*u + 1, c_0021_3*c_0201_2*u - c_0012_3*c_0021_2 + c_0201_2*c_1101_2 + 2*c_0201_2*c_1101_3 + c_0012_3*u - c_0021_3*u - c_1011_2*u + c_1101_2*u + 2*c_1101_3*u + c_0012_3 + c_0021_3 + c_1101_3, c_0102_2*c_0201_2*u + c_0012_3^2 + c_0021_3^2 + c_0021_2*c_0102_2 - c_0012_2*c_0201_2 + c_0102_2*c_0201_2 + c_0012_3*c_1101_3 - 2*c_1011_2*c_1101_3 - c_1101_3^2 - 2*c_0012_2*u - c_0102_2*u - 2*c_0111_3*u + c_1101_0*u - 2*c_0012_2 + c_0102_2 - 2*c_0111_3 + 2*c_1101_0, c_0201_2*c_1101_2*u - c_0201_2*c_1101_3 - c_0012_3*u + c_0021_3*u - c_1101_2*u - c_1101_3*u - c_0012_3 - c_1101_3, c_0012_2*c_1101_3*u + c_0012_2*c_1101_3 + c_0102_2*c_1101_3 - c_0111_3*c_1101_3 - 2*c_1101_0*c_1101_3 - c_0111_2*u + c_0201_2*u + c_0201_2 - 1, c_0012_3*c_1101_3*u + 1/2*c_0012_3*c_1101_3 - 3/2*c_0021_3*c_1101_3 - 3/2*c_1011_2*c_1101_3 - 3/2*c_1101_3^2 + 1/2*c_0012_2*u - c_0102_2*u - c_0111_3*u + 1/2*c_1101_0*u - 1/2*c_0012_2 - 1/2*c_0102_2 - 1/2*c_0111_3 + c_1101_0, c_0021_3*c_1101_3*u + 1/2*c_0012_3*c_1101_3 + 1/2*c_0021_3*c_1101_3 + 1/2*c_1011_2*c_1101_3 - 1/2*c_1101_3^2 + 1/2*c_0012_2*u + 1/2*c_1101_0*u + 1/2*c_0012_2 - 1/2*c_0102_2 + 1/2*c_0111_3, c_0102_2*c_1101_3*u - c_0012_2*c_1101_3 - c_0111_3*c_1101_3 + c_1101_0*c_1101_3 + c_0111_2*u + c_0111_2 - c_0201_2 + u + 1, c_0111_3*c_1101_3*u + c_0111_3*c_1101_3 + c_1101_0*c_1101_3 + 1, c_0201_2*c_1101_3*u + c_0201_2*c_1101_2 + c_0201_2*c_1101_3 + c_0012_3*u + c_1101_3*u + c_0021_3 - c_1101_2, c_1011_2*c_1101_3*u + c_1011_2*c_1101_3 + c_1101_3^2 + c_0111_3*u - c_1101_0*u - c_1101_0, c_1101_0*c_1101_3*u - c_0111_3*c_1101_3 + u, c_1101_3^2*u - c_1011_2*c_1101_3 - c_0111_3*u - c_0111_3 + c_1101_0, c_0021_2^2 - c_0012_3*c_0102_2 - c_0021_3*c_0102_2 - c_0012_2*c_1101_3 + c_0102_2*c_1101_3 + c_0111_3*c_1101_3 + 2*c_1101_0*c_1101_3 - c_0201_2*u - c_0111_2 - c_0201_2 - u + 1, c_0012_2*c_0021_3 + c_0012_3*c_0102_2 - c_0201_2^2 + 2*c_0021_2*u + 2*c_0111_2*u + 2*c_0021_2 + c_0111_2, c_0012_3*c_0021_3 + c_0021_2*c_0102_2 - c_0012_2*c_0201_2 - c_0102_2*c_0201_2 + 3*c_0021_3*c_1101_3 + 3*c_1011_2*c_1101_3 + 3*c_1101_3^2 - c_0012_2*u + 2*c_0102_2*u + 3*c_0111_3*u - c_1101_0*u + c_0012_2 + 2*c_0102_2 + c_0111_3 - 3*c_1101_0, c_0012_2*c_0102_2 - c_0102_2^2 + c_0021_3*c_0201_2 - c_1101_3*u - 2*c_0021_3 - c_1011_2 - c_1101_3, c_0012_2*c_0111_2 - 1/2*c_0012_3*c_1101_3 + 1/2*c_0021_3*c_1101_3 + 3/2*c_1011_2*c_1101_3 + 3/2*c_1101_3^2 - 1/2*c_0012_2*u + c_0102_2*u + c_0111_3*u - 1/2*c_1101_0*u + 1/2*c_0012_2 + 1/2*c_0102_2 + 1/2*c_0111_3 - 2*c_1101_0, c_0012_3*c_0111_2 + 2*c_0201_2*c_1101_2 + c_0201_2*c_1101_3 + c_0012_3*u - c_0021_3*u - c_1011_2*u + 2*c_1101_3*u + c_0021_3 - c_1011_2 - c_1101_2 + c_1101_3, c_0021_2*c_0111_2 - c_0111_3*c_1101_3 - 2*c_1101_0*c_1101_3 - c_0111_2*u + c_0201_2*u + c_0201_2 - 1, c_0021_3*c_0111_2 - c_0012_3*u, c_0102_2*c_0111_2 + 1/2*c_0012_3*c_1101_3 + 1/2*c_0021_3*c_1101_3 + 3/2*c_1011_2*c_1101_3 + 3/2*c_1101_3^2 + 1/2*c_0012_2*u + c_0102_2*u + c_0111_3*u - 1/2*c_1101_0*u + 1/2*c_0012_2 + 1/2*c_0102_2 + 1/2*c_0111_3 - c_1101_0, c_0111_2^2 - c_0111_3*c_1101_3 + c_1101_0*c_1101_3 + c_0111_2*u + c_0111_2 + u + 1, c_0012_2*c_0111_3 - c_0201_2*c_1101_2 - c_0201_2*c_1101_3 - c_0012_3*u + c_0021_3*u - c_1101_3*u - c_0012_3 - c_0021_3 + c_1101_2 - c_1101_3, c_0012_3*c_0111_3 + c_0021_2*u + c_0111_2*u, c_0021_2*c_0111_3 + 1/2*c_0012_3*c_1101_3 + 1/2*c_0021_3*c_1101_3 + 3/2*c_1011_2*c_1101_3 + 3/2*c_1101_3^2 - 1/2*c_0012_2*u + c_0102_2*u + c_0111_3*u - 1/2*c_1101_0*u + 1/2*c_0012_2 + 1/2*c_0102_2 + 1/2*c_0111_3 - 2*c_1101_0, c_0021_3*c_0111_3 + c_0012_2*c_1101_3 - c_0102_2*c_1101_3 + c_0111_3*c_1101_3 - c_1101_0*c_1101_3 - c_0201_2*u - 1, c_0102_2*c_0111_3 - c_0201_2*c_1101_2 - c_0201_2*c_1101_3 - c_0012_3*u + c_0021_3*u + c_1011_2*u - c_1101_3*u + c_1011_2 + c_1101_2, c_0111_2*c_0111_3 + c_1101_0, c_0111_3^2 + 2/3*c_1011_2*u - 1/3*c_1101_2*u - 1/3*c_1101_3*u + 1/3*c_1011_2 - 2/3*c_1101_2 + 1/3*c_1101_3, c_0111_2*c_0201_2 - 2*c_0012_2*c_1101_3 - c_0102_2*c_1101_3 - 2*c_0111_3*c_1101_3 + 2*c_1101_0*c_1101_3 + 2*c_0111_2*u + c_0111_2 - c_0201_2 + 2*u + 1, c_0111_3*c_0201_2 + c_0021_3*c_1101_3 + 2*c_1011_2*c_1101_3 + c_1101_3^2 + c_0102_2*u + c_0111_3*u + c_0102_2 - c_1101_0, c_0012_2*c_1011_2 - c_0012_2*c_1101_3 - c_0111_3*c_1101_3 + c_1101_0*c_1101_3 - c_0021_2*u - c_0021_2, c_0012_3*c_1011_2 + c_0012_2 + c_0111_3, c_0021_2*c_1011_2 + c_0201_2*c_1101_3 + c_0012_3*u + c_1101_3*u + c_0012_3 + c_0021_3, c_0021_3*c_1011_2 - 1/2*c_0012_3*c_1101_3 + 1/2*c_0021_3*c_1101_3 + 1/2*c_1011_2*c_1101_3 - 1/2*c_1101_3^2 - 1/2*c_0012_2*u - c_0111_3*u + 1/2*c_1101_0*u + 1/2*c_0012_2 - 1/2*c_0102_2 + 1/2*c_0111_3, c_0102_2*c_1011_2 + c_0012_2*c_1101_3 + c_0102_2*c_1101_3 + c_0111_3*c_1101_3 - c_1101_0*c_1101_3 - c_0111_2*u - c_0111_2 - u, c_0111_2*c_1011_2 - 1/3*c_1011_2*u + 2/3*c_1101_2*u - 1/3*c_1101_3*u + 1/3*c_1011_2 + 1/3*c_1101_2 + 1/3*c_1101_3, c_0111_3*c_1011_2 - c_1101_0*c_1101_3 - c_0111_2*u - c_0111_2, c_0201_2*c_1011_2 + c_0201_2*c_1101_2 + c_0201_2*c_1101_3 - c_0021_3*u - c_1011_2*u + c_1101_3*u + c_0021_3 - c_1101_2 + c_1101_3, c_1011_2^2 - c_1011_2*c_1101_3 + c_0111_3*u, c_0012_2*c_1101_0 - c_0201_2*c_1101_2 - c_0201_2*c_1101_3 + c_0021_3*u + c_1011_2*u - 2*c_1101_3*u - c_0021_3 + c_1101_2 - c_1101_3, c_0012_3*c_1101_0 + c_0111_3*c_1101_3 + 2*c_1101_0*c_1101_3 + c_0111_2*u - c_0201_2 + 1, c_0021_2*c_1101_0 - 1/2*c_0012_3*c_1101_3 + 1/2*c_0021_3*c_1101_3 - 1/2*c_1011_2*c_1101_3 + 1/2*c_1101_3^2 - 1/2*c_0012_2*u + c_0102_2*u - 1/2*c_1101_0*u - 1/2*c_0012_2 + 1/2*c_0102_2 - 1/2*c_0111_3, c_0021_3*c_1101_0 + c_0021_2*u + c_0111_2*u + c_0021_2 + c_0111_2, c_0102_2*c_1101_0 + c_0201_2*c_1101_2 - c_1101_2, c_0111_2*c_1101_0 + 2*c_1011_2*c_1101_3 + c_1101_3^2 + c_0111_3*u - c_1101_0, c_0111_3*c_1101_0 - 1/3*c_1011_2*u - 1/3*c_1101_2*u + 2/3*c_1101_3*u + 1/3*c_1011_2 - 2/3*c_1101_2 + 1/3*c_1101_3, c_0201_2*c_1101_0 + 1/2*c_0012_3*c_1101_3 - 1/2*c_0021_3*c_1101_3 + 1/2*c_1011_2*c_1101_3 - 1/2*c_1101_3^2 + 1/2*c_0012_2*u - c_0111_3*u + 1/2*c_1101_0*u - 1/2*c_0012_2 - 1/2*c_0102_2 - 1/2*c_0111_3, c_1011_2*c_1101_0 - c_1101_0*c_1101_3 - c_0111_2*u - c_0111_2 - u - 1, c_1101_0^2 - 1/3*c_1011_2*u - 1/3*c_1101_2*u - 1/3*c_1101_3*u + 1/3*c_1011_2 + 1/3*c_1101_2 + 1/3*c_1101_3, c_0012_2*c_1101_2 + c_0012_2*c_1101_3 + c_0102_2*c_1101_3 + c_0111_3*c_1101_3 - c_1101_0*c_1101_3 - c_0111_2*u - u, c_0012_3*c_1101_2 - c_1011_2*c_1101_3 + c_1101_3^2 + c_0111_3*u - c_1101_0*u + c_0102_2, c_0021_2*c_1101_2 + c_0201_2*c_1101_3 - c_0021_3*u - c_1011_2*u + c_1101_3*u + c_1101_3, c_0021_3*c_1101_2 - c_0021_3*c_1101_3 - c_1011_2*c_1101_3 - 2*c_1101_3^2 - c_0102_2*u - 2*c_0111_3*u + c_1101_0*u - c_0012_2 - c_0102_2 - c_0111_3 + c_1101_0, c_0102_2*c_1101_2 + c_0012_2*c_1101_3 + c_0102_2*c_1101_3 + 2*c_0111_3*c_1101_3 + c_1101_0*c_1101_3 - c_0021_2*u - c_0111_2*u - c_0021_2 - c_0111_2 - u + 1, c_0111_2*c_1101_2 + 2/3*c_1011_2*u + 2/3*c_1101_2*u - 1/3*c_1101_3*u + 1/3*c_1011_2 + 1/3*c_1101_2 - 2/3*c_1101_3, c_0111_3*c_1101_2 + c_0111_3*c_1101_3 + c_1101_0*c_1101_3 - c_0111_2, c_1011_2*c_1101_2 + c_1011_2*c_1101_3 + c_1101_3^2 + c_0111_3*u, c_1101_0*c_1101_2 - c_1101_0*c_1101_3 - c_0111_2*u - 1, c_1101_2^2 + c_1011_2*c_1101_3 + c_1101_3^2 + 2*c_0111_3*u, c_0021_2*c_1101_3 + c_0201_2*c_1101_3 + c_1101_2*u + c_1101_3*u + c_0012_3 + c_1101_2 + c_1101_3, c_0111_2*c_1101_3 - 1/3*c_1011_2*u - 1/3*c_1101_2*u - 1/3*c_1101_3*u + 1/3*c_1011_2 - 2/3*c_1101_2 - 2/3*c_1101_3, c_1101_2*c_1101_3 - c_1101_3^2 - c_0111_3*u, u^2 + u + 1, c_0012_0 - 1, c_0012_1 - c_0012_2 - c_0111_3 + c_1101_0, c_0111_0 - 1, c_1011_0 + c_1011_2 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: c_0012_0, c_0012_1, c_0012_2, c_0012_3, c_0021_2, c_0021_3, c_0102_2, c_0111_0, c_0111_2, c_0111_3, c_0201_2, c_1011_0, c_1011_2, c_1101_0, c_1101_2, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0012_0 - 1, c_0012_1 + 19795216171819950518955653655001120/427121913310130277506824\ 3378670301*c_1101_3^23*u + 29027555930011739421091571238809024/4271\ 219133101302775068243378670301*c_1101_3^23 - 1669394106156106215600032281300198436/42712191331013027750682433786\ 70301*c_1101_3^20*u - 2973180298121942764214326378911992591/8542438\ 266202605550136486757340602*c_1101_3^20 - 9404083865631785272659970446802101905/85424382662026055501364867573\ 40602*c_1101_3^17*u - 5150116338813710447588495272653346700/4271219\ 133101302775068243378670301*c_1101_3^17 - 5652237038163456908705995711258845131/42712191331013027750682433786\ 70301*c_1101_3^14*u - 4810707314384497162108323509895559684/4271219\ 133101302775068243378670301*c_1101_3^14 - 4699495230965849582099841772452585685/85424382662026055501364867573\ 40602*c_1101_3^11*u - 2426799142864719862780558044044509399/4271219\ 133101302775068243378670301*c_1101_3^11 - 1012585232300727795909882618919229582/42712191331013027750682433786\ 70301*c_1101_3^8*u - 1691472314705120954704105996428433924/42712191\ 33101302775068243378670301*c_1101_3^8 - 356973522686705273544388763969727386/427121913310130277506824337867\ 0301*c_1101_3^5*u - 331988182809216069314845428717235985/8542438266\ 202605550136486757340602*c_1101_3^5 + 33273118085382052063759609519985938/4271219133101302775068243378670\ 301*c_1101_3^2*u + 26809278429315376956770312462401643/427121913310\ 1302775068243378670301*c_1101_3^2, c_0012_2 - 34580970577568536179283491846090208/427121913310130277506824\ 3378670301*c_1101_3^23*u - 42223101811914800814083261403185984/4271\ 219133101302775068243378670301*c_1101_3^23 + 2681983730950011666005841731587197896/42712191331013027750682433786\ 70301*c_1101_3^20*u + 3997030005880481572496926083356593289/8542438\ 266202605550136486757340602*c_1101_3^20 + 14486175027993620885377746603658847855/8542438266202605550136486757\ 340602*c_1101_3^17*u + 7274284254825372224490235289677419956/427121\ 9133101302775068243378670301*c_1101_3^17 + 7142810605638769376239342906107654452/42712191331013027750682433786\ 70301*c_1101_3^14*u + 6133894991104434692051955498933073813/4271219\ 133101302775068243378670301*c_1101_3^14 + 4485502572231299356795508758834179943/85424382662026055501364867573\ 40602*c_1101_3^11*u + 3322203519526389298799738581237044214/4271219\ 133101302775068243378670301*c_1101_3^11 + 998314572545406034306346576246080277/427121913310130277506824337867\ 0301*c_1101_3^8*u + 2096043935869794665087741056147657462/427121913\ 3101302775068243378670301*c_1101_3^8 + 59763877948345314796280328860181596/4271219133101302775068243378670\ 301*c_1101_3^5*u - 284919885880712211349283856379586575/85424382662\ 02605550136486757340602*c_1101_3^5 - 14468490640280711911412704838860120/4271219133101302775068243378670\ 301*c_1101_3^2*u + 332848297197844190550260715391342/42712191331013\ 02775068243378670301*c_1101_3^2, c_0012_3 + 19800764305156716655081594906549376/427121913310130277506824\ 3378670301*c_1101_3^22*u + 18410959553715936969551230953258784/4271\ 219133101302775068243378670301*c_1101_3^22 - 2735895635775561954249933903066796199/85424382662026055501364867573\ 40602*c_1101_3^19*u - 1464281930056376031060333529872422761/8542438\ 266202605550136486757340602*c_1101_3^19 - 4008578887070309258337106293523495817/42712191331013027750682433786\ 70301*c_1101_3^16*u - 3144790926542298850332070262390314954/4271219\ 133101302775068243378670301*c_1101_3^16 - 3834876614905078266878354377773667795/42712191331013027750682433786\ 70301*c_1101_3^13*u - 2792923086605277065144276065182308309/4271219\ 133101302775068243378670301*c_1101_3^13 - 2940582043636926682622177100149558501/85424382662026055501364867573\ 40602*c_1101_3^10*u - 1858424630016433172045621180655366572/4271219\ 133101302775068243378670301*c_1101_3^10 - 659418336411106342726575684071647861/427121913310130277506824337867\ 0301*c_1101_3^7*u - 2258452948483502915659937553459821227/854243826\ 6202605550136486757340602*c_1101_3^7 + 43580657584990896172543781497213087/8542438266202605550136486757340\ 602*c_1101_3^4*u + 55605336435617765427214964329448039/854243826620\ 2605550136486757340602*c_1101_3^4 - 6868331181949135203168965555203601/85424382662026055501364867573406\ 02*c_1101_3*u + 1634942383316866440493615147750090/4271219133101302\ 775068243378670301*c_1101_3, c_0021_2 + 386527152813978830214320111368480/47457990367792253056313815\ 3185589*c_1101_3^21*u + 649191949852953658508030694486400/474579903\ 677922530563138153185589*c_1101_3^21 - 105380197080618123303212328059805359/142373971103376759168941445955\ 6767*c_1101_3^18*u - 209615411652871428305533780495273367/284747942\ 2067535183378828919113534*c_1101_3^18 - 175398154016521820614023952685059183/949159807355845061126276306371\ 178*c_1101_3^15*u - 117748708942115867497072627147903118/4745799036\ 77922530563138153185589*c_1101_3^15 - 539812400821377415838365802421037249/284747942206753518337882891911\ 3534*c_1101_3^12*u - 620888300208596973105118323719137907/284747942\ 2067535183378828919113534*c_1101_3^12 - 44013239455890521325762900005536909/9491598073558450611262763063711\ 78*c_1101_3^9*u - 47291680886137385336270676235945163/4745799036779\ 22530563138153185589*c_1101_3^9 - 642875735043238016894957766005651\ 0/474579903677922530563138153185589*c_1101_3^6*u - 28168516014088266724861671875233861/4745799036779225305631381531855\ 89*c_1101_3^6 - 5702515268034096272548854072798092/1423739711033767\ 591689414459556767*c_1101_3^3*u + 445128935919553254932159245178485\ 1/1423739711033767591689414459556767*c_1101_3^3 + 152758309004848768320675415798013/949159807355845061126276306371178\ *u + 229990204839140450471819738252400/4745799036779225305631381531\ 85589, c_0021_3 - 9034641395917323726656150664966080/4271219133101302775068243\ 378670301*c_1101_3^22*u - 22535708039192159339115690376683904/42712\ 19133101302775068243378670301*c_1101_3^22 + 1035380736613002285512974650917759620/42712191331013027750682433786\ 70301*c_1101_3^19*u + 1341954506076429586210362836484634325/4271219\ 133101302775068243378670301*c_1101_3^19 + 2246713737471991518069968473646869268/42712191331013027750682433786\ 70301*c_1101_3^16*u + 8250796708386652860343818128986241759/8542438\ 266202605550136486757340602*c_1101_3^16 + 4866905265347196453361071385641613391/85424382662026055501364867573\ 40602*c_1101_3^13*u + 3543373122575938340249890241598716192/4271219\ 133101302775068243378670301*c_1101_3^13 + 299421543467276159298876815855485066/427121913310130277506824337867\ 0301*c_1101_3^10*u + 1379593237609974694847553665219824691/42712191\ 33101302775068243378670301*c_1101_3^10 + 38295389824880795092271418815715623/8542438266202605550136486757340\ 602*c_1101_3^7*u + 827406907318562208992970067901219597/42712191331\ 01302775068243378670301*c_1101_3^7 + 87461224145890307643268022910785035/4271219133101302775068243378670\ 301*c_1101_3^4*u - 75870136941818486334660598077406852/427121913310\ 1302775068243378670301*c_1101_3^4 - 11669599049342206754597840404863098/4271219133101302775068243378670\ 301*c_1101_3*u - 8323423958993132707186236219210677/854243826620260\ 5550136486757340602*c_1101_3, c_0102_2 + 11179500956785590188190509735443424/427121913310130277506824\ 3378670301*c_1101_3^23*u + 46695392668378966310361219451350592/4271\ 219133101302775068243378670301*c_1101_3^23 - 1829007903130381267080188799748791532/42712191331013027750682433786\ 70301*c_1101_3^20*u - 5997839097155507741856016634301779377/8542438\ 266202605550136486757340602*c_1101_3^20 - 3391568089802606467017934237920406790/42712191331013027750682433786\ 70301*c_1101_3^17*u - 8903516112118116805887135566858210356/4271219\ 133101302775068243378670301*c_1101_3^17 - 7858539628831740139589300002429968863/85424382662026055501364867573\ 40602*c_1101_3^14*u - 15988063871941666763172846602710875943/854243\ 8266202605550136486757340602*c_1101_3^14 + 4583595908219837792947907603898019/85424382662026055501364867573406\ 02*c_1101_3^11*u - 6003167917684265706861755642879087803/8542438266\ 202605550136486757340602*c_1101_3^11 + 799212621926959365207721483688388607/854243826620260555013648675734\ 0602*c_1101_3^8*u - 1615755642716401855483859663538875945/427121913\ 3101302775068243378670301*c_1101_3^8 - 159115179320935622372239321834767085/427121913310130277506824337867\ 0301*c_1101_3^5*u + 115414470543101737955933188580344207/4271219133\ 101302775068243378670301*c_1101_3^5 + 2123773923493813167538982554637348/42712191331013027750682433786703\ 01*c_1101_3^2*u - 24042849410601617693610322481522605/8542438266202\ 605550136486757340602*c_1101_3^2, c_0111_0 - 1, c_0111_2 + 3335071717490165445133123066135744/1423739711033767591689414\ 459556767*c_1101_3^21*u - 1341729312172707832260512435124992/142373\ 9711033767591689414459556767*c_1101_3^21 - 101065706416027728481470671132288446/142373971103376759168941445955\ 6767*c_1101_3^18*u + 192654239864441248102994545295554241/142373971\ 1033767591689414459556767*c_1101_3^18 - 524140153346785890097895486113860593/142373971103376759168941445955\ 6767*c_1101_3^15*u + 376563168017228944360574387516921380/142373971\ 1033767591689414459556767*c_1101_3^15 - 421914326104999436008475794921461070/142373971103376759168941445955\ 6767*c_1101_3^12*u + 407465560944022065379053090323306999/142373971\ 1033767591689414459556767*c_1101_3^12 - 112805411615512734922245864007159280/474579903677922530563138153185\ 589*c_1101_3^9*u + 1969283509874111185040306390475302/4745799036779\ 22530563138153185589*c_1101_3^9 - 221008456950568812196787647379341\ 696/1423739711033767591689414459556767*c_1101_3^6*u - 15636309389475533598562586215160269/4745799036779225305631381531855\ 89*c_1101_3^6 + 13055838813781481866231768128047716/142373971103376\ 7591689414459556767*c_1101_3^3*u + 283272170217332553383711823659413/474579903677922530563138153185589\ *c_1101_3^3 - 101115313589047136825570040161394/4745799036779225305\ 63138153185589*u - 54733612033145377775042182861013/474579903677922\ 530563138153185589, c_0111_3 + 98517204742533549870797100251749376/427121913310130277506824\ 3378670301*c_1101_3^23*u + 43589818325568255460854535611236800/4271\ 219133101302775068243378670301*c_1101_3^23 - 5411381444564979565693197341468534353/42712191331013027750682433786\ 70301*c_1101_3^20*u - 236080323617452693958094847682022731/42712191\ 33101302775068243378670301*c_1101_3^20 - 17949868618206661156217648288843918786/4271219133101302775068243378\ 670301*c_1101_3^17*u - 5367445238395366119277288767634239424/427121\ 9133101302775068243378670301*c_1101_3^17 - 15884050239057437612232947212513204039/4271219133101302775068243378\ 670301*c_1101_3^14*u - 2905030877917195640955374450332157207/427121\ 9133101302775068243378670301*c_1101_3^14 - 7413737517506482708964138628664283734/42712191331013027750682433786\ 70301*c_1101_3^11*u - 4441441944703378697410037564833975142/4271219\ 133101302775068243378670301*c_1101_3^11 - 4256418974982917505891327227307618238/42712191331013027750682433786\ 70301*c_1101_3^8*u - 3441085283182827193914238052485164758/42712191\ 33101302775068243378670301*c_1101_3^8 + 276373900748619628344970804633011131/427121913310130277506824337867\ 0301*c_1101_3^5*u + 456458897371099559591406015926020384/4271219133\ 101302775068243378670301*c_1101_3^5 + 16970854159746653174183749973388128/4271219133101302775068243378670\ 301*c_1101_3^2*u + 10364945008694246542967720846514304/427121913310\ 1302775068243378670301*c_1101_3^2, c_0201_2 + 4990510067067009021541751157388000/4271219133101302775068243\ 378670301*c_1101_3^21*u - 3082486105023385810747594094874016/427121\ 9133101302775068243378670301*c_1101_3^21 - 241669725582884766790972333804389967/854243826620260555013648675734\ 0602*c_1101_3^18*u + 364597692777920123084745088875406325/427121913\ 3101302775068243378670301*c_1101_3^18 - 1413456995303810250677737603037404367/85424382662026055501364867573\ 40602*c_1101_3^15*u + 765443896764734173391864246047609537/42712191\ 33101302775068243378670301*c_1101_3^15 - 841235409235244482600833679420723423/854243826620260555013648675734\ 0602*c_1101_3^12*u + 1636366833133194975600778979662009345/85424382\ 66202605550136486757340602*c_1101_3^12 - 386618454053326425248607152563672409/427121913310130277506824337867\ 0301*c_1101_3^9*u + 67514047513713385365671870783087009/42712191331\ 01302775068243378670301*c_1101_3^9 - 268694409267134259080238541360363967/427121913310130277506824337867\ 0301*c_1101_3^6*u - 20960310645495389000976599901037529/85424382662\ 02605550136486757340602*c_1101_3^6 + 143097266309562849724703021619722939/854243826620260555013648675734\ 0602*c_1101_3^3*u + 42066265943881866182746296386663209/85424382662\ 02605550136486757340602*c_1101_3^3 - 2103883065833876021824622999538221/42712191331013027750682433786703\ 01*u - 1922969832391074935959684157322532/4271219133101302775068243\ 378670301, c_1011_0 - 8987475373864728745855781204295680/4271219133101302775068243\ 378670301*c_1101_3^22*u - 16874004262046534257451065124127232/42712\ 19133101302775068243378670301*c_1101_3^22 + 873238986738138890308942520310102520/427121913310130277506824337867\ 0301*c_1101_3^19*u + 938971712872606236682252823205108968/427121913\ 3101302775068243378670301*c_1101_3^19 + 1899323009676884575649637000963771824/42712191331013027750682433786\ 70301*c_1101_3^16*u + 3228426495112557030255889598871809551/4271219\ 133101302775068243378670301*c_1101_3^16 + 1400702450144363044813368958814600161/42712191331013027750682433786\ 70301*c_1101_3^13*u + 2914250142393273895628111303694446342/4271219\ 133101302775068243378670301*c_1101_3^13 - 190451631552312381872214383968334609/427121913310130277506824337867\ 0301*c_1101_3^10*u + 1491913907720770376770192434879658397/42712191\ 33101302775068243378670301*c_1101_3^10 - 311871930368824503673600354866429059/427121913310130277506824337867\ 0301*c_1101_3^7*u + 612403518489563160244925007207061931/4271219133\ 101302775068243378670301*c_1101_3^7 - 230766882581046134535360854631798062/427121913310130277506824337867\ 0301*c_1101_3^4*u - 164526394276781547234577209664068679/4271219133\ 101302775068243378670301*c_1101_3^4 + 11029947680978435173426966996799767/4271219133101302775068243378670\ 301*c_1101_3*u + 2868346909180678759975125364937009/427121913310130\ 2775068243378670301*c_1101_3, c_1011_2 - 8987475373864728745855781204295680/4271219133101302775068243\ 378670301*c_1101_3^22*u - 16874004262046534257451065124127232/42712\ 19133101302775068243378670301*c_1101_3^22 + 873238986738138890308942520310102520/427121913310130277506824337867\ 0301*c_1101_3^19*u + 938971712872606236682252823205108968/427121913\ 3101302775068243378670301*c_1101_3^19 + 1899323009676884575649637000963771824/42712191331013027750682433786\ 70301*c_1101_3^16*u + 3228426495112557030255889598871809551/4271219\ 133101302775068243378670301*c_1101_3^16 + 1400702450144363044813368958814600161/42712191331013027750682433786\ 70301*c_1101_3^13*u + 2914250142393273895628111303694446342/4271219\ 133101302775068243378670301*c_1101_3^13 - 190451631552312381872214383968334609/427121913310130277506824337867\ 0301*c_1101_3^10*u + 1491913907720770376770192434879658397/42712191\ 33101302775068243378670301*c_1101_3^10 - 311871930368824503673600354866429059/427121913310130277506824337867\ 0301*c_1101_3^7*u + 612403518489563160244925007207061931/4271219133\ 101302775068243378670301*c_1101_3^7 - 230766882581046134535360854631798062/427121913310130277506824337867\ 0301*c_1101_3^4*u - 164526394276781547234577209664068679/4271219133\ 101302775068243378670301*c_1101_3^4 + 11029947680978435173426966996799767/4271219133101302775068243378670\ 301*c_1101_3*u + 2868346909180678759975125364937009/427121913310130\ 2775068243378670301*c_1101_3, c_1101_0 + 14713672664381687724185984916886016/142373971103376759168941\ 4459556767*c_1101_3^23*u - 9220279805452761591440099010252736/14237\ 39711033767591689414459556767*c_1101_3^23 - 353334535819620561362441109527046007/142373971103376759168941445955\ 6767*c_1101_3^20*u + 1083008276127919824799177127817423403/14237397\ 11033767591689414459556767*c_1101_3^20 - 2001579723797986025732929921204481302/14237397110337675916894144595\ 56767*c_1101_3^17*u + 2352318451747905517600480598232175744/1423739\ 711033767591689414459556767*c_1101_3^17 - 1029667531751737109095869531715568152/14237397110337675916894144595\ 56767*c_1101_3^14*u + 2679857142523912071068301519498825430/1423739\ 711033767591689414459556767*c_1101_3^14 - 313470957323100915501829262557877880/474579903677922530563138153185\ 589*c_1101_3^11*u + 435853572562576821390086353482526157/1423739711\ 033767591689414459556767*c_1101_3^11 - 748506390045594558558366010714102793/142373971103376759168941445955\ 6767*c_1101_3^8*u + 38492329710232047319734333343436292/47457990367\ 7922530563138153185589*c_1101_3^8 + 231037100461223405561879965820973371/142373971103376759168941445955\ 6767*c_1101_3^5*u + 159997681945117162858062267364948363/1423739711\ 033767591689414459556767*c_1101_3^5 - 10256918188638703600329521461819310/1423739711033767591689414459556\ 767*c_1101_3^2*u - 5370495041141095407750776966831999/1423739711033\ 767591689414459556767*c_1101_3^2, c_1101_2 - 4727928573871520062538373502883008/4271219133101302775068243\ 378670301*c_1101_3^22*u - 8042496053705857184639529978556928/427121\ 9133101302775068243378670301*c_1101_3^22 + 430851310867567682348359936889716394/427121913310130277506824337867\ 0301*c_1101_3^19*u + 434180142073856312669443059150556003/427121913\ 3101302775068243378670301*c_1101_3^19 + 1161838151721124505092565948874746308/42712191331013027750682433786\ 70301*c_1101_3^16*u + 1436615637710605616500113851005825703/4271219\ 133101302775068243378670301*c_1101_3^16 + 1417738952592773124889553590429476077/42712191331013027750682433786\ 70301*c_1101_3^13*u + 1303762875614667384114001026601388716/4271219\ 133101302775068243378670301*c_1101_3^13 + 532043288343426183383165303591157065/427121913310130277506824337867\ 0301*c_1101_3^10*u + 559221336845942278644459914484564571/427121913\ 3101302775068243378670301*c_1101_3^10 + 210327700085375187102452311814735702/427121913310130277506824337867\ 0301*c_1101_3^7*u + 377868429770186489306343430517404459/4271219133\ 101302775068243378670301*c_1101_3^7 + 102560185524494852381598552976539863/427121913310130277506824337867\ 0301*c_1101_3^4*u + 17067797613994702400819582042988934/42712191331\ 01302775068243378670301*c_1101_3^4 - 4623746030378055992308413059850370/42712191331013027750682433786703\ 01*c_1101_3*u - 13729392744723227107504032214231799/427121913310130\ 2775068243378670301*c_1101_3, c_1101_3^24 - 1863/64*c_1101_3^21*u - 4557/64*c_1101_3^21 - 2031/64*c_1101_3^18*u - 6337/32*c_1101_3^18 - 3123/64*c_1101_3^15*u - 11575/64*c_1101_3^15 + 1449/64*c_1101_3^12*u - 1803/32*c_1101_3^12 + 1421/64*c_1101_3^9*u - 1727/64*c_1101_3^9 - 279/64*c_1101_3^6*u + 87/32*c_1101_3^6 + 3/32*c_1101_3^3*u - 3/64*c_1101_3^3 + 1/64*u + 1/64, u^2 + u + 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_0201_2" ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 7500.140 Total time: 7500.369 seconds, Total memory usage: 3585.00MB