test/frob/bug12.multi

1 R = QQ[x1, x2, x3, x4, x5];
3  x2^20*x3*x4*x5 +
5  -x2^20*x3*x5 +
7  -x2^20*x4*x5 +
9  x2^20*x5 +
11  x2^15*x3^3*x4*x5 +
13  -x2^15*x3^3*x5 +
15  -x2^15*x3*x4*x5 +
17  x2^15*x3*x5 +
19  x2^14*x3*x4*x5^4 +
20  -x2^14*x3*x4*x5 +
21  -x2^14*x3*x5^4 +
22  x2^14*x3*x5 +
23  -x2^14*x4*x5^4 +
24  x2^14*x4*x5 +
25  x2^14*x5^4 +
26  -x2^14*x5 +
27  x2^12*x3^6*x4*x5 +
29  -x2^12*x3^6*x5 +
31  -x2^12*x3^3*x4*x5 +
33  x2^12*x3^3*x5 +
35  x2^11*x3*x4*x5^7 +
36  -x2^11*x3*x4*x5^4 +
37  -x2^11*x3*x5^7 +
38  x2^11*x3*x5^4 +
39  -x2^11*x4*x5^7 +
40  x2^11*x4*x5^4 +
41  x2^11*x5^7 +
42  -x2^11*x5^4 +
43  x2^9*x3^10*x4*x5^2 +
45  -x2^9*x3^10*x5^2 +
47  -x2^9*x3^6*x4*x5 +
49  x2^9*x3^6*x5 +
51  -x2^9*x3*x4*x5^2 +
52  x2^9*x3*x4*x5 +
53  x2^9*x3*x5^2 +
54  -x2^9*x3*x5 +
55  x2^8*x3*x4*x5^8 +
56  -x2^8*x3*x4*x5^7 +
57  -x2^8*x3*x5^8 +
58  x2^8*x3*x5^7 +
59  -x2^8*x4*x5^8 +
60  x2^8*x4*x5^7 +
61  x2^8*x5^8 +
62  -x2^8*x5^7 +
63  x2^6*x3^9*x4^3*x5^2 +
65  -x2^6*x3^9*x4*x5^2 +
67  x2^6*x3*x4^3*x5^6 +
68  -x2^6*x3*x4^3*x5^2 +
69  x2^6*x3*x4^2*x5^7 +
70  -x2^6*x3*x4^2*x5^6 +
71  -x2^6*x3*x4*x5^7 +
72  x2^6*x3*x4*x5^2 +
73  -x2^6*x4^3*x5^6 +
75  -x2^6*x4^2*x5^7 +
76  x2^6*x4^2*x5^6 +
77  x2^6*x4*x5^7 +
79  x2^3*x3^10*x4*x5^5 +
80  -x2^3*x3^10*x4*x5^2 +
81  -x2^3*x3^10*x5^5 +
82  x2^3*x3^10*x5^2 +
83  x2^3*x3^9*x4^4*x5^4 +
85  x2^3*x3^9*x4^3*x5^5 +
86  -x2^3*x3^9*x4^3*x5^4 +
87  -x2^3*x3^9*x4^3*x5^2 +
89  -x2^3*x3^9*x4*x5^5 +
90  x2^3*x3^9*x4*x5^2 +
91  x2^3*x3^8*x4^7*x5 +
93  x2^3*x3^8*x4^6*x5^2 +
94  -x2^3*x3^8*x4^6*x5 +
95  x2^3*x3^8*x4^5*x5^3 +
96  -x2^3*x3^8*x4^5*x5^2 +
97  -x2^3*x3^8*x4^4*x5^3 +
99  x2^3*x3^6*x4^4*x5^5 +
100  -x2^3*x3^6*x4^4*x5^4 +
101  -x2^3*x3^6*x4^3*x5^5 +
102  x2^3*x3^6*x4^3*x5^4 +
103  x2^3*x3^5*x4^7*x5^2 +
104  -x2^3*x3^5*x4^7*x5 +
105  x2^3*x3^5*x4^6*x5^4 +
106  -2*x2^3*x3^5*x4^6*x5^2 +
107  x2^3*x3^5*x4^6*x5 +
108  -x2^3*x3^5*x4^5*x5^3 +
109  x2^3*x3^5*x4^5*x5^2 +
110  -x2^3*x3^5*x4^4*x5^4 +
111  x2^3*x3^5*x4^4*x5^3 +
112  x2^3*x3^4*x4^9*x5 +
114  -x2^3*x3^4*x4^7*x5 +
116  x2^3*x3^2*x4^3*x5^6 +
117  -x2^3*x3^2*x4^3*x5^5 +
118  x2^3*x3^2*x4^2*x5^7 +
119  -x2^3*x3^2*x4^2*x5^6 +
120  x2^3*x3^2*x4*x5^9 +
121  -x2^3*x3^2*x4*x5^7 +
122  -x2^3*x3^2*x5^9 +
123  x2^3*x3^2*x5^5 +
124  -x2^3*x3*x4^3*x5^6 +
125  x2^3*x3*x4^3*x5^2 +
126  -x2^3*x3*x4^2*x5^7 +
127  x2^3*x3*x4^2*x5^6 +
128  -x2^3*x3*x4*x5^8 +
129  x2^3*x3*x4*x5^7 +
130  x2^3*x3*x5^8 +
131  -x2^3*x3*x5^2 +
132  -x2^3*x4^9*x5 +
134  -x2^3*x4^7*x5^2 +
135  x2^3*x4^7*x5 +
136  -x2^3*x4^6*x5^4 +
137  x2^3*x4^6*x5^2 +
138  -x2^3*x4^4*x5^5 +
139  x2^3*x4^4*x5^4 +
140  x2^3*x4^3*x5^5 +
142  -x2^3*x4*x5^9 +
143  x2^3*x4*x5^8 +
144  x2^3*x5^9 +
145  -x2^3*x5^8 +
146  -x3^10*x4*x5^5 +
148  x3^10*x5^5 +
150  -x3^9*x4^4*x5^4 +
152  -x3^9*x4^3*x5^5 +
153  x3^9*x4^3*x5^4 +
154  x3^9*x4*x5^5 +
156  -x3^8*x4^7*x5 +
158  -x3^8*x4^6*x5^2 +
159  x3^8*x4^6*x5 +
160  -x3^8*x4^5*x5^3 +
161  x3^8*x4^5*x5^2 +
162  x3^8*x4^4*x5^3 +
164  -x3^6*x4^4*x5^5 +
165  x3^6*x4^4*x5^4 +
166  x3^6*x4^3*x5^5 +
167  -x3^6*x4^3*x5^4 +
168  -x3^5*x4^7*x5^2 +
169  x3^5*x4^7*x5 +
170  -x3^5*x4^6*x5^4 +
171  2*x3^5*x4^6*x5^2 +
172  -x3^5*x4^6*x5 +
173  x3^5*x4^5*x5^3 +
174  -x3^5*x4^5*x5^2 +
175  x3^5*x4^4*x5^4 +
176  -x3^5*x4^4*x5^3 +
177  -x3^4*x4^9*x5 +
179  x3^4*x4^7*x5 +
181  -x3^2*x4^3*x5^6 +
182  x3^2*x4^3*x5^5 +
183  -x3^2*x4^2*x5^7 +
184  x3^2*x4^2*x5^6 +
185  -x3^2*x4*x5^9 +
186  x3^2*x4*x5^7 +
187  x3^2*x5^9 +
188  -x3^2*x5^5 +
189  x4^9*x5 +
191  x4^7*x5^2 +
192  -x4^7*x5 +
193  x4^6*x5^4 +
194  -x4^6*x5^2 +
195  x4^4*x5^5 +
196  -x4^4*x5^4 +
197  x4^3*x5^6 +
198  -x4^3*x5^5 +
199  x4^2*x5^7 +
200  -x4^2*x5^6 +
201  x4*x5^9 +
202  -x4*x5^7 +
203  -x5^9 +