Lines Matching refs:x7
1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
3 -x2^2*x3^2*x4*x5*x6*x7*x8 +
4 x2^2*x3^2*x4*x5*x6*x7 +
7 x2^2*x3^2*x4*x5*x7*x8 +
8 -x2^2*x3^2*x4*x5*x7 +
11 x2^2*x3^2*x4*x6*x7*x8 +
12 -x2^2*x3^2*x4*x6*x7 +
15 -x2^2*x3^2*x4*x7*x8 +
16 x2^2*x3^2*x4*x7 +
19 x2^2*x3^2*x5*x6*x7*x8 +
20 -x2^2*x3^2*x5*x6*x7 +
23 -x2^2*x3^2*x5*x7*x8 +
24 x2^2*x3^2*x5*x7 +
27 -x2^2*x3^2*x6*x7*x8 +
28 x2^2*x3^2*x6*x7 +
31 x2^2*x3^2*x7*x8 +
32 -x2^2*x3^2*x7 +
35 x2^2*x4*x5*x6*x7*x8 +
36 -x2^2*x4*x5*x6*x7 +
39 -x2^2*x4*x5*x7*x8 +
40 x2^2*x4*x5*x7 +
43 -x2^2*x4*x6*x7*x8 +
44 x2^2*x4*x6*x7 +
47 x2^2*x4*x7*x8 +
48 -x2^2*x4*x7 +
51 -x2^2*x5*x6*x7*x8 +
52 x2^2*x5*x6*x7 +
55 x2^2*x5*x7*x8 +
56 -x2^2*x5*x7 +
59 x2^2*x6*x7*x8 +
60 -x2^2*x6*x7 +
63 -x2^2*x7*x8 +
64 x2^2*x7 +
67 -x2*x3^3*x4*x5^2*x6*x7*x8 +
68 x2*x3^3*x4*x5^2*x6*x7 +
71 x2*x3^3*x4*x5^2*x7*x8 +
72 -x2*x3^3*x4*x5^2*x7 +
75 x2*x3^3*x4*x6*x7*x8 +
76 -x2*x3^3*x4*x6*x7 +
79 -x2*x3^3*x4*x7*x8 +
80 x2*x3^3*x4*x7 +
83 x2*x3^3*x5^2*x6*x7*x8 +
84 -x2*x3^3*x5^2*x6*x7 +
87 -x2*x3^3*x5^2*x7*x8 +
88 x2*x3^3*x5^2*x7 +
91 -x2*x3^3*x6*x7*x8 +
92 x2*x3^3*x6*x7 +
95 x2*x3^3*x7*x8 +
96 -x2*x3^3*x7 +
99 -x2*x3^2*x4*x5*x6*x7^2*x8 +
100 x2*x3^2*x4*x5*x6*x7^2 +
101 2*x2*x3^2*x4*x5*x6*x7*x8 +
102 -2*x2*x3^2*x4*x5*x6*x7 +
105 x2*x3^2*x4*x5*x7^2*x8 +
106 -x2*x3^2*x4*x5*x7^2 +
107 -2*x2*x3^2*x4*x5*x7*x8 +
108 2*x2*x3^2*x4*x5*x7 +
111 x2*x3^2*x4*x6*x7^2*x8 +
112 -x2*x3^2*x4*x6*x7^2 +
113 -2*x2*x3^2*x4*x6*x7*x8 +
114 2*x2*x3^2*x4*x6*x7 +
117 -x2*x3^2*x4*x7^2*x8 +
118 x2*x3^2*x4*x7^2 +
119 2*x2*x3^2*x4*x7*x8 +
120 -2*x2*x3^2*x4*x7 +
123 x2*x3^2*x5*x6*x7^2*x8 +
124 -x2*x3^2*x5*x6*x7^2 +
125 -2*x2*x3^2*x5*x6*x7*x8 +
126 2*x2*x3^2*x5*x6*x7 +
129 -x2*x3^2*x5*x7^2*x8 +
130 x2*x3^2*x5*x7^2 +
131 2*x2*x3^2*x5*x7*x8 +
132 -2*x2*x3^2*x5*x7 +
135 -x2*x3^2*x6*x7^2*x8 +
136 x2*x3^2*x6*x7^2 +
137 2*x2*x3^2*x6*x7*x8 +
138 -2*x2*x3^2*x6*x7 +
141 x2*x3^2*x7^2*x8 +
142 -x2*x3^2*x7^2 +
143 -2*x2*x3^2*x7*x8 +
144 2*x2*x3^2*x7 +
147 -x2*x3*x4*x5^3*x6*x7*x8 +
148 x2*x3*x4*x5^3*x6*x7 +
151 x2*x3*x4*x5^3*x7*x8 +
152 -x2*x3*x4*x5^3*x7 +
155 x2*x3*x4*x5^2*x6*x7*x8 +
156 -x2*x3*x4*x5^2*x6*x7 +
159 -x2*x3*x4*x5^2*x7*x8 +
160 x2*x3*x4*x5^2*x7 +
163 -x2*x3*x4*x5*x6^2*x7*x8 +
164 x2*x3*x4*x5*x6^2*x7 +
167 x2*x3*x4*x5*x6*x7*x8 +
168 -x2*x3*x4*x5*x6*x7 +
171 x2*x3*x4*x6^2*x7*x8 +
172 -x2*x3*x4*x6^2*x7 +
175 -x2*x3*x4*x6*x7*x8 +
176 x2*x3*x4*x6*x7 +
179 x2*x3*x5^3*x6*x7*x8 +
180 -x2*x3*x5^3*x6*x7 +
183 -x2*x3*x5^3*x7*x8 +
184 x2*x3*x5^3*x7 +
187 -x2*x3*x5^2*x6*x7*x8 +
188 x2*x3*x5^2*x6*x7 +
191 x2*x3*x5^2*x7*x8 +
192 -x2*x3*x5^2*x7 +
195 x2*x3*x5*x6^2*x7*x8 +
196 -x2*x3*x5*x6^2*x7 +
199 -x2*x3*x5*x6*x7*x8 +
200 x2*x3*x5*x6*x7 +
203 -x2*x3*x6^2*x7*x8 +
204 x2*x3*x6^2*x7 +
207 x2*x3*x6*x7*x8 +
208 -x2*x3*x6*x7 +
211 x2*x4*x5^3*x6*x7*x8 +
212 -x2*x4*x5^3*x6*x7 +
215 -x2*x4*x5^3*x7*x8 +
216 x2*x4*x5^3*x7 +
219 x2*x4*x5*x6^2*x7*x8 +
220 -x2*x4*x5*x6^2*x7 +
223 x2*x4*x5*x6*x7^2*x8 +
224 -x2*x4*x5*x6*x7^2 +
225 -3*x2*x4*x5*x6*x7*x8 +
226 3*x2*x4*x5*x6*x7 +
229 -x2*x4*x5*x7^2*x8 +
230 x2*x4*x5*x7^2 +
231 2*x2*x4*x5*x7*x8 +
232 -2*x2*x4*x5*x7 +
235 -x2*x4*x6^2*x7*x8 +
236 x2*x4*x6^2*x7 +
239 -x2*x4*x6*x7^2*x8 +
240 x2*x4*x6*x7^2 +
241 2*x2*x4*x6*x7*x8 +
242 -2*x2*x4*x6*x7 +
245 x2*x4*x7^2*x8 +
246 -x2*x4*x7^2 +
247 -x2*x4*x7*x8 +
248 x2*x4*x7 +
249 -x2*x5^3*x6*x7*x8 +
250 x2*x5^3*x6*x7 +
253 x2*x5^3*x7*x8 +
254 -x2*x5^3*x7 +
257 -x2*x5*x6^2*x7*x8 +
258 x2*x5*x6^2*x7 +
261 -x2*x5*x6*x7^2*x8 +
262 x2*x5*x6*x7^2 +
263 3*x2*x5*x6*x7*x8 +
264 -3*x2*x5*x6*x7 +
267 x2*x5*x7^2*x8 +
268 -x2*x5*x7^2 +
269 -2*x2*x5*x7*x8 +
270 2*x2*x5*x7 +
273 x2*x6^2*x7*x8 +
274 -x2*x6^2*x7 +
277 x2*x6*x7^2*x8 +
278 -x2*x6*x7^2 +
279 -2*x2*x6*x7*x8 +
280 2*x2*x6*x7 +
283 -x2*x7^2*x8 +
284 x2*x7^2 +
285 x2*x7*x8 +
286 -x2*x7 +
287 x3^3*x4*x5^2*x6*x7*x8 +
288 -x3^3*x4*x5^2*x6*x7 +
291 -x3^3*x4*x5^2*x7*x8 +
292 x3^3*x4*x5^2*x7 +
295 -x3^3*x4*x6*x7*x8 +
296 x3^3*x4*x6*x7 +
299 x3^3*x4*x7*x8 +
300 -x3^3*x4*x7 +
303 -x3^3*x5^2*x6*x7*x8 +
304 x3^3*x5^2*x6*x7 +
307 x3^3*x5^2*x7*x8 +
308 -x3^3*x5^2*x7 +
311 x3^3*x6*x7*x8 +
312 -x3^3*x6*x7 +
315 -x3^3*x7*x8 +
316 x3^3*x7 +
319 x3^2*x4*x5*x6*x7^2*x8 +
320 -x3^2*x4*x5*x6*x7^2 +
321 -x3^2*x4*x5*x6*x7*x8 +
322 x3^2*x4*x5*x6*x7 +
323 -x3^2*x4*x5*x7^2*x8 +
324 x3^2*x4*x5*x7^2 +
325 x3^2*x4*x5*x7*x8 +
326 -x3^2*x4*x5*x7 +
327 -x3^2*x4*x6*x7^2*x8 +
328 x3^2*x4*x6*x7^2 +
329 x3^2*x4*x6*x7*x8 +
330 -x3^2*x4*x6*x7 +
331 x3^2*x4*x7^2*x8 +
332 -x3^2*x4*x7^2 +
333 -x3^2*x4*x7*x8 +
334 x3^2*x4*x7 +
335 -x3^2*x5*x6*x7^2*x8 +
336 x3^2*x5*x6*x7^2 +
337 x3^2*x5*x6*x7*x8 +
338 -x3^2*x5*x6*x7 +
339 x3^2*x5*x7^2*x8 +
340 -x3^2*x5*x7^2 +
341 -x3^2*x5*x7*x8 +
342 x3^2*x5*x7 +
343 x3^2*x6*x7^2*x8 +
344 -x3^2*x6*x7^2 +
345 -x3^2*x6*x7*x8 +
346 x3^2*x6*x7 +
347 -x3^2*x7^2*x8 +
348 x3^2*x7^2 +
349 x3^2*x7*x8 +
350 -x3^2*x7 +
351 x3*x4*x5^3*x6*x7*x8 +
352 -x3*x4*x5^3*x6*x7 +
355 -x3*x4*x5^3*x7*x8 +
356 x3*x4*x5^3*x7 +
359 -x3*x4*x5^2*x6*x7*x8 +
360 x3*x4*x5^2*x6*x7 +
363 x3*x4*x5^2*x7*x8 +
364 -x3*x4*x5^2*x7 +
367 x3*x4*x5*x6^2*x7*x8 +
368 -x3*x4*x5*x6^2*x7 +
371 -x3*x4*x5*x6*x7*x8 +
372 x3*x4*x5*x6*x7 +
375 -x3*x4*x6^2*x7*x8 +
376 x3*x4*x6^2*x7 +
379 x3*x4*x6*x7*x8 +
380 -x3*x4*x6*x7 +
383 -x3*x5^3*x6*x7*x8 +
384 x3*x5^3*x6*x7 +
387 x3*x5^3*x7*x8 +
388 -x3*x5^3*x7 +
391 x3*x5^2*x6*x7*x8 +
392 -x3*x5^2*x6*x7 +
395 -x3*x5^2*x7*x8 +
396 x3*x5^2*x7 +
399 -x3*x5*x6^2*x7*x8 +
400 x3*x5*x6^2*x7 +
403 x3*x5*x6*x7*x8 +
404 -x3*x5*x6*x7 +
407 x3*x6^2*x7*x8 +
408 -x3*x6^2*x7 +
411 -x3*x6*x7*x8 +
412 x3*x6*x7 +
415 -x4*x5^3*x6*x7*x8 +
416 x4*x5^3*x6*x7 +
419 x4*x5^3*x7*x8 +
420 -x4*x5^3*x7 +
423 -x4*x5*x6^2*x7*x8 +
424 x4*x5*x6^2*x7 +
427 -x4*x5*x6*x7^2*x8 +
428 x4*x5*x6*x7^2 +
429 2*x4*x5*x6*x7*x8 +
430 -2*x4*x5*x6*x7 +
433 x4*x5*x7^2*x8 +
434 -x4*x5*x7^2 +
435 -x4*x5*x7*x8 +
436 x4*x5*x7 +
437 x4*x6^2*x7*x8 +
438 -x4*x6^2*x7 +
441 x4*x6*x7^2*x8 +
442 -x4*x6*x7^2 +
443 -x4*x6*x7*x8 +
444 x4*x6*x7 +
445 -x4*x7^2*x8 +
446 x4*x7^2 +
449 x5^3*x6*x7*x8 +
450 -x5^3*x6*x7 +
453 -x5^3*x7*x8 +
454 x5^3*x7 +
457 x5*x6^2*x7*x8 +
458 -x5*x6^2*x7 +
461 x5*x6*x7^2*x8 +
462 -x5*x6*x7^2 +
463 -2*x5*x6*x7*x8 +
464 2*x5*x6*x7 +
467 -x5*x7^2*x8 +
468 x5*x7^2 +
469 x5*x7*x8 +
470 -x5*x7 +
471 -x6^2*x7*x8 +
472 x6^2*x7 +
475 -x6*x7^2*x8 +
476 x6*x7^2 +
477 x6*x7*x8 +
478 -x6*x7 +
479 x7^2*x8 +
480 -x7^2 +