Lines Matching refs:x5
1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
10 x1^8*x2^8*x5,
13 x1^8*x2^4*x5^2,
14 x1^8*x2^4*x5*x7^3,
15 x1^8*x2^4*x5*x8,
19 x1^8*x3^4*x5,
22 x1^8*x3*x5^2,
23 x1^8*x3*x5*x7^3,
24 x1^8*x3*x5*x8,
29 x1^8*x5^6,
30 x1^8*x5^2*x6,
34 x1^7*x2^2*x3^4*x5^3,
35 x1^7*x3^4*x5^3*x8^5,
37 x1^7*x5^3*x8^6,
38 x1^7*x5^2*x6^4,
43 x1^6*x2^8*x5^3*x8^6,
46 x1^6*x2^4*x5^3*x7^3,
48 x1^6*x3*x5^3*x7^3,
50 x1^6*x4^3*x5^3*x8^6,
53 x1^6*x5^6*x7^3,
54 x1^6*x5^4*x6^4,
55 x1^6*x5^4*x8^6,
56 x1^6*x5^3*x6*x7^3,
57 x1^6*x5^3*x7^3*x8^4,
63 x1^5*x2^10*x5*x7^3,
65 x1^5*x2^9*x5^3*x7^3,
66 x1^5*x2^4*x4^4*x5^3*x7^3,
67 x1^5*x2^4*x5^6*x6^4,
68 x1^5*x2^4*x5^6*x7^3,
69 x1^5*x2^2*x3^5*x5^3,
70 x1^5*x2^2*x3^4*x4^3*x5^3,
71 x1^5*x2^2*x3^4*x5^4,
72 x1^5*x3^6*x5^3,
73 x1^5*x3^5*x5^3*x8^5,
76 x1^5*x3^4*x4^5*x5^3,
77 x1^5*x3^4*x4^3*x5^3*x8^5,
79 x1^5*x3^4*x5^5,
80 x1^5*x3^4*x5^4*x6^3,
81 x1^5*x3^4*x5^4*x8^5,
82 x1^5*x3^3*x4^3*x5^3*x8^6,
85 x1^5*x3^3*x5^4*x6^4,
86 x1^5*x3^3*x5^4*x8^6,
87 x1^5*x3^3*x5^3*x7^3,
89 x1^5*x3*x4^4*x5^3*x7^3,
90 x1^5*x3*x5^6*x6^4,
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,
94 x1^5*x4^4*x5^3*x8^6,
98 x1^5*x4^3*x5^3*x8^7,
101 x1^5*x4*x5^6*x6^4,
102 x1^5*x4*x5^6*x7^3,
103 x1^5*x5^6*x8^6,
104 x1^5*x5^4*x8^7,
106 x1^4*x2^9*x5^3*x6*x7^3,
107 x1^4*x2^9*x5^3*x7^4,
109 x1^4*x2^8*x3^4*x5^3,
110 x1^4*x2^6*x3^5*x5^3,
111 x1^4*x2^6*x3^4*x4^3*x5^3,
112 x1^4*x2^6*x3^4*x5^4,
113 x1^4*x2^4*x4^4*x5^3*x7^4,
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,
125 x1^4*x3^5*x5^2*x6^5,
126 x1^4*x3^5*x5^2*x6^3*x7,
128 x1^4*x3^4*x4^8*x5^3,
130 x1^4*x3^4*x4^5*x5^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,
135 x1^4*x3^3*x4^3*x5^2*x6^5,
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,
140 x1^4*x3*x4^4*x5^3*x7^4,
144 x1^4*x4^8*x5^3*x7^3,
146 x1^4*x4^5*x5^3*x7^4,
150 x1^4*x4^4*x5^3*x6*x7^3,
151 x1^4*x4^4*x5^2*x6^5,
152 x1^4*x4^4*x5^2*x6^4*x7,
154 x1^3*x2^9*x5^3*x6*x7^3*x8^2,
155 x1^3*x2^9*x5^3*x7^4*x8^2,
156 x1^3*x2^9*x5^3*x8^6,
157 x1^3*x2^8*x3^4*x5^3*x8^2,
158 x1^3*x2^8*x3^3*x5^3*x8^6,
159 x1^3*x2^6*x3^6*x5^3,
160 x1^3*x2^6*x3^5*x5^3*x8^2,
161 x1^3*x2^6*x5^6*x6^4,
162 x1^3*x2^4*x5^7*x6^4,
163 x1^3*x2^4*x5^6*x6^5,
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,
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,
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,
191 x1^3*x3^4*x5^7,
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,
204 x1^3*x3*x5^7*x6^4,
205 x1^3*x3*x5^6*x6^5,
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,
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,
215 x1^3*x4*x5^7*x6^4,
216 x1^3*x4*x5^6*x6^5,
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,
220 x1^3*x5^7*x8^6,
221 x1^3*x5^6*x6^6,
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,
227 x1*x2^6*x3^6*x4^3*x5^3,
228 x1*x2^6*x3^6*x5^4,
229 x1*x2^6*x3^4*x4^3*x5^3*x8^2,
230 x1*x2^6*x3^4*x5^6,
231 x1*x2^6*x3^4*x5^4*x8^2,
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,
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,
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,
249 x1*x2^4*x5^6*x6^5*x8^3,
250 x1*x2^4*x5^6*x6^4*x7*x8^3,
251 x1*x2^4*x5^6*x7^4*x8^3,
260 x1*x3^6*x4^8*x5^3,
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,
266 x1*x3^6*x5^2*x6^5,
267 x1*x3^6*x5^2*x6^4*x7,
268 x1*x3^5*x5^2*x6^5*x8^2,
269 x1*x3^5*x5^2*x6^4*x7^2,
270 x1*x3^5*x5^2*x6^4*x7*x8^2,
272 x1*x3^4*x4^8*x5^6,
273 x1*x3^4*x4^8*x5^3*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,
277 x1*x3^3*x5^4*x6^5,
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,
284 x1*x3^2*x5^6*x6^5,
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,
288 x1*x3*x5^6*x6^5*x8^3,
289 x1*x3*x5^6*x6^4*x7*x8^3,
290 x1*x3*x5^6*x7^4*x8^3,
291 x1*x4^10*x5^4,
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,
303 x2^10*x3^4*x5,
309 x2^10*x5*x7^4,
315 x2^9*x4^3*x5^3*x6*x7^3*x8^2,
316 x2^9*x4^3*x5^3*x8^6,
317 x2^9*x5^4*x6*x7^3*x8^2,
318 x2^9*x5^4*x8^6,
319 x2^9*x5^3*x6^2*x7^3*x8^2,
320 x2^9*x5^3*x6^2*x8^6,
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,
328 x2^8*x3^4*x5^3*x6^2*x8^2,
330 x2^8*x3^3*x5^3*x6^2*x8^6,
333 x2^8*x5^7*x7^4,
334 x2^8*x5^6*x6^4,
335 x2^8*x5^6*x6*x7^3,
336 x2^8*x5^6*x7^8,
337 x2^8*x5^3*x8^7,
340 x2^6*x3^6*x4^3*x5^3*x6,
341 x2^6*x3^6*x5^4*x6,
342 x2^6*x3^6*x5^3*x6^2,
343 x2^6*x3^6*x5^3*x6*x7^6,
344 x2^6*x3^5*x5^3*x6^2*x8^2,
345 x2^6*x3^5*x5^3*x8^7,
348 x2^6*x3^4*x4^3*x5^3*x6*x8^2,
350 x2^6*x3^4*x5^6*x6,
351 x2^6*x3^4*x5^4*x6^3,
352 x2^6*x3^4*x5^4*x6*x8^2,
353 x2^6*x3^3*x4^3*x5^3*x8^6,
356 x2^6*x3^3*x5^4*x6^4,
357 x2^6*x3^3*x5^4*x6*x7^3*x8^2,
358 x2^6*x3^3*x5^4*x8^6,
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,
362 x2^6*x3^2*x5^6*x6^4,
363 x2^6*x3^2*x5^6*x6*x7^3,
364 x2^6*x4^4*x5^3*x8^6,
367 x2^6*x4^3*x5^3*x8^7,
370 x2^6*x4^2*x5^6*x6^4,
371 x2^6*x5^6*x6^4*x8^3,
372 x2^6*x5^6*x6*x7^3*x8^3,
373 x2^6*x5^6*x8^6,
374 x2^6*x5^4*x8^7,
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,
381 x2^5*x3^5*x5^3*x6^2*x7*x8^6,
384 x2^5*x3^4*x4^3*x5^3*x6*x7*x8^2,
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,
389 x2^5*x3^4*x5^7,
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,
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,
398 x2^5*x3^3*x5^4*x7*x8^6,
399 x2^5*x3^3*x5^3*x6^2*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,
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,
414 x2^5*x5^7*x8^6,
415 x2^5*x5^6*x7*x8^6,
416 x2^4*x4^4*x5^3*x7^8*x8^2,
418 x2^4*x5^8*x6^4,
419 x2^4*x5^8*x7^3,
420 x2^4*x5^7*x6^4*x8^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,
450 x3^9*x5^2,
457 x3^7*x5^3,
458 x3^7*x5^2*x6^3,
462 x3^6*x4^8*x5^3*x6,
464 x3^6*x4^6*x5^3*x6*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,
472 x3^6*x4*x5^2*x6^5,
473 x3^6*x4*x5^2*x6^4*x7,
474 x3^6*x5^3*x6*x7^7,
475 x3^6*x5^3*x7^8,
477 x3^5*x4*x5^2*x6^5*x8^2,
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,
481 x3^5*x5^2*x6^5*x8^6,
482 x3^5*x5^2*x6^4*x7*x8^6,
483 x3^5*x5^2*x6^3*x7*x8^7,
487 x3^4*x4^8*x5^6*x6,
488 x3^4*x4^8*x5^4*x6^3,
489 x3^4*x4^8*x5^3*x6*x8^2,
491 x3^4*x4^6*x5^7,
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,
497 x3^4*x5^8,
498 x3^3*x4^3*x5^3*x6*x7^4*x8^2,
499 x3^3*x4^3*x5^3*x7^4*x8^6,
500 x3^3*x4^3*x5^2*x6^5*x8^2,
501 x3^3*x4^3*x5^2*x6^4*x7^2,
502 x3^3*x4^3*x5^2*x6^4*x7*x8^2,
503 x3^3*x4*x5^4*x6^5,
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,
510 x3^3*x5^4*x6^5*x8^6,
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,
523 x3^2*x4*x5^6*x6^5,
524 x3^2*x4*x5^6*x6^4*x7,
525 x3^2*x4*x5^6*x6*x7^4,
526 x3^2*x5^7*x6^4,
527 x3^2*x5^7*x7^4,
528 x3^2*x5^6*x6^6,
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,
533 x3*x5^8*x6^4,
534 x3*x5^8*x7^3,
535 x3*x5^7*x6^4*x8^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,
540 x4^10*x5^7,
541 x4^10*x5^4*x6,
548 x4^8*x5^7*x7^3,
549 x4^8*x5^4*x6^4,
550 x4^8*x5^3*x8^6,
554 x4^6*x5^7*x8^6,
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,
560 x4^5*x5^3*x7^8*x8^2,
567 x4^4*x5^4*x6^5,
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,
572 x4^4*x5^2*x6^5*x8^2,
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,
580 x4^3*x5^3*x7*x8^7,
581 x4^3*x5^2*x6^5*x8^7,
582 x4^3*x5^2*x6^3*x7*x8^7,
585 x4^2*x5^7*x6^4,
586 x4^2*x5^7*x7^4,
587 x4^2*x5^6*x6^5,
588 x4^2*x5^6*x6^4*x7,
589 x4^2*x5^6*x6*x7^4,
590 x4^2*x5^6*x7^8,
591 x4*x5^8*x6^4,
592 x4*x5^8*x7^3,
593 x4*x5^7*x6^4*x8^3,
594 x4*x5^7*x7^4*x8^3,
595 x4*x5^6*x6^5*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,
600 x5^8*x6^6,
601 x5^8*x8^6,
602 x5^7*x6^4*x8^6,
603 x5^7*x8^7,
604 x5^6*x6^6*x7^9,
605 x5^6*x6^6*x8^3,
606 x5^6*x6^5*x8^6,
607 x5^6*x6^4*x7*x8^6,
608 x5^6*x7^10,
609 x5^6*x7^4*x8^6,
610 x5^4*x6^5*x8^7,
611 x5^4*x7*x8^7,
612 x5^3*x7^3*x8^7,
613 x5^2*x6^3*x7^3*x8^7,