Lines Matching refs:x7
1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
5 x1^9*x2^4*x7^3,
8 x1^9*x3*x7^3,
14 x1^8*x2^4*x5*x7^3,
16 x1^8*x2^4*x7^5,
23 x1^8*x3*x5*x7^3,
25 x1^8*x3*x7^5,
31 x1^8*x6*x7^3,
46 x1^6*x2^4*x5^3*x7^3,
47 x1^6*x2^4*x7^10,
48 x1^6*x3*x5^3*x7^3,
49 x1^6*x3*x7^10,
53 x1^6*x5^6*x7^3,
56 x1^6*x5^3*x6*x7^3,
57 x1^6*x5^3*x7^3*x8^4,
59 x1^6*x6^3*x7^3,
60 x1^6*x6*x7^10,
61 x1^6*x7^10*x8^4,
62 x1^5*x2^10*x4^3*x7^3,
63 x1^5*x2^10*x5*x7^3,
64 x1^5*x2^10*x7^3*x8^2,
65 x1^5*x2^9*x5^3*x7^3,
66 x1^5*x2^4*x4^4*x5^3*x7^3,
68 x1^5*x2^4*x5^6*x7^3,
87 x1^5*x3^3*x5^3*x7^3,
88 x1^5*x3^3*x6^3*x7^3,
89 x1^5*x3*x4^4*x5^3*x7^3,
91 x1^5*x3*x5^6*x7^3,
92 x1^5*x4^5*x5^3*x7^3,
93 x1^5*x4^4*x5^3*x7^3*x8^4,
96 x1^5*x4^4*x6^3*x7^3,
102 x1^5*x4*x5^6*x7^3,
105 x1^5*x6^3*x7^3*x8^7,
106 x1^4*x2^9*x5^3*x6*x7^3,
107 x1^4*x2^9*x5^3*x7^4,
108 x1^4*x2^9*x7^10,
113 x1^4*x2^4*x4^4*x5^3*x7^4,
114 x1^4*x2^4*x4^4*x7^10,
115 x1^4*x2^2*x3^5*x5^3*x7,
116 x1^4*x2^2*x3^4*x4^3*x5^3*x7,
117 x1^4*x2^2*x3^4*x5^4*x7,
119 x1^4*x2*x3^5*x6^3*x7,
120 x1^4*x2*x3^4*x4^3*x6^3*x7,
122 x1^4*x2*x3^3*x4^3*x6^4*x7,
124 x1^4*x2*x4^4*x6^4*x7,
126 x1^4*x3^5*x5^2*x6^3*x7,
130 x1^4*x3^4*x4^5*x5^3*x7,
131 x1^4*x3^4*x4^5*x6^3*x7,
132 x1^4*x3^4*x4^3*x5^2*x6^3*x7,
133 x1^4*x3^4*x5^5*x7,
134 x1^4*x3^4*x5^3*x7^3,
136 x1^4*x3^3*x4^3*x5^2*x6^4*x7,
137 x1^4*x3^3*x5^3*x6*x7^3,
138 x1^4*x3^3*x5^3*x7^4,
139 x1^4*x3^3*x7^10,
140 x1^4*x3*x4^4*x5^3*x7^4,
141 x1^4*x3*x4^4*x7^10,
143 x1^4*x4^9*x7^3,
144 x1^4*x4^8*x5^3*x7^3,
146 x1^4*x4^5*x5^3*x7^4,
148 x1^4*x4^5*x6^4*x7,
149 x1^4*x4^5*x7^10,
150 x1^4*x4^4*x5^3*x6*x7^3,
152 x1^4*x4^4*x5^2*x6^4*x7,
153 x1^4*x4^4*x6*x7^10,
154 x1^3*x2^9*x5^3*x6*x7^3*x8^2,
155 x1^3*x2^9*x5^3*x7^4*x8^2,
164 x1^3*x2^4*x5^6*x6^4*x7,
165 x1^3*x2^4*x5^6*x6*x7^3,
166 x1^3*x2^4*x5^6*x7^4,
167 x1^3*x2^2*x3^5*x5^3*x7*x8^2,
168 x1^3*x2^2*x3^4*x4^3*x5^3*x7*x8^2,
169 x1^3*x2^2*x3^4*x5^4*x7*x8^2,
170 x1^3*x2*x3^6*x6^3*x7,
171 x1^3*x2*x3^5*x6^3*x7^2,
172 x1^3*x2*x3^5*x6^3*x7*x8^2,
173 x1^3*x2*x3^4*x4^3*x6^3*x7^2,
174 x1^3*x2*x3^4*x4^3*x6^3*x7*x8^2,
175 x1^3*x2*x3^3*x4^3*x6^3*x7*x8^6,
176 x1^3*x2*x3^3*x6^3*x7^3,
177 x1^3*x2*x4^4*x6^3*x7^3,
178 x1^3*x2*x4^4*x6^3*x7*x8^6,
179 x1^3*x3^6*x4^5*x6^3*x7,
180 x1^3*x3^6*x5^3*x7,
181 x1^3*x3^6*x5^2*x6^3*x7,
182 x1^3*x3^5*x5^3*x7*x8^5,
183 x1^3*x3^5*x5^2*x6^3*x7^2,
184 x1^3*x3^5*x5^2*x6^3*x7*x8^2,
185 x1^3*x3^4*x4^5*x5^3*x7*x8^2,
186 x1^3*x3^4*x4^5*x6^3*x7^2,
187 x1^3*x3^4*x4^5*x6^3*x7*x8^2,
188 x1^3*x3^4*x4^3*x5^3*x7*x8^5,
189 x1^3*x3^4*x4^3*x5^2*x6^3*x7^2,
190 x1^3*x3^4*x4^3*x5^2*x6^3*x7*x8^2,
192 x1^3*x3^4*x5^6*x7,
193 x1^3*x3^4*x5^5*x7*x8^2,
194 x1^3*x3^4*x5^4*x6^3*x7,
195 x1^3*x3^4*x5^4*x7*x8^5,
196 x1^3*x3^4*x5^3*x7^3*x8^2,
197 x1^3*x3^3*x4^3*x5^3*x7*x8^6,
198 x1^3*x3^3*x4^3*x5^2*x6^3*x7*x8^6,
199 x1^3*x3^3*x5^4*x7*x8^6,
200 x1^3*x3^3*x5^3*x6*x7^3*x8^2,
201 x1^3*x3^3*x5^3*x7^4*x8^2,
202 x1^3*x3^3*x5^3*x7^3*x8^6,
203 x1^3*x3^3*x5^2*x6^3*x7^3,
206 x1^3*x3*x5^6*x6^4*x7,
207 x1^3*x3*x5^6*x6*x7^3,
208 x1^3*x3*x5^6*x7^4,
209 x1^3*x4^5*x6^3*x7^3,
210 x1^3*x4^5*x6^3*x7*x8^6,
211 x1^3*x4^4*x5^3*x6*x7^3*x8^2,
212 x1^3*x4^4*x5^3*x7*x8^6,
213 x1^3*x4^4*x5^2*x6^3*x7^3,
214 x1^3*x4^4*x5^2*x6^3*x7*x8^6,
217 x1^3*x4*x5^6*x6^4*x7,
218 x1^3*x4*x5^6*x6*x7^3,
219 x1^3*x4*x5^6*x7^4,
222 x1^3*x5^6*x7*x8^6,
223 x1*x2^9*x4^3*x5^3*x7^4*x8^2,
224 x1*x2^9*x5^4*x7^4*x8^2,
225 x1*x2^9*x5^3*x7^6*x8^2,
226 x1*x2^8*x5^6*x7^4,
232 x1*x2^5*x3^6*x4^3*x5^3*x7,
233 x1*x2^5*x3^6*x5^4*x7,
234 x1*x2^5*x3^6*x5^3*x6^2*x7,
235 x1*x2^5*x3^5*x5^3*x6^2*x7*x8^2,
237 x1*x2^5*x3^5*x6^3*x7,
238 x1*x2^5*x3^4*x4^3*x5^3*x7*x8^2,
239 x1*x2^5*x3^4*x5^6*x7,
240 x1*x2^5*x3^4*x5^4*x6^3*x7,
241 x1*x2^5*x3^4*x5^4*x7*x8^2,
242 x1*x2^5*x3^3*x5^4*x6*x7^3*x8^2,
243 x1*x2^5*x3^3*x5^3*x6^2*x7^3*x8^2,
244 x1*x2^5*x3^3*x6^3*x7^3,
245 x1*x2^5*x3^2*x5^6*x6*x7^3,
247 x1*x2^5*x5^6*x6*x7^3*x8^3,
248 x1*x2^4*x4^4*x5^3*x7^4*x8^2,
250 x1*x2^4*x5^6*x6^4*x7*x8^3,
251 x1*x2^4*x5^6*x7^4*x8^3,
253 x1*x2*x3^6*x6^4*x7,
255 x1*x2*x3^5*x6^4*x7^2,
256 x1*x2*x3^5*x6^4*x7*x8^2,
257 x1*x2*x3^3*x6^4*x7^3,
258 x1*x2*x3^3*x6^3*x7^4,
261 x1*x3^6*x4^6*x5^3*x7,
262 x1*x3^6*x4^3*x5^3*x7^4,
263 x1*x3^6*x5^4*x7^4,
264 x1*x3^6*x5^3*x6^2*x7^4,
265 x1*x3^6*x5^3*x7^6,
267 x1*x3^6*x5^2*x6^4*x7,
269 x1*x3^5*x5^2*x6^4*x7^2,
270 x1*x3^5*x5^2*x6^4*x7*x8^2,
274 x1*x3^4*x4^6*x5^6*x7,
275 x1*x3^4*x4^6*x5^3*x7*x8^2,
276 x1*x3^3*x4^3*x5^3*x7^4*x8^2,
278 x1*x3^3*x5^4*x6^4*x7,
279 x1*x3^3*x5^4*x7^4*x8^2,
280 x1*x3^3*x5^3*x6^2*x7^4*x8^2,
281 x1*x3^3*x5^3*x7^6*x8^2,
282 x1*x3^3*x5^2*x6^4*x7^3,
283 x1*x3^3*x5^2*x6^3*x7^4,
285 x1*x3^2*x5^6*x6^4*x7,
286 x1*x3^2*x5^6*x7^4,
287 x1*x3*x4^4*x5^3*x7^4*x8^2,
289 x1*x3*x5^6*x6^4*x7*x8^3,
290 x1*x3*x5^6*x7^4*x8^3,
292 x1*x4^10*x7^2,
294 x1*x4^9*x7^3*x8^2,
295 x1*x4^8*x5^6*x7^3,
296 x1*x4^8*x5^3*x7^3*x8^2,
297 x1*x4^5*x5^3*x7^4*x8^2,
298 x1*x4^4*x5^3*x7^4*x8^4,
299 x1*x4^2*x5^6*x7^4,
300 x1*x4*x5^6*x7^4*x8^3,
307 x2^10*x4^8*x7^3,
308 x2^10*x4^3*x7^4,
309 x2^10*x5*x7^4,
310 x2^10*x6*x7^3,
311 x2^10*x7^5,
312 x2^10*x7^4*x8^2,
315 x2^9*x4^3*x5^3*x6*x7^3*x8^2,
317 x2^9*x5^4*x6*x7^3*x8^2,
319 x2^9*x5^3*x6^2*x7^3*x8^2,
321 x2^9*x5^3*x6*x7^6*x8^2,
322 x2^9*x5^3*x7^8*x8^2,
323 x2^9*x5^3*x7^6*x8^6,
325 x2^9*x6^3*x7^3,
327 x2^9*x7^10*x8^2,
333 x2^8*x5^7*x7^4,
335 x2^8*x5^6*x6*x7^3,
336 x2^8*x5^6*x7^8,
343 x2^6*x3^6*x5^3*x6*x7^6,
357 x2^6*x3^3*x5^4*x6*x7^3*x8^2,
359 x2^6*x3^3*x5^3*x6^2*x7^3*x8^2,
360 x2^6*x3^3*x5^3*x6*x7^6*x8^2,
361 x2^6*x3^3*x6^3*x7^3,
363 x2^6*x3^2*x5^6*x6*x7^3,
372 x2^6*x5^6*x6*x7^3*x8^3,
375 x2^5*x3^6*x4^3*x5^3*x6*x7,
376 x2^5*x3^6*x4*x5^4*x6*x7,
377 x2^5*x3^6*x4*x5^3*x6^2*x7,
378 x2^5*x3^5*x4*x5^3*x6^2*x7*x8^2,
380 x2^5*x3^5*x4*x6^3*x7,
381 x2^5*x3^5*x5^3*x6^2*x7*x8^6,
382 x2^5*x3^5*x6^3*x7*x8^6,
384 x2^5*x3^4*x4^3*x5^3*x6*x7*x8^2,
385 x2^5*x3^4*x4^3*x6^3*x7,
386 x2^5*x3^4*x4*x5^6*x6*x7,
387 x2^5*x3^4*x4*x5^4*x6^3*x7,
388 x2^5*x3^4*x4*x5^4*x6*x7*x8^2,
390 x2^5*x3^3*x4^3*x5^3*x6*x7^3*x8^2,
391 x2^5*x3^3*x4^3*x5^3*x7*x8^6,
393 x2^5*x3^3*x4^3*x6^4*x7,
394 x2^5*x3^3*x4^3*x6^3*x7*x8^6,
395 x2^5*x3^3*x4*x5^4*x6*x7^3*x8^2,
396 x2^5*x3^3*x4*x5^3*x6^2*x7^3*x8^2,
397 x2^5*x3^3*x4*x6^3*x7^3,
398 x2^5*x3^3*x5^4*x7*x8^6,
399 x2^5*x3^3*x5^3*x6^2*x7^3*x8^6,
400 x2^5*x3^3*x6^3*x7^3*x8^6,
401 x2^5*x3^2*x4*x5^6*x6*x7^3,
402 x2^5*x3^2*x5^7*x6*x7^3,
405 x2^5*x4^4*x5^3*x6*x7^3*x8^2,
406 x2^5*x4^4*x5^3*x7*x8^6,
408 x2^5*x4^4*x6^4*x7,
409 x2^5*x4^4*x6^3*x7^3,
410 x2^5*x4^4*x6^3*x7*x8^6,
411 x2^5*x4^2*x5^6*x6*x7^3,
412 x2^5*x4*x5^6*x6*x7^3*x8^3,
413 x2^5*x5^7*x6*x7^3*x8^3,
415 x2^5*x5^6*x7*x8^6,
416 x2^4*x4^4*x5^3*x7^8*x8^2,
417 x2^4*x4^4*x7^10*x8^2,
419 x2^4*x5^8*x7^3,
421 x2^4*x5^7*x7^4*x8^3,
422 x2^4*x5^6*x6*x7^7*x8^3,
423 x2^4*x5^6*x7^9,
424 x2^4*x5^6*x7^8*x8^3,
427 x2*x3^6*x4*x6^4*x7,
429 x2*x3^5*x4*x6^4*x7^2,
430 x2*x3^5*x4*x6^4*x7*x8^2,
432 x2*x3^5*x6^4*x7*x8^6,
433 x2*x3^5*x6^3*x7*x8^7,
435 x2*x3^3*x4^3*x6^4*x7^2,
436 x2*x3^3*x4^3*x6^4*x7*x8^2,
437 x2*x3^3*x4*x6^4*x7^3,
438 x2*x3^3*x4*x6^3*x7^4,
439 x2*x3^3*x6^4*x7^3*x8^6,
440 x2*x3^3*x6^3*x7^7,
441 x2*x3^3*x6^3*x7^4*x8^6,
443 x2*x4^4*x6^4*x7^2,
444 x2*x4^4*x6^4*x7*x8^2,
445 x2*x4^4*x6^3*x7^4,
447 x2*x4^3*x6^3*x7*x8^7,
448 x2*x6^3*x7^3*x8^7,
452 x3^9*x7,
461 x3^6*x4^9*x7^8,
464 x3^6*x4^6*x5^3*x6*x7,
465 x3^6*x4^6*x6^3*x7,
467 x3^6*x4^5*x6^4*x7,
468 x3^6*x4^3*x5^3*x6*x7^4,
469 x3^6*x4*x5^4*x6*x7^4,
470 x3^6*x4*x5^3*x6^2*x7^4,
471 x3^6*x4*x5^3*x6*x7^6,
473 x3^6*x4*x5^2*x6^4*x7,
474 x3^6*x5^3*x6*x7^7,
475 x3^6*x5^3*x7^8,
476 x3^6*x7^10,
478 x3^5*x4*x5^2*x6^4*x7^2,
479 x3^5*x4*x5^2*x6^4*x7*x8^2,
480 x3^5*x5^3*x7*x8^7,
482 x3^5*x5^2*x6^4*x7*x8^6,
483 x3^5*x5^2*x6^3*x7*x8^7,
485 x3^5*x7*x8^10,
492 x3^4*x4^6*x5^6*x6*x7,
493 x3^4*x4^6*x5^4*x6^3*x7,
494 x3^4*x4^6*x5^3*x6*x7*x8^2,
495 x3^4*x4^6*x6^3*x7^2,
496 x3^4*x4^6*x6^3*x7*x8^2,
498 x3^3*x4^3*x5^3*x6*x7^4*x8^2,
499 x3^3*x4^3*x5^3*x7^4*x8^6,
501 x3^3*x4^3*x5^2*x6^4*x7^2,
502 x3^3*x4^3*x5^2*x6^4*x7*x8^2,
504 x3^3*x4*x5^4*x6^4*x7,
505 x3^3*x4*x5^4*x6*x7^4*x8^2,
506 x3^3*x4*x5^3*x6^2*x7^4*x8^2,
507 x3^3*x4*x5^3*x6*x7^6*x8^2,
508 x3^3*x4*x5^2*x6^4*x7^3,
509 x3^3*x4*x5^2*x6^3*x7^4,
511 x3^3*x5^4*x6^4*x7*x8^6,
512 x3^3*x5^4*x7^4*x8^6,
513 x3^3*x5^3*x6^2*x7^4*x8^6,
514 x3^3*x5^3*x6*x7^7*x8^2,
515 x3^3*x5^3*x7^8*x8^2,
516 x3^3*x5^3*x7^6*x8^6,
517 x3^3*x5^2*x6^4*x7^3*x8^6,
518 x3^3*x5^2*x6^3*x7^7,
519 x3^3*x5^2*x6^3*x7^4*x8^6,
521 x3^3*x6^3*x7^9,
522 x3^3*x7^10*x8^2,
524 x3^2*x4*x5^6*x6^4*x7,
525 x3^2*x4*x5^6*x6*x7^4,
527 x3^2*x5^7*x7^4,
529 x3^2*x5^6*x6*x7^7,
530 x3^2*x5^6*x7^8,
531 x3*x4^4*x5^3*x7^8*x8^2,
532 x3*x4^4*x7^10*x8^2,
534 x3*x5^8*x7^3,
536 x3*x5^7*x7^4*x8^3,
537 x3*x5^6*x6*x7^7*x8^3,
538 x3*x5^6*x7^9,
539 x3*x5^6*x7^8*x8^3,
542 x4^10*x6*x7^2,
544 x4^10*x7^8,
545 x4^9*x6*x7^3*x8^2,
546 x4^9*x7^8*x8^2,
548 x4^8*x5^7*x7^3,
555 x4^6*x5^6*x6*x7^3,
556 x4^6*x5^3*x6*x7^3*x8^2,
557 x4^6*x5^3*x7*x8^6,
558 x4^6*x6^3*x7^3,
559 x4^6*x6^3*x7*x8^6,
560 x4^5*x5^3*x7^8*x8^2,
562 x4^5*x6^4*x7^2,
563 x4^5*x6^4*x7*x8^2,
564 x4^5*x6^3*x7^4,
565 x4^5*x6^3*x7*x8^7,
566 x4^5*x7^10*x8^2,
568 x4^4*x5^4*x6^4*x7,
569 x4^4*x5^3*x6*x7^4*x8^2,
570 x4^4*x5^3*x7^8*x8^4,
571 x4^4*x5^3*x7^4*x8^6,
573 x4^4*x5^2*x6^4*x7^2,
574 x4^4*x5^2*x6^4*x7*x8^2,
575 x4^4*x5^2*x6^3*x7^4,
577 x4^4*x6^3*x7^9,
578 x4^4*x6*x7^10*x8^2,
579 x4^4*x7^10*x8^4,
580 x4^3*x5^3*x7*x8^7,
582 x4^3*x5^2*x6^3*x7*x8^7,
584 x4^3*x7*x8^10,
586 x4^2*x5^7*x7^4,
588 x4^2*x5^6*x6^4*x7,
589 x4^2*x5^6*x6*x7^4,
590 x4^2*x5^6*x7^8,
592 x4*x5^8*x7^3,
594 x4*x5^7*x7^4*x8^3,
596 x4*x5^6*x6^4*x7*x8^3,
597 x4*x5^6*x6*x7^4*x8^3,
598 x4*x5^6*x7^9,
599 x4*x5^6*x7^8*x8^3,
604 x5^6*x6^6*x7^9,
607 x5^6*x6^4*x7*x8^6,
608 x5^6*x7^10,
609 x5^6*x7^4*x8^6,
611 x5^4*x7*x8^7,
612 x5^3*x7^3*x8^7,
613 x5^2*x6^3*x7^3*x8^7,
616 x6^3*x7^9*x8^7,
617 x7^10*x8^7,
618 x7^3*x8^10