Lines Matching refs:x5
1 R = QQ[x1, x2, x3, x4, x5, x6, x7];
3 x2^24*x3*x4*x5*x6*x7 +
4 -x2^24*x3*x4*x5*x6 +
5 -x2^24*x3*x4*x5*x7 +
6 x2^24*x3*x4*x5 +
11 -x2^24*x3*x5*x6*x7 +
12 x2^24*x3*x5*x6 +
13 x2^24*x3*x5*x7 +
14 -x2^24*x3*x5 +
19 -x2^24*x4*x5*x6*x7 +
20 x2^24*x4*x5*x6 +
21 x2^24*x4*x5*x7 +
22 -x2^24*x4*x5 +
27 x2^24*x5*x6*x7 +
28 -x2^24*x5*x6 +
29 -x2^24*x5*x7 +
30 x2^24*x5 +
35 x2^14*x3^4*x4*x5*x6*x7 +
36 -x2^14*x3^4*x4*x5*x6 +
37 -x2^14*x3^4*x4*x5*x7 +
38 x2^14*x3^4*x4*x5 +
43 -x2^14*x3^4*x5*x6*x7 +
44 x2^14*x3^4*x5*x6 +
45 x2^14*x3^4*x5*x7 +
46 -x2^14*x3^4*x5 +
51 x2^14*x3^2*x4^2*x5*x6*x7 +
52 -x2^14*x3^2*x4^2*x5*x6 +
53 -x2^14*x3^2*x4^2*x5*x7 +
54 x2^14*x3^2*x4^2*x5 +
59 -x2^14*x3^2*x4*x5*x6*x7 +
60 x2^14*x3^2*x4*x5*x6 +
61 x2^14*x3^2*x4*x5*x7 +
62 -x2^14*x3^2*x4*x5 +
67 -x2^14*x3*x4*x5*x6*x7 +
68 x2^14*x3*x4*x5*x6 +
69 x2^14*x3*x4*x5*x7 +
70 -x2^14*x3*x4*x5 +
75 x2^14*x3*x5*x6*x7 +
76 -x2^14*x3*x5*x6 +
77 -x2^14*x3*x5*x7 +
78 x2^14*x3*x5 +
83 -x2^14*x4^2*x5*x6*x7 +
84 x2^14*x4^2*x5*x6 +
85 x2^14*x4^2*x5*x7 +
86 -x2^14*x4^2*x5 +
91 x2^14*x4*x5*x6*x7 +
92 -x2^14*x4*x5*x6 +
93 -x2^14*x4*x5*x7 +
94 x2^14*x4*x5 +
99 x2^12*x3^6*x4*x5*x6*x7 +
100 -x2^12*x3^6*x4*x5*x6 +
101 -x2^12*x3^6*x4*x5*x7 +
102 x2^12*x3^6*x4*x5 +
107 -x2^12*x3^6*x5*x6*x7 +
108 x2^12*x3^6*x5*x6 +
109 x2^12*x3^6*x5*x7 +
110 -x2^12*x3^6*x5 +
115 -x2^12*x3^4*x4*x5*x6*x7 +
116 x2^12*x3^4*x4*x5*x6 +
117 x2^12*x3^4*x4*x5*x7 +
118 -x2^12*x3^4*x4*x5 +
123 x2^12*x3^4*x5*x6*x7 +
124 -x2^12*x3^4*x5*x6 +
125 -x2^12*x3^4*x5*x7 +
126 x2^12*x3^4*x5 +
131 x2^7*x3^5*x4^2*x5*x6*x7 +
132 -x2^7*x3^5*x4^2*x5*x6 +
133 -x2^7*x3^5*x4^2*x5*x7 +
134 x2^7*x3^5*x4^2*x5 +
139 -x2^7*x3^5*x4*x5*x6*x7 +
140 x2^7*x3^5*x4*x5*x6 +
141 x2^7*x3^5*x4*x5*x7 +
142 -x2^7*x3^5*x4*x5 +
147 -x2^7*x3^2*x4^2*x5*x6*x7 +
148 x2^7*x3^2*x4^2*x5*x6 +
149 x2^7*x3^2*x4^2*x5*x7 +
150 -x2^7*x3^2*x4^2*x5 +
155 x2^7*x3^2*x4*x5*x6*x7^2 +
156 -x2^7*x3^2*x4*x5*x6 +
157 -x2^7*x3^2*x4*x5*x7^2 +
158 x2^7*x3^2*x4*x5 +
163 -x2^7*x3^2*x5*x6*x7^2 +
164 x2^7*x3^2*x5*x6*x7 +
165 x2^7*x3^2*x5*x7^2 +
166 -x2^7*x3^2*x5*x7 +
171 -x2^7*x4*x5*x6*x7^2 +
172 x2^7*x4*x5*x6*x7 +
173 x2^7*x4*x5*x7^2 +
174 -x2^7*x4*x5*x7 +
179 x2^7*x5*x6*x7^2 +
180 -x2^7*x5*x6*x7 +
181 -x2^7*x5*x7^2 +
182 x2^7*x5*x7 +
187 x2^5*x3^3*x4*x5*x6*x7^2 +
188 -x2^5*x3^3*x4*x5*x6*x7 +
189 -x2^5*x3^3*x4*x5*x7^2 +
190 x2^5*x3^3*x4*x5*x7 +
195 -x2^5*x3^3*x5*x6*x7^2 +
196 x2^5*x3^3*x5*x6*x7 +
197 x2^5*x3^3*x5*x7^2 +
198 -x2^5*x3^3*x5*x7 +
203 -x2^5*x3^2*x4*x5*x6*x7^2 +
204 x2^5*x3^2*x4*x5*x6*x7 +
205 x2^5*x3^2*x4*x5*x7^2 +
206 -x2^5*x3^2*x4*x5*x7 +
211 x2^5*x3^2*x5*x6*x7^2 +
212 -x2^5*x3^2*x5*x6*x7 +
213 -x2^5*x3^2*x5*x7^2 +
214 x2^5*x3^2*x5*x7 +
219 x2^2*x3^9*x4*x5*x6*x7 +
220 -x2^2*x3^9*x4*x5*x6 +
221 -x2^2*x3^9*x4*x5*x7 +
222 x2^2*x3^9*x4*x5 +
227 -x2^2*x3^9*x5*x6*x7 +
228 x2^2*x3^9*x5*x6 +
229 x2^2*x3^9*x5*x7 +
230 -x2^2*x3^9*x5 +
235 -x2^2*x3^6*x4*x5*x6*x7 +
236 x2^2*x3^6*x4*x5*x6 +
237 x2^2*x3^6*x4*x5*x7 +
238 -x2^2*x3^6*x4*x5 +
243 x2^2*x3^6*x5*x6*x7 +
244 -x2^2*x3^6*x5*x6 +
245 -x2^2*x3^6*x5*x7 +
246 x2^2*x3^6*x5 +
251 x2^2*x3^5*x4^3*x5*x6*x7 +
252 -x2^2*x3^5*x4^3*x5*x6 +
253 -x2^2*x3^5*x4^3*x5*x7 +
254 x2^2*x3^5*x4^3*x5 +
259 -x2^2*x3^5*x4^2*x5*x6*x7 +
260 x2^2*x3^5*x4^2*x5*x6 +
261 x2^2*x3^5*x4^2*x5*x7 +
262 -x2^2*x3^5*x4^2*x5 +
267 x2^2*x3^2*x4^5*x5*x6*x7 +
268 -x2^2*x3^2*x4^5*x5*x6 +
269 -x2^2*x3^2*x4^5*x5*x7 +
270 x2^2*x3^2*x4^5*x5 +
275 -x2^2*x3^2*x4^3*x5*x6*x7 +
276 x2^2*x3^2*x4^3*x5*x6 +
277 x2^2*x3^2*x4^3*x5*x7 +
278 -x2^2*x3^2*x4^3*x5 +
283 -x2^2*x4^5*x5*x6*x7 +
284 x2^2*x4^5*x5*x6 +
285 x2^2*x4^5*x5*x7 +
286 -x2^2*x4^5*x5 +
291 x2^2*x4^2*x5*x6*x7 +
292 -x2^2*x4^2*x5*x6 +
293 -x2^2*x4^2*x5*x7 +
294 x2^2*x4^2*x5 +
299 -x3^9*x4*x5*x6*x7 +
300 x3^9*x4*x5*x6 +
301 x3^9*x4*x5*x7 +
302 -x3^9*x4*x5 +
307 x3^9*x5*x6*x7 +
308 -x3^9*x5*x6 +
309 -x3^9*x5*x7 +
310 x3^9*x5 +
315 -x3^5*x4^3*x5*x6*x7 +
316 x3^5*x4^3*x5*x6 +
317 x3^5*x4^3*x5*x7 +
318 -x3^5*x4^3*x5 +
323 x3^5*x4*x5*x6*x7 +
324 -x3^5*x4*x5*x6 +
325 -x3^5*x4*x5*x7 +
326 x3^5*x4*x5 +
331 -x3^3*x4*x5*x6*x7^2 +
332 x3^3*x4*x5*x6*x7 +
333 x3^3*x4*x5*x7^2 +
334 -x3^3*x4*x5*x7 +
339 x3^3*x5*x6*x7^2 +
340 -x3^3*x5*x6*x7 +
341 -x3^3*x5*x7^2 +
342 x3^3*x5*x7 +
347 -x3^2*x4^5*x5*x6*x7 +
348 x3^2*x4^5*x5*x6 +
349 x3^2*x4^5*x5*x7 +
350 -x3^2*x4^5*x5 +
355 x3^2*x4^3*x5*x6*x7 +
356 -x3^2*x4^3*x5*x6 +
357 -x3^2*x4^3*x5*x7 +
358 x3^2*x4^3*x5 +
363 x4^5*x5*x6*x7 +
364 -x4^5*x5*x6 +
365 -x4^5*x5*x7 +
366 x4^5*x5 +
371 x4*x5*x6*x7^2 +
372 -x4*x5*x6*x7 +
373 -x4*x5*x7^2 +
374 x4*x5*x7 +
379 -x5*x6*x7^2 +
380 x5*x6 +
381 x5*x7^2 +
382 -x5 +