Student Support Forum: 'GroebnerBasis on a large polynomial list' topicStudent Support Forum > General > "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