Mathematica 9 is now available
Student Support Forum
-----
Student Support Forum: 'GroebnerBasis on a large polynomial list' topicStudent Support Forum > General > Archives > "GroebnerBasis on a large polynomial list"

Next Comment >Help | Reply To Topic
Author Comment/Response
Anthony
07/16/12 6:48pm

My list contains 217 polynomials and 15 variables. The GroebnerBasis command returns an empty set. My notebook is attached but the code is also below.


Clear[a, b, c, d, e, f, g, h, i, j, k, l, m, n, p];

polys = {-d m - m^2 + m (d + m), h m + m^2 - m (h + m),
d m (h + m) + m^2 (h + m) - m (d + m) (h + m), -h m (d + m) -
m^2 (d + m) + m (d + m) (h + m), -d -
m + (32 + a + h) (d + m) - (-d - m) (d + m) - (d + m) (31 + a +
d + h + m),
h + m - (-1 + a + c + d) (h + m) + (-h - m) (h + m) + (h + m) (-2 +
a + c + d + h + m), -c (-d - m) - c m + d (-c - n) + d n,
65 (-h - m) + 65 m - h (-65 - n) - h n,
22 (-h - m) + 22 m - h (-22 - n) - h n,
20 (-h - m) + 20 m - h (-20 - n) - h n,
5 (-h - m) + 5 m - h (-5 - n) -
h n, -(h + m) (-5 - n) + (-h - m) (5 + n), -14 n - n^2 +
n (14 + n), -(h + m) (-20 - n) + (-h - m) (20 +
n), -(h + m) (-22 - n) + (-h - m) (22 + n), -23 n - n^2 +
n (23 + n), -30 m + 30 (h + m) + h n - h (30 + n), -39 m (d + m) -
m (d + m) n + m (d + m) (39 + n), -40 n - n^2 +
n (40 + n), -d n (51 + n) -
m n (51 + n) + (d + m) n (51 + n), -52 m (d + m) - m (d + m) n +
m (d + m) (52 + n), -53 n - n^2 +
n (53 + n), -(h + m) (-65 - n) + (-h - m) (65 + n), -66 n - n^2 +
n (66 + n), -d n (66 + n) -
m n (66 + n) + (d + m) n (66 + n), -73 m + 73 (h + m) + h n -
h (73 + n), -d n (75 + n) -
m n (75 + n) + (d + m) n (75 + n), -76 m (d + m) - m (d + m) n +
m (d + m) (76 + n), -77 n - n^2 + n (77 + n), -88 m + 88 (h + m) +
h n - h (88 + n),
64 c - 64 (-64 - n) +
64 n + (-2 + a + d + h + m) (64 + n) - (62 + a + d + h + m) (64 +
n) - 64 (c + n),
21 c - 21 (-21 - n) +
21 n + (-2 + a + d + h + m) (21 + n) - (19 + a + d + h + m) (21 +
n) - 21 (c + n),
c m - c (d + m) - d n +
d (c + n), (d + m) (-c - n) - (-d - m) (c + n),
c m (h + m) + m (h + m) n - m (h + m) (c + n), -3 c + c (-c - n) -
c n + c (3 + n) - (-2 + a + d + h + m) (c + n) + (-2 + a + c + d +
h + m) (c + n), -9 c + c (-c - n) - c n +
c (9 + n) - (-2 + a + d + h + m) (c + n) + (-2 + a + c + d + h +
m) (c + n), c n + n^2 - n (c + n),
h n (c + n) + m n (c + n) - (h + m) n (c + n),
16 n (c + n) + n^2 (c + n) - n (16 + n) (c + n),
25 n (c + n) + n^2 (c + n) - n (25 + n) (c + n), -c n (53 + n) -
n^2 (53 + n) + n (53 + n) (c + n),
68 n (c + n) + n^2 (c + n) - n (68 + n) (c + n), -c n (68 + n) -
n^2 (68 + n) + n (68 + n) (c + n), -c n (77 + n) - n^2 (77 + n) +
n (77 + n) (c + n),
d h - d (-d - m) + d m -
d (h + m) + (d + m) (7 + a + c + n) - (d + m) (7 + a + c + d + n),
d h - d (-d - m) + d m -
d (h + m) + (d + m) (31 + a + c + n) - (d + m) (31 + a + c + d +
n), -64 -
n + (-1 + a + c + d) (64 + n) - (-64 - n) (64 + n) - (64 +
n) (62 + a + c + d + n),
c + n - (2 + a + h) (c + n) + (-c - n) (c + n) + (c + n) (1 + a +
c + h + n), -d h + h (-h - m) - h m +
h (d + m) - (h + m) (4 + a + c + n) + (h + m) (4 + a + c + h +
n), -d h + h (-h - m) - h m +
h (d + m) - (h + m) (19 + a + c + n) + (h + m) (19 + a + c + h +
n), (h + m) (-2 + a + c + d + h + m) (-1 + a + c + d + h + m +
n) - (1 + n) (-1 + a + c + d + n) (-1 + a + c + d + h + m +
n) - (-2 + a + c + d + h + m) (-1 + a + c + d + h + m +
n)^2 + (-1 + a + c + d + n) (-1 + a + c + d + h + m +
n)^2, -(d + m) (-1 + a + d + h + m) (-1 + a + c + d + h + m +
n) + (c + n) (-1 + a + c + h + n) (-1 + a + c + d + h + m +
n) + (-1 + a + d + h + m) (-1 + a + c + d + h + m +
n)^2 - (-1 + a + c + h + n) (-1 + a + c + d + h + m +
n)^2, -d (-d - m) + d m + m (a + c + n) - m (a + c + d + n) +
d (a + c + h + n) -
d (a + c + d + h + m + n), -(-d - m) (d + m) + (d + m) (a + c +
h + n) - (d + m) (a + c + d + h + m + n),
m (d + m) (-2 + a + c + d + h + m) - (d + m)^2 (-2 + a + c + d +
h + m) - d (d + m) (2 + n) +
d (d + m) (a + c + d + h + m + n), -(1 + a + d + h + m) (c +
n) + (-c - n) (c + n) + (c + n) (1 + a + c + d + h + m + n),
c h (c + n) + c m (c + n) +
d (c + n)^2 + (c + n)^2 (2 + a + c + n) -
n (c + n) (2 + a + c + d + n) -
c (c + n) (2 + a + c + d + h + m + n),
c (h + m) (c + n) -
n (c + n) (2 + a + c + d + n) + (c + n)^2 (2 + a + c + d + n) -
c (c + n) (2 + a + c + d + h + m + n), -(c + n)^2 + (3 + a +
h) (c + n)^2 + (d + m) (c + n)^2 + (c +
n)^3 - (c + n)^2 (2 + a + c + d + h + m + n), (2 + a + d + h +
m) (c + n)^2 + (c +
n)^3 - (c + n)^2 (2 + a + c + d + h + m + n), (d + m) (c +
n)^2 + (c + n)^2 (2 + a + c + h + n) - (c + n)^2 (2 + a + c +
d + h + m + n),
5 (-2 + a + c + d + h + m) - 5 (-5 - n) +
5 n + (-2 + a + d + h + m) n - (3 + a + d + h + m) n -
5 (3 + a + c + d + h + m + n), (-2 + a + c + d + h + m) (5 +
n) - (-5 - n) (5 + n) - (5 + n) (3 + a + c + d + h + m +
n), -5 (d + m) (5 + n) +
n (5 + n) (3 + a + c + h + n) - (5 + n)^2 (3 + a + c + h + n) +
5 (5 + n) (3 + a + c + d + h + m + n), (-h - m) (h + m) - (h +
m) (4 + a + c + d + n) + (h + m) (4 + a + c + d + h + m + n),
c h (h + m) + 7 (h + m)^2 + (h + m)^2 (-2 + a + d + h + m) -
m (h + m) (5 + a + d + h + m) + h (h + m) n -
h (h + m) (5 + a + c + d + h + m + n), -m (h + m) (5 + a + d + h +
m) + (h + m)^2 (5 + a + d + h + m) + h (h + m) (c + n) -
h (h + m) (5 + a + c + d + h + m + n), -(h + m)^2 + (-1 + a + c +
d) (h + m)^2 + (h +
m)^3 + (h + m)^2 (7 + n) - (h + m)^2 (5 + a + c + d + h + m +
n), (h + m)^2 (-2 + a + c + d + h + m) + (h + m)^2 (7 +
n) - (h + m)^2 (5 + a + c + d + h + m + n), (h +
m)^3 + (h + m)^2 (5 + a + c + d + n) - (h + m)^2 (5 + a + c +
d + h + m + n), -d (-d - m) + d m + m (6 + a + c + n) -
m (6 + a + c + d + n) + d (6 + a + c + h + n) -
d (6 + a + c + d + h + m + n), -(-d - m) (d + m) + (d + m) (6 +
a + c + h + n) - (d + m) (6 + a + c + d + h + m + n), -8 d (d +
m) - c (d + m)^2 - (d + m)^2 (-2 + a + d + h + m) +
m (d + m) (-2 + a + c + d + h + m) - d (d + m) n +
d (d + m) (6 + a + c + d + h + m + n),
m (d + m) (-2 + a + c + d + h + m) - (d + m)^2 (-2 + a + c + d +
h + m) - d (d + m) (8 + n) +
d (d + m) (6 + a + c + d + h + m + n), -(d + m)^2 (6 + a + d + h +
m) - (d + m)^2 (c + n) + (d + m)^2 (6 + a + c + d + h + m +
n), -(d + m)^3 - (d + m)^2 (6 + a + c + h + n) + (d + m)^2 (6 +
a + c + d + h + m + n), -(-d - m) (d + m) + (d + m) (7 + a +
c + h + n) - (d + m) (7 + a + c + d + h + m +
n), -(7 + a + d + h + m) (c + n) + (-c - n) (c + n) + (c +
n) (7 + a + c + d + h + m + n), -c (8 + a + d + h + m) +
c (-c - n) -
c n - (-2 + a + d + h + m) n + (-2 + a + c + d + h + m) n +
c (8 + a + c + d + h + m + n), -(8 + a + d + h + m) (c +
n) + (-c - n) (c + n) + (c + n) (8 + a + c + d + h + m + n),
c h (c + n) + c m (c + n) +
d (c + n)^2 + (c + n)^2 (8 + a + c + n) -
n (c + n) (8 + a + c + d + n) -
c (c + n) (8 + a + c + d + h + m + n),
c (h + m) (c + n) -
n (c + n) (8 + a + c + d + n) + (c + n)^2 (8 + a + c + d + n) -
c (c + n) (8 + a + c + d + h + m + n), (8 + a + d + h + m) (c +
n)^2 + (c +
n)^3 - (c + n)^2 (8 + a + c + d + h + m + n), (d + m) (c +
n)^2 + (c + n)^2 (8 + a + c + h + n) - (c + n)^2 (8 + a + c +
d + h + m + n),
20 (-2 + a + c + d + h + m) - 20 (-20 - n) +
20 n + (-2 + a + d + h + m) n - (18 + a + d + h + m) n -
20 (18 + a + c + d + h + m + n), (-2 + a + c + d + h + m) (20 +
n) - (-20 - n) (20 + n) - (20 + n) (18 + a + c + d + h + m +
n), -20 d (20 + n) - 20 m (20 + n) -
h (20 + n)^2 - (20 + n)^2 (18 + a + c + n) +
n (20 + n) (18 + a + c + h + n) +
20 (20 + n) (18 + a + c + d + h + m + n), -20 (d + m) (20 + n) +
n (20 + n) (18 + a + c + h + n) - (20 + n)^2 (18 + a + c + h +
n) + 20 (20 + n) (18 + a + c + d + h + m +
n), -(-2 + a + c + d + h + m) (20 + n)^2 - (20 +
n)^3 + (20 + n)^2 (18 + a + c + d + h + m + n), -(h + m) (20 +
n)^2 - (20 + n)^2 (18 + a + c + d + n) + (20 + n)^2 (18 + a +
c + d + h + m + n), (-h - m) (h + m) - (h + m) (19 + a + c +
d + n) + (h + m) (19 + a + c + d + h + m + n), (-2 + a + c +
d + h + m) (21 + n) - (-21 - n) (21 + n) - (21 + n) (19 + a +
c + d + h + m + n),
h (-h - m) - h m - m (20 + a + c + n) - h (20 + a + c + d + n) +
m (20 + a + c + h + n) +
h (20 + a + c + d + h + m + n), (-h - m) (h + m) - (h + m) (20 +
a + c + d + n) + (h + m) (20 + a + c + d + h + m + n),
c h (h + m) + 22 (h + m)^2 + (h + m)^2 (-2 + a + d + h + m) -
m (h + m) (20 + a + d + h + m) + h (h + m) n -
h (h + m) (20 + a + c + d + h + m + n), -m (h + m) (20 + a + d +
h + m) + (h + m)^2 (20 + a + d + h + m) + h (h + m) (c + n) -
h (h + m) (20 + a + c + d + h + m + n), (h + m)^2 (-2 + a + c +
d + h + m) + (h + m)^2 (22 + n) - (h + m)^2 (20 + a + c + d +
h + m + n), (h +
m)^3 + (h + m)^2 (20 + a + c + d + n) - (h + m)^2 (20 + a + c +
d + h + m + n), -32 d (d + m) -
c (d + m)^2 - (d + m)^2 (-2 + a + d + h + m) +
m (d + m) (-2 + a + c + d + h + m) - d (d + m) n +
d (d + m) (30 + a + c + d + h + m + n),
m (d + m) (-2 + a + c + d + h + m) - (d + m)^2 (-2 + a + c + d +
h + m) - d (d + m) (32 + n) +
d (d + m) (30 + a + c + d + h + m + n), (d +
m)^2 - (31 + a + h) (d + m)^2 - (d +
m)^3 - (d + m)^2 (c + n) + (d + m)^2 (30 + a + c + d + h + m +
n), -(d + m)^2 (30 + a + d + h + m) - (d + m)^2 (c + n) + (d +
m)^2 (30 + a + c + d + h + m + n), -(d + m)^3 - (d + m)^2 (30 +
a + c + h + n) + (d + m)^2 (30 + a + c + d + h + m +
n), -(-d - m) (d + m) + (d + m) (31 + a + c + h + n) - (d +
m) (31 + a + c + d + h + m + n), -c (32 + a + d + h + m) +
c (-c - n) -
c n - (-2 + a + d + h + m) n + (-2 + a + c + d + h + m) n +
c (32 + a + c + d + h + m + n), -(32 + a + d + h + m) (c +
n) + (-c - n) (c + n) + (c + n) (32 + a + c + d + h + m + n),
c (h + m) (c + n) -
n (c + n) (32 + a + c + d + n) + (c + n)^2 (32 + a + c + d + n) -
c (c + n) (32 + a + c + d + h + m + n), -63 d (63 + n) -
63 m (63 + n) - h (63 + n)^2 - (63 + n)^2 (61 + a + c + n) +
n (63 + n) (61 + a + c + h + n) +
63 (63 + n) (61 + a + c + d + h + m + n), -63 (d + m) (63 + n) +
n (63 + n) (61 + a + c + h + n) - (63 + n)^2 (61 + a + c + h +
n) + 63 (63 + n) (61 + a + c + d + h + m + n), (63 +
n)^2 - (-1 + a + c + d) (63 + n)^2 - (h + m) (63 + n)^2 - (63 +
n)^3 + (63 + n)^2 (61 + a + c + d + h + m +
n), -(-2 + a + c + d + h + m) (63 + n)^2 - (63 +
n)^3 + (63 + n)^2 (61 + a + c + d + h + m + n), -(h + m) (63 +
n)^2 - (63 + n)^2 (61 + a + c + d + n) + (63 + n)^2 (61 + a +
c + d + h + m + n), (-2 + a + c + d + h + m) (64 + n) - (-64 -
n) (64 + n) - (64 + n) (62 + a + c + d + h + m + n),
h (-h - m) - h m - m (63 + a + c + n) - h (63 + a + c + d + n) +
m (63 + a + c + h + n) +
h (63 + a + c + d + h + m + n), (-h - m) (h + m) - (h + m) (63 +
a + c + d + n) + (h + m) (63 + a + c + d + h + m + n), -m (h +
m) (63 + a + d + h + m) + (h + m)^2 (63 + a + d + h + m) +
h (h + m) (c + n) -
h (h + m) (63 + a + c + d + h + m + n), -(d + m) n (38 + n) +
n (38 (d + m) + (d + m) n), -(d + m) n (51 + n) +
n (51 (d + m) + (d + m) n), -(d + m) n (75 + n) +
n (75 (d + m) + (d + m) n), (h + m) n (c + n) -
n (c (h + m) + (h + m) n), (h + m) (6 + n) (4 + a + c + d + h +
m + n) - (6 +
n) ((h + m) (-2 + a + c + d + h + m) + (h + m) (6 + n)), (h +
m) (21 + n) (19 + a + c + d + h + m + n) - (21 +
n) ((h + m) (-2 + a + c + d + h + m) + (h + m) (21 +
n)), -m (d + m) (52 + n) +
m (d (52 + n) + m (52 + n)), -m (d + m) (67 + n) +
m (d (67 + n) + m (67 + n)), -m (d + m) (76 + n) +
m (d (76 + n) + m (76 + n)), -(h + m) (4 + a + d + h + m) n -
6 (h + m) (4 + a + c + d + h + m + n) + (h +
m) ((4 + a + d + h + m) (6 + n) +
6 (c + n)), -(6 (h + m) + (h + m) (-2 + a + d + h + m)) n -
6 ((h + m) (-2 + a + c + d + h + m) + (h + m) (6 + n)) + (h +
m) ((4 + a + d + h + m) (6 + n) + 6 (c + n)), -(h + m) (19 +
a + d + h + m) n -
21 (h + m) (19 + a + c + d + h + m + n) + (h +
m) ((19 + a + d + h + m) (21 + n) +
21 (c + n)), -(21 (h + m) + (h + m) (-2 + a + d + h + m)) n -
21 ((h + m) (-2 + a + c + d + h + m) + (h + m) (21 + n)) + (h +
m) ((19 + a + d + h + m) (21 + n) + 21 (c + n)), -(h + m) (62 +
a + d + h + m) n -
64 (h + m) (62 + a + c + d + h + m + n) + (h +
m) ((62 + a + d + h + m) (64 + n) + 64 (c + n)),
m (h + m) (c + n) -
m (h (c + n) + m (c + n)), -(d + m) (c + n) (7 + a + c + d + h +
m + n) + (c +
n) ((d + m) (7 + a + d + h + m) + (d + m) (c + n)), -(d +
m) (c + n) (31 + a + c + d + h + m + n) + (c +
n) ((d + m) (31 + a + d + h + m) + (d + m) (c + n)), (d +
m) (-2 + a + c + d + h + m) n +
c (d + m) (1 + a + c + d + h + m + n) - (d +
m) (c (3 + n) + (-2 + a + c + d + h + m) (c + n)), (d +
m) (-2 + a + c + d + h + m) n +
c (d + m) (7 + a + c + d + h + m + n) - (d +
m) (c (9 + n) + (-2 + a + c + d + h + m) (c + n)), (c (d +
m) + (d + m) (-2 + a + d + h + m)) n +
c ((d + m) (7 + a + d + h + m) + (d + m) (c + n)) - (d +
m) (c (9 + n) + (-2 + a + c + d + h + m) (c + n)), (d +
m) (-2 + a + c + d + h + m) n +
c (d + m) (31 + a + c + d + h + m + n) - (d +
m) (c (33 + n) + (-2 + a + c + d + h + m) (c + n)), (c (d +
m) + (d + m) (-2 + a + d + h + m)) n +
c ((d + m) (31 + a + d + h + m) + (d + m) (c + n)) - (d +
m) (c (33 + n) + (-2 + a + c + d + h + m) (c + n)), (-d + (-1 +
a + c + d) (d + m) + d (h + m)) n -
m (-c + c (3 + n) + (-1 + a + c + d) (c + n)) -
d (c (3 + n) + (-2 + a + c + d + h + m) (c + n)) +
c (d (h + m) + (d + m) (1 + a + c + d + n)), -m (c + n) (1 + a +
c + d + n) -
d (c + n) (1 + a + c + d + h + m + n) + (c +
n) (d (h + m) + (d + m) (1 + a + c + d + n)), (-d + (-1 + a +
c + d) (d + m) + d (h + m)) n -
m (-c + c (9 + n) + (-1 + a + c + d) (c + n)) -
d (c (9 + n) + (-2 + a + c + d + h + m) (c + n)) +
c (d (h + m) + (d + m) (7 + a + c + d + n)), -m (c + n) (7 + a +
c + d + n) -
d (c + n) (7 + a + c + d + h + m + n) + (c +
n) (d (h + m) + (d + m) (7 + a + c + d + n)), -(h + m) (21 +
n) (19 + a + c + d + h + m + n) + (h +
m) ((h + m) (21 + n) + (21 + n) (19 + a + c + d + n)), -(21 +
n) ((h + m) (-2 + a + c + d + h + m) + (h + m) (21 +
n)) + (h +
m) ((h + m) (21 + n) + (21 + n) (19 + a + c + d +
n)), (-d + (-1 + a + c + d) (d + m) + d (h + m)) n -
m (-c + c (33 + n) + (-1 + a + c + d) (c + n)) -
d (c (33 + n) + (-2 + a + c + d + h + m) (c + n)) +
c (d (h + m) + (d + m) (31 + a + c + d + n)), -m (c + n) (31 + a +
c + d + n) -
d (c + n) (31 + a + c + d + h + m + n) + (c +
n) (d (h + m) + (d + m) (31 + a + c + d + n)), -(h + m) (64 +
n) (62 + a + c + d + h + m + n) + (h +
m) ((h + m) (64 + n) + (64 + n) (62 + a + c + d +
n)), -m (d (c + n) + (c + n) (1 + a + c + n)) + (c +
n) (d (h + m) + (d + m) (1 + a + c + d + n)) -
d ((d + m) (c + n) + (c + n) (1 + a + c + h + n)), (d + m) (c +
n) (1 + a + c + d + h + m + n) - (d +
m) ((d + m) (c + n) + (c + n) (1 + a + c + h + n)), -(-h +
h (d + m) + (5 + a + h) (h + m)) n +
m (-6 + (5 + a + h) (6 + n) + 6 (c + n)) +
h ((4 + a + d + h + m) (6 + n) + 6 (c + n)) -
6 (h (d + m) + (h + m) (4 + a + c + h + n)),
m (6 + n) (4 + a + c + h + n) +
h (6 + n) (4 + a + c + d + h + m + n) - (6 +
n) (h (d + m) + (h + m) (4 + a + c + h + n)), -m (d (c +
n) + (c + n) (7 + a + c + n)) + (c +
n) (d (h + m) + (d + m) (7 + a + c + d + n)) -
d ((d + m) (c + n) + (c + n) (7 + a + c + h + n)), (d + m) (c +
n) (7 + a + c + d + h + m + n) - (d +
m) ((d + m) (c + n) + (c + n) (7 + a + c + h + n)), (c +
n) ((d + m) (7 + a + d + h + m) + (d + m) (c + n)) - (d +
m) ((d + m) (c + n) + (c + n) (7 + a + c + h + n)), -(-h +
h (d + m) + (20 + a + h) (h + m)) n +
m (-21 + (20 + a + h) (21 + n) + 21 (c + n)) +
h ((19 + a + d + h + m) (21 + n) + 21 (c + n)) -
21 (h (d + m) + (h + m) (19 + a + c + h + n)),
m (21 + n) (19 + a + c + h + n) +
h (21 + n) (19 + a + c + d + h + m + n) - (21 +
n) (h (d + m) + (h + m) (19 + a + c + h + n)),
m (h (21 + n) + (21 + n) (19 + a + c + n)) +
h ((h + m) (21 + n) + (21 + n) (19 + a + c + d + n)) - (21 +
n) (h (d + m) + (h + m) (19 + a + c + h + n)), -(-h +
h (d + m) + (63 + a + h) (h + m)) n +
m (-64 + (63 + a + h) (64 + n) + 64 (c + n)) +
h ((62 + a + d + h + m) (64 + n) + 64 (c + n)) -
64 (h (d + m) + (h + m) (62 + a + c + h + n)),
m (64 + n) (62 + a + c + h + n) +
h (64 + n) (62 + a + c + d + h + m + n) - (64 +
n) (h (d + m) + (h + m) (62 + a + c + h + n)),
m (h (64 + n) + (64 + n) (62 + a + c + n)) +
h ((h + m) (64 + n) + (64 + n) (62 + a + c + d + n)) - (64 +
n) (h (d + m) + (h + m) (62 + a + c + h + n)), -(-1 + a + d +
h + m)^2 +
2 (-1 + a + d + h + m) (-1 + a + c + d + h + m + n) - (d +
m) (-1 + a + d + h + m) (-1 + a + c + d + h + m + n) - (-1 +
a + d + h + m) (c + n) (-1 + a + c + d + h + m + n) - (a +
h) (-1 + a + c + d + h + m + n)^2 + (c +
n) ((a + h) (c + n) + (-1 + a + d + h + m) (-1 + a + c + h +
n)) + (-1 + a + d + h +
m) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)), -(-1 + a + d + h + m) n (-1 + a +
c + d + n) -
c (-1 + a + d + h + m) (-1 + a + c + d + h + m + n) - (-1 + a +
c + d + n) (-1 + a + c + d + h + m + n) - (-2 + a + d + h +
m) (-1 + a + c + d + h + m + n)^2 + (h +
m) ((-1 + a + d + h + m) (-2 + a + c + d + h + m) + (-2 + a +
d + h + m) (c + n)) + (-1 + a + c + d +
n) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)), -(-1 + a + d + h + m) (c + n) (-1 +
a + c + d + h + m + n) - (-1 + a + d + h + m) (-1 + a + c +
d + h + m + n)^2 + (-1 + a + c + d + h + m +
n) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)),
c + c (-1 + a + d + h + m) - (-2 + a + d + h + m) (-1 + a + d + h +
m) + (-1 + a + d + h + m) (-2 + a + c + d + h + m) + (-2 + a +
d + h + m) (1 + n) +
2 (-2 + a + d + h + m) (-1 + a + c + d + h + m + n) - (d +
m) ((-1 + a + d + h + m) (-2 + a + c + d + h + m) + (-2 + a +
d + h + m) (1 + n)) +
n (c (a + h) + (-2 + a + d + h + m) (-1 + a + c + h + n)) +
c ((a + h) (c + n) + (-1 + a + d + h + m) (-1 + a + c + h +
n)) - (c + n) (-2 + a + c + d + h +
m + (-2 + a + d + h + m) (-1 + a + c + d + h + m + n)) + (-2 +
a + d + h +
m) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)) - (a +
h) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)),
c (-2 + a + d + h + m) -
c (-1 + a + d + h + m) + (-2 + a + d + h + m) (-2 + a + c + d +
h + m) - (-1 + a + d + h + m) (-2 + a + c + d + h + m) - (-1 +
a + c + d) (1 + n) - (-2 + a + d + h + m) (c + n) - (-2 + a +
c + d + h + m) (-1 + a + c + d + n) - (-2 + a + d + h +
m) (-1 + a + c + d + h + m + n) + (h +
m) ((-1 + a + d + h + m) (-2 + a + c + d + h + m) + (-2 + a +
d + h + m) (c + n)) -
n (-1 + a + c + d + (-2 + a + d + h + m) (-1 + a + c + d + n)) -
c (-2 + a + c + d + h +
m + (-2 + a + d + h + m) (-1 + a + c + d + h + m + n)) + (1 +
n) (c (-1 + a + d + h + m) + (-2 + a + d + h + m) (-1 + a + c +
d + h + m + n)) + (-1 + a + c +
d) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)) - (-2 + a + d + h +
m) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)), -(c + n) (-2 + a + c + d +
h + m + (-2 + a + d + h + m) (-1 + a + c + d + h + m +
n)) + (1 +
n) (c (-1 + a + d + h + m) + (-2 + a + d + h + m) (-1 + a + c +
d + h + m + n)) + (-2 + a + c + d + h +
m) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)) - (-1 + a + d + h +
m) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)), (-2 + a + c + d + h +
m)^2 - 2 (-2 + a + c + d + h + m) (-1 + a + c + d + h + m +
n) + (h + m) (-2 + a + c + d + h + m) (-1 + a + c + d + h + m +
n) + (-2 + a + c + d + h + m) (1 + n) (-1 + a + c + d + h +
m + n) + (-1 + a + c + d) (-1 + a + c + d + h + m + n)^2 - (1 +
n) ((-1 + a + c + d) (1 + n) + (-2 + a + c + d + h + m) (-1 +
a + c + d + n)) - (-2 + a + c + d + h +
m) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)), (-2 + a + c + d + h +
m) n (-1 + a + c + h + n) + (-2 + a + c + d + h + m) (-1 + a +
c + d + h + m + n) +
c (-1 + a + c + h + n) (-1 + a + c + d + h + m + n) + (-2 + a +
d + h + m) (-1 + a + c + d + h + m + n)^2 - (d +
m) ((-1 + a + d + h + m) (-2 + a + c + d + h + m) + (-2 + a +
d + h + m) (1 + n)) - (-1 + a + c + h +
n) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)), (-2 + a + c + d + h +
m) (1 + n) (-1 + a + c + d + h + m + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)^2 - (-1 + a + c + d + h + m +
n) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)),
1 - h - m + (-1 + a + c + d) (-2 + a + c + d + h + m) +
n + (-2 + a + c + d + h + m) (1 + n) - (-1 + a + c + d) (-1 + a +
c + d + n) - (h + m) (-1 + a + c + d + n) + (h +
m) ((-1 + a + c + d) (h + m) + (-2 + a + c + d + h + m) (-1 +
a + c + d + n)) - (1 +
n) ((-1 + a + c + d) (1 + n) + (-2 + a + c + d + h + m) (-1 +
a + c + d + n)) - (h + m) (2 - a - c - d - h -
m + (-2 + a + c + d + h + m) (1 + n) + (-1 + a + c + d) (-1 +
a + c + d + h + m + n)) + (1 + n) (1 - a - c - d -
n + (h + m) (-1 + a + c + d + n) + (-1 + a + c + d) (-1 + a +
c + d + h + m + n)) - (-1 + a + c +
d) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)) + (-1 + a + c +
d) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)),
1 - a - c - d -
n + (h + m) (-1 + a + c + d + n) + (-1 + a + c + d) (-1 + a + c +
d + h + m + n) -
m (2 - a - d - h -
m + (-1 + a + c + d) (-1 + a + d + h + m) + (-2 + a + d + h +
m) (1 + n)) -
d ((-1 + a + d + h + m) (-2 + a + c + d + h + m) + (-2 + a + d +
h + m) (1 + n)) +
n (1 - a - c -
n + (h + m) (-1 + a + c + n) + (-1 + a + c + d) (-1 + a + c +
h + n)) +
c ((h + m) (-1 + a + c + n) + (-1 + a + c + d + n) (-1 + a + c +
h + n)) -
h (2 - a - c - d - h -
m + (-2 + a + c + d + h + m) (1 + n) + (-1 + a + c + d) (-1 +
a + c + d + h + m + n)) - (-1 + a + c +
n) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)) + (-2 + a + d + h +
m) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)), -m (-1 + a + d + h + m) (-1 + a +
c + d + n) -
d (-1 + a + d + h + m) (-1 + a + c + d + h + m + n) -
h (-1 + a + c + d + n) (-1 + a + c + d + h + m + n) - (-1 + a +
c + n) (-1 + a + c + d + h + m + n)^2 + (c +
n) ((h + m) (-1 + a + c + n) + (-1 + a + c + d + n) (-1 + a +
c + h + n)) + (-1 + a + d + h +
m) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)), -(h + m) (2 - a - c - d - h -
m + (-2 + a + c + d + h + m) (1 + n) + (-1 + a + c + d) (-1 +
a + c + d + h + m + n)) + (1 + n) (1 - a - c - d -
n + (h + m) (-1 + a + c + d + n) + (-1 + a + c + d) (-1 + a +
c + d + h + m + n)) - (-1 + a + c + d +
n) ((-2 + a + c + d + h + m) (1 + n) + (-2 + a + c + d + h +
m) (-1 + a + c + d + h + m + n)) + (-2 + a + c + d + h +
m) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)), -(-1 + a + c + d + n)^2 +
2 (-1 + a + c + d + n) (-1 + a + c + d + h + m + n) - (h +
m) (-1 + a + c + d + n) (-1 + a + c + d + h + m + n) - (1 +
n) (-1 + a + c + d + n) (-1 + a + c + d + h + m + n) - (-1 +
a + c + d) (-1 + a + c + d + h + m + n)^2 + (h +
m) ((-1 + a + c + d) (h + m) + (-2 + a + c + d + h + m) (-1 +
a + c + d + n)) + (-1 + a + c + d +
n) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)), -(h + m) (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n) - (-1 + a + c + d + n) (-1 + a + c +
d + h + m + n)^2 + (-1 + a + c + d + h + m +
n) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)), -d (-1 + a + c + n) + (d + m) (-1 +
a + c + n) - (-1 + a + c + n) (-1 + a + c + d + n) +
d (-1 + a + c + h + n) + (-1 + a + c + d + n) (-1 + a + c + h +
n) + (-1 + a + c + n) (-1 + a + c + d + h + m + n) +
m ((-1 + a + c + d) h + (-2 + a + c + d + h + m) (-1 + a + c +
n)) +
h ((-1 + a + c + d) (h + m) + (-2 + a + c + d + h + m) (-1 + a +
c + d + n)) - (1 +
n) ((d + m) (-1 + a + c + n) + (-1 + a + c + d + n) (-1 + a +
c + h + n)) +
d (h (-1 + a + c + d + n) + (-1 + a + c + n) (-1 + a + c + d + h +
m + n)) - (h +
m) (d (-1 + a + c + h + n) + (-1 + a + c + n) (-1 + a + c + d +
h + m + n)) + (-1 + a + c +
n) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)) - (-1 + a + c +
d) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)), -c + d +
m - (a + h) (-1 + a + d + h + m) -
n - (-1 + a + d + h + m) (c + n) + (a + h) (-1 + a + c + h +
n) + (d + m) (-1 + a + c + h + n) - (d +
m) ((a + h) (d + m) + (-1 + a + d + h + m) (-1 + a + c + h +
n)) + (c +
n) ((a + h) (c + n) + (-1 + a + d + h + m) (-1 + a + c + h +
n)) + (d + m) (1 - a - d - h -
m + (-1 + a + d + h + m) (c + n) + (a + h) (-1 + a + c + d +
h + m + n)) - (c + n) (1 - a - c - h -
n + (d + m) (-1 + a + c + h + n) + (a + h) (-1 + a + c + d +
h + m + n)) + (a +
h) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)) - (a +
h) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)), -(d + m) (-1 + a + c + n) - (-1 +
a + c + d + n) (-1 + a + c + h + n) +
m (2 - a - d - h -
m + (a + h) (-2 + a + c + d + h + m) + (-2 + a + d + h +
m) (c + n)) +
h ((-1 + a + d + h + m) (-2 + a + c + d + h + m) + (-2 + a + d +
h + m) (c + n)) -
n (1 - a - c -
n + (d + m) (-1 + a + c + n) + (a + h) (-1 + a + c + d + n)) +
d (1 - a - d - h -
m + (-1 + a + d + h + m) (c + n) + (a + h) (-1 + a + c + d +
h + m + n)) -
c (1 - a - c - h -
n + (d + m) (-1 + a + c + h + n) + (a + h) (-1 + a + c + d +
h + m + n)) + (-1 + a + c +
n) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)) - (-2 + a + d + h +
m) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)), (d + m) (1 - a - d - h -
m + (-1 + a + d + h + m) (c + n) + (a + h) (-1 + a + c + d +
h + m + n)) - (c + n) (1 - a - c - h -
n + (d + m) (-1 + a + c + h + n) + (a + h) (-1 + a + c + d +
h + m + n)) + (-1 + a + c + h +
n) ((-1 + a + d + h + m) (c + n) + (-1 + a + d + h + m) (-1 +
a + c + d + h + m + n)) - (-1 + a + d + h +
m) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)),
m (-2 + a + c + d + h + m) (-1 + a + c + h + n) +
h (-2 + a + c + d + h + m) (-1 + a + c + d + h + m + n) +
d (-1 + a + c + h + n) (-1 + a + c + d + h + m + n) + (-1 + a +
c + n) (-1 + a + c + d + h + m + n)^2 - (1 +
n) ((d + m) (-1 + a + c + n) + (-1 + a + c + d + n) (-1 + a +
c + h + n)) - (-2 + a + c + d + h +
m) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)),
h (-1 + a + c + n) - (h + m) (-1 + a + c + n) -
h (-1 + a + c + d + n) + (-1 + a + c + n) (-1 + a + c + h +
n) - (-1 + a + c + d + n) (-1 + a + c + h + n) - (-1 + a + c +
n) (-1 + a + c + d + h + m + n) -
m (d (a + h) + (-1 + a + d + h + m) (-1 + a + c + n)) -
d ((a + h) (d + m) + (-1 + a + d + h + m) (-1 + a + c + h +
n)) + (c +
n) ((h + m) (-1 + a + c + n) + (-1 + a + c + d + n) (-1 + a +
c + h + n)) + (d +
m) (h (-1 + a + c + d + n) + (-1 + a + c + n) (-1 + a + c + d +
h + m + n)) -
h (d (-1 + a + c + h + n) + (-1 + a + c + n) (-1 + a + c + d + h +
m + n)) + (a +
h) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)) - (-1 + a + c +
n) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)), (d +
m) (h (-1 + a + c + d + n) + (-1 + a + c + n) (-1 + a + c + d +
h + m + n)) - (h +
m) (d (-1 + a + c + h + n) + (-1 + a + c + n) (-1 + a + c + d +
h + m + n)) + (-1 + a + c + h +
n) ((h + m) (-1 + a + c + d + n) + (-1 + a + c + d + n) (-1 +
a + c + d + h + m + n)) - (-1 + a + c + d +
n) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)), (-1 + a + c + h + n)^2 -
2 (-1 + a + c + h + n) (-1 + a + c + d + h + m + n) + (d +
m) (-1 + a + c + h + n) (-1 + a + c + d + h + m + n) + (c +
n) (-1 + a + c + h + n) (-1 + a + c + d + h + m + n) + (a +
h) (-1 + a + c + d + h + m + n)^2 - (d +
m) ((a + h) (d + m) + (-1 + a + d + h + m) (-1 + a + c + h +
n)) - (-1 + a + c + h +
n) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)), (d + m) (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n) + (-1 + a + c + h + n) (-1 + a + c + d +
h + m + n)^2 - (-1 + a + c + d + h + m +
n) ((d + m) (-1 + a + c + h + n) + (-1 + a + c + h + n) (-1 +
a + c + d + h + m + n)), -d^2 +
2 d (d + m) - (-1 + a + c + d) (d + m)^2 - d (d + m) (h + m) +
m ((-1 + a + c + d) m + d (-2 + a + c + d + h + m)) -
d (d + m) (2 + n) +
d (m (a + c + d + n) + d (a + c + d + h + m + n)), -d (d + m) (h +
m) - (d + m)^2 (a + c + d + n) + (d + m) (m (a + c + d + n) +
d (a + c + d + h + m + n)),
c^2 - 2 c (c + n) + c (h + m) (c + n) +
c (4 + n) (c + n) + (-1 + a + c + d) (c + n)^2 -
n ((-1 + a + c + d) n + c (2 + a + c + d + n)) -
c ((-2 + a + c + d + h + m) n + c (2 + a + c + d + h + m + n)),
4 c (c + n) + c n (c + n) +
c (c + n)^2 + (-2 + a + d + h + m) (c + n)^2 - (c +
n) ((-2 + a + c + d + h + m) n +
c (2 + a + c + d + h + m + n)),
c (4 + n) (c + n) + (-2 + a + c + d + h + m) (c + n)^2 - (c +
n) ((-2 + a + c + d + h + m) n +
c (2 + a + c + d + h + m + n)), -25 + 10 (5 + n) -
5 (d + m) (5 + n) - (4 + a + h) (5 + n)^2 - 5 (5 + n) (c + n) +
n ((4 + a + h) n + 5 (3 + a + c + h + n)) +
5 ((3 + a + d + h + m) n +
5 (3 + a + c + d + h + m + n)), -(3 + a + d + h + m) (5 +
n)^2 -
5 (5 + n) (c + n) + (5 + n) ((3 + a + d + h + m) n +
5 (3 + a + c + d + h + m + n)),
h^2 - 2 h (h + m) + h (d + m) (h + m) + (6 + a + h) (h + m)^2 -
m ((6 + a + h) m + h (5 + a + d + h + m)) + h (h + m) (c + n) -
h (m (5 + a + c + h + n) + h (5 + a + c + d + h + m + n)),
d h (h + m) + h m (h + m) +
h (h + m)^2 + (h + m)^2 (5 + a + c + n) - (h +
m) (m (5 + a + c + h + n) + h (5 + a + c + d + h + m + n)),
h (d + m) (h + m) + (h + m)^2 (5 + a + c + h + n) - (h +
m) (m (5 + a + c + h + n) +
h (5 + a + c + d + h + m + n)), -d^2 +
2 d (d + m) - (-1 + a + c + d) (d + m)^2 - d (d + m) (h + m) +
m ((-1 + a + c + d) m + d (-2 + a + c + d + h + m)) -
d (d + m) (8 + n) +
d (m (6 + a + c + d + n) +
d (6 + a + c + d + h + m + n)), -d h (d + m) - d m (d + m) -
d (d + m)^2 - (d + m)^2 (6 + a + c + n) + (d +
m) (m (6 + a + c + d + n) +
d (6 + a + c + d + h + m + n)), -d (d + m) (h + m) - (d +
m)^2 (6 + a + c + d + n) + (d + m) (m (6 + a + c + d + n) +
d (6 + a + c + d + h + m + n)),
c^2 - 2 c (c + n) + c (h + m) (c + n) +
c (10 + n) (c + n) + (-1 + a + c + d) (c + n)^2 -
n ((-1 + a + c + d) n + c (8 + a + c + d + n)) -
c ((-2 + a + c + d + h + m) n + c (8 + a + c + d + h + m + n)),
10 c (c + n) + c n (c + n) +
c (c + n)^2 + (-2 + a + d + h + m) (c + n)^2 - (c +
n) ((-2 + a + c + d + h + m) n +
c (8 + a + c + d + h + m + n)),
c (10 + n) (c + n) + (-2 + a + c + d + h + m) (c + n)^2 - (c +
n) ((-2 + a + c + d + h + m) n +
c (8 + a + c + d + h + m + n)), -400 + 40 (20 + n) -
20 (d + m) (20 + n) - (19 + a + h) (20 + n)^2 -
20 (20 + n) (c + n) +
n ((19 + a + h) n + 20 (18 + a + c + h + n)) +
20 ((18 + a + d + h + m) n +
20 (18 + a + c + d + h + m + n)), -20 c (20 + n) -
20 n (20 + n) -
20 (20 + n)^2 - (-2 + a + d + h + m) (20 + n)^2 + (20 +
n) ((18 + a + d + h + m) n +
20 (18 + a + c + d + h + m + n)), -(18 + a + d + h + m) (20 +
n)^2 -
20 (20 + n) (c + n) + (20 + n) ((18 + a + d + h + m) n +
20 (18 + a + c + d + h + m + n)),
h^2 - 2 h (h + m) + h (d + m) (h + m) + (21 + a + h) (h + m)^2 -
m ((21 + a + h) m + h (20 + a + d + h + m)) + h (h + m) (c + n) -
h (m (20 + a + c + h + n) + h (20 + a + c + d + h + m + n)),
d h (h + m) + h m (h + m) +
h (h + m)^2 + (h + m)^2 (20 + a + c + n) - (h +
m) (m (20 + a + c + h + n) + h (20 + a + c + d + h + m + n)),
h (d + m) (h + m) + (h + m)^2 (20 + a + c + h + n) - (h +
m) (m (20 + a + c + h + n) +
h (20 + a + c + d + h + m + n)), -d^2 +
2 d (d + m) - (-1 + a + c + d) (d + m)^2 - d (d + m) (h + m) +
m ((-1 + a + c + d) m + d (-2 + a + c + d + h + m)) -
d (d + m) (32 + n) +
d (m (30 + a + c + d + n) +
d (30 + a + c + d + h + m + n)), -d h (d + m) - d m (d + m) -
d (d + m)^2 - (d + m)^2 (30 + a + c + n) + (d +
m) (m (30 + a + c + d + n) +
d (30 + a + c + d + h + m + n)), -d (d + m) (h + m) - (d +
m)^2 (30 + a + c + d + n) + (d + m) (m (30 + a + c + d + n) +
d (30 + a + c + d + h + m + n)),
c^2 - 2 c (c + n) + c (h + m) (c + n) +
c (34 + n) (c + n) + (-1 + a + c + d) (c + n)^2 -
n ((-1 + a + c + d) n + c (32 + a + c + d + n)) -
c ((-2 + a + c + d + h + m) n + c (32 + a + c + d + h + m + n)),
c (34 + n) (c + n) + (-2 + a + c + d + h + m) (c + n)^2 - (c +
n) ((-2 + a + c + d + h + m) n +
c (32 + a + c + d + h + m + n)), -3969 + 126 (63 + n) -
63 (d + m) (63 + n) - (62 + a + h) (63 + n)^2 -
63 (63 + n) (c + n) +
n ((62 + a + h) n + 63 (61 + a + c + h + n)) +
63 ((61 + a + d + h + m) n +
63 (61 + a + c + d + h + m + n)), -63 c (63 + n) -
63 n (63 + n) -
63 (63 + n)^2 - (-2 + a + d + h + m) (63 + n)^2 + (63 +
n) ((61 + a + d + h + m) n +
63 (61 + a + c + d + h + m + n)), -(61 + a + d + h + m) (63 +
n)^2 - 63 (63 + n) (c + n) + (63 +
n) ((61 + a + d + h + m) n + 63 (61 + a + c + d + h + m + n)),
h^2 - 2 h (h + m) + h (d + m) (h + m) + (64 + a + h) (h + m)^2 -
m ((64 + a + h) m + h (63 + a + d + h + m)) + h (h + m) (c + n) -
h (m (63 + a + c + h + n) + h (63 + a + c + d + h + m + n)),
h (d + m) (h + m) + (h + m)^2 (63 + a + c + h + n) - (h +
m) (m (63 + a + c + h + n) + h (63 + a + c + d + h + m + n))};
GroebnerBasis[polys, {a, b, c, d, e, f, g, h, i, j, k, l, m, n, p}]

Attachment: groebpost.nb, URL: ,

Subject (listing for 'GroebnerBasis on a large polynomial list')
Author Date Posted
GroebnerBasis on a large polynomial list Anthony 07/16/12 6:48pm
Re: GroebnerBasis on a large polynomial list Michael 07/17/12 10:01am
Next Comment >Help | Reply To Topic