Lines Matching refs:x5
1 R = QQ[x1, x2, x3, x4, x5, x6];
3 -x2^17*x3^3*x4*x5^6*x6^2 +
4 x2^17*x3^3*x4*x5^6 +
7 x2^17*x3^3*x5^6*x6^2 +
8 -x2^17*x3^3*x5^6 +
11 x2^17*x4*x5^6*x6^2 +
12 -x2^17*x4*x5^6 +
15 -x2^17*x5^6*x6^2 +
16 x2^17*x5^6 +
19 -x2^16*x3^4*x4*x5^6*x6^2 +
20 x2^16*x3^4*x4*x5^6 +
23 x2^16*x3^4*x5^6*x6^2 +
24 -x2^16*x3^4*x5^6 +
27 x2^16*x3^3*x4*x5^6*x6^2 +
28 -x2^16*x3^3*x4*x5^6 +
31 -x2^16*x3^3*x5^6*x6^2 +
32 x2^16*x3^3*x5^6 +
35 -x2^16*x3*x4*x5^12*x6^2 +
36 x2^16*x3*x4*x5^12 +
37 x2^16*x3*x4*x5^6*x6^2 +
38 -x2^16*x3*x4*x5^6 +
39 x2^16*x3*x5^12*x6^2 +
40 -x2^16*x3*x5^12 +
41 -x2^16*x3*x5^6*x6^2 +
42 x2^16*x3*x5^6 +
43 x2^16*x4*x5^12*x6^2 +
44 -x2^16*x4*x5^12 +
45 -x2^16*x4*x5^6*x6^2 +
46 x2^16*x4*x5^6 +
47 -x2^16*x5^12*x6^2 +
48 x2^16*x5^12 +
49 x2^16*x5^6*x6^2 +
50 -x2^16*x5^6 +
51 -x2^15*x3^5*x4*x5^6*x6^2 +
52 x2^15*x3^5*x4*x5^6 +
55 x2^15*x3^5*x5^6*x6^2 +
56 -x2^15*x3^5*x5^6 +
59 x2^15*x3^4*x4*x5^6*x6^2 +
60 -x2^15*x3^4*x4*x5^6 +
63 -x2^15*x3^4*x5^6*x6^2 +
64 x2^15*x3^4*x5^6 +
67 -x2^15*x3*x4*x5^18*x6^2 +
68 x2^15*x3*x4*x5^18 +
69 x2^15*x3*x4*x5^12*x6^2 +
70 -x2^15*x3*x4*x5^12 +
71 x2^15*x3*x5^18*x6^2 +
72 -x2^15*x3*x5^18 +
73 -x2^15*x3*x5^12*x6^2 +
74 x2^15*x3*x5^12 +
75 x2^15*x4*x5^18*x6^2 +
76 -x2^15*x4*x5^18 +
77 -x2^15*x4*x5^12*x6^2 +
78 x2^15*x4*x5^12 +
79 -x2^15*x5^18*x6^2 +
80 x2^15*x5^18 +
81 x2^15*x5^12*x6^2 +
82 -x2^15*x5^12 +
83 -x2^14*x3^6*x4*x5^6*x6^2 +
84 x2^14*x3^6*x4*x5^6 +
87 x2^14*x3^6*x5^6*x6^2 +
88 -x2^14*x3^6*x5^6 +
91 x2^14*x3^5*x4*x5^6*x6^2 +
92 -x2^14*x3^5*x4*x5^6 +
95 -x2^14*x3^5*x5^6*x6^2 +
96 x2^14*x3^5*x5^6 +
99 -x2^14*x3*x4*x5^24*x6^2 +
100 x2^14*x3*x4*x5^24 +
101 x2^14*x3*x4*x5^18*x6^2 +
102 -x2^14*x3*x4*x5^18 +
103 x2^14*x3*x5^24*x6^2 +
104 -x2^14*x3*x5^24 +
105 -x2^14*x3*x5^18*x6^2 +
106 x2^14*x3*x5^18 +
107 x2^14*x4*x5^24*x6^2 +
108 -x2^14*x4*x5^24 +
109 -x2^14*x4*x5^18*x6^2 +
110 x2^14*x4*x5^18 +
111 -x2^14*x5^24*x6^2 +
112 x2^14*x5^24 +
113 x2^14*x5^18*x6^2 +
114 -x2^14*x5^18 +
115 -x2^13*x3^7*x4*x5^6*x6^2 +
116 x2^13*x3^7*x4*x5^6 +
119 x2^13*x3^7*x5^6*x6^2 +
120 -x2^13*x3^7*x5^6 +
123 x2^13*x3^6*x4*x5^6*x6^2 +
124 -x2^13*x3^6*x4*x5^6 +
127 -x2^13*x3^6*x5^6*x6^2 +
128 x2^13*x3^6*x5^6 +
131 -x2^13*x3*x4*x5^30*x6^2 +
132 x2^13*x3*x4*x5^30 +
133 x2^13*x3*x4*x5^24*x6^2 +
134 -x2^13*x3*x4*x5^24 +
135 x2^13*x3*x5^30*x6^2 +
136 -x2^13*x3*x5^30 +
137 -x2^13*x3*x5^24*x6^2 +
138 x2^13*x3*x5^24 +
139 x2^13*x4*x5^30*x6^2 +
140 -x2^13*x4*x5^30 +
141 -x2^13*x4*x5^24*x6^2 +
142 x2^13*x4*x5^24 +
143 -x2^13*x5^30*x6^2 +
144 x2^13*x5^30 +
145 x2^13*x5^24*x6^2 +
146 -x2^13*x5^24 +
147 -x2^12*x3^8*x4*x5^6*x6^2 +
148 x2^12*x3^8*x4*x5^6 +
151 x2^12*x3^8*x5^6*x6^2 +
152 -x2^12*x3^8*x5^6 +
155 x2^12*x3^7*x4*x5^6*x6^2 +
156 -x2^12*x3^7*x4*x5^6 +
159 -x2^12*x3^7*x5^6*x6^2 +
160 x2^12*x3^7*x5^6 +
163 -x2^12*x3*x4*x5^37*x6^2 +
164 x2^12*x3*x4*x5^37 +
165 x2^12*x3*x4*x5^30*x6^2 +
166 -x2^12*x3*x4*x5^30 +
167 x2^12*x3*x5^37*x6^2 +
168 -x2^12*x3*x5^37 +
169 -x2^12*x3*x5^30*x6^2 +
170 x2^12*x3*x5^30 +
171 x2^12*x4*x5^37*x6^2 +
172 -x2^12*x4*x5^37 +
173 -x2^12*x4*x5^30*x6^2 +
174 x2^12*x4*x5^30 +
175 -x2^12*x5^37*x6^2 +
176 x2^12*x5^37 +
177 x2^12*x5^30*x6^2 +
178 -x2^12*x5^30 +
179 -x2^2*x3^8*x4*x5^6*x6^4 +
180 x2^2*x3^8*x4*x5^6*x6^2 +
183 x2^2*x3^8*x5^6*x6^4 +
184 -x2^2*x3^8*x5^6*x6^2 +
187 -x2^2*x3^5*x4*x5^6*x6^5 +
188 x2^2*x3^5*x4*x5^6*x6^4 +
191 x2^2*x3^5*x5^6*x6^5 +
192 -x2^2*x3^5*x5^6*x6^4 +
195 -x2^2*x3^4*x4*x5^6*x6^6 +
196 x2^2*x3^4*x4*x5^6*x6^5 +
199 x2^2*x3^4*x5^6*x6^6 +
200 -x2^2*x3^4*x5^6*x6^5 +
203 -x2^2*x3^3*x4*x5^6*x6^7 +
204 x2^2*x3^3*x4*x5^6*x6^6 +
207 x2^2*x3^3*x5^6*x6^7 +
208 -x2^2*x3^3*x5^6*x6^6 +
211 -x2^2*x3^2*x4*x5^6*x6^8 +
212 x2^2*x3^2*x4*x5^6*x6^7 +
215 x2^2*x3^2*x5^6*x6^8 +
216 -x2^2*x3^2*x5^6*x6^7 +
219 -x2^2*x3*x4*x5^37*x6^5 +
220 x2^2*x3*x4*x5^37*x6^2 +
221 -x2^2*x3*x4*x5^31*x6^6 +
222 x2^2*x3*x4*x5^31*x6^5 +
223 -x2^2*x3*x4*x5^25*x6^7 +
224 x2^2*x3*x4*x5^25*x6^6 +
225 -x2^2*x3*x4*x5^19*x6^8 +
226 x2^2*x3*x4*x5^19*x6^7 +
227 -x2^2*x3*x4*x5^13*x6^9 +
228 x2^2*x3*x4*x5^13*x6^8 +
229 x2^2*x3*x4*x5^6*x6^8 +
230 -x2^2*x3*x4*x5^6*x6^2 +
233 x2^2*x3*x5^37*x6^5 +
234 -x2^2*x3*x5^37*x6^2 +
235 x2^2*x3*x5^31*x6^6 +
236 -x2^2*x3*x5^31*x6^5 +
237 x2^2*x3*x5^25*x6^7 +
238 -x2^2*x3*x5^25*x6^6 +
239 x2^2*x3*x5^19*x6^8 +
240 -x2^2*x3*x5^19*x6^7 +
241 x2^2*x3*x5^13*x6^9 +
242 -x2^2*x3*x5^13*x6^8 +
243 -x2^2*x3*x5^6*x6^8 +
244 x2^2*x3*x5^6*x6^2 +
247 x2^2*x4*x5^37*x6^5 +
248 -x2^2*x4*x5^37*x6^2 +
249 x2^2*x4*x5^31*x6^6 +
250 -x2^2*x4*x5^31*x6^5 +
251 x2^2*x4*x5^25*x6^7 +
252 -x2^2*x4*x5^25*x6^6 +
253 x2^2*x4*x5^19*x6^8 +
254 -x2^2*x4*x5^19*x6^7 +
255 x2^2*x4*x5^13*x6^9 +
256 -x2^2*x4*x5^13*x6^8 +
259 -x2^2*x5^37*x6^5 +
260 x2^2*x5^37*x6^2 +
261 -x2^2*x5^31*x6^6 +
262 x2^2*x5^31*x6^5 +
263 -x2^2*x5^25*x6^7 +
264 x2^2*x5^25*x6^6 +
265 -x2^2*x5^19*x6^8 +
266 x2^2*x5^19*x6^7 +
267 -x2^2*x5^13*x6^9 +
268 x2^2*x5^13*x6^8 +
271 x3^8*x4*x5^6*x6^4 +
272 -x3^8*x4*x5^6 +
275 -x3^8*x5^6*x6^4 +
276 x3^8*x5^6 +
279 x3^5*x4*x5^6*x6^5 +
280 -x3^5*x4*x5^6*x6^4 +
283 -x3^5*x5^6*x6^5 +
284 x3^5*x5^6*x6^4 +
287 x3^4*x4*x5^6*x6^6 +
288 -x3^4*x4*x5^6*x6^5 +
291 -x3^4*x5^6*x6^6 +
292 x3^4*x5^6*x6^5 +
295 x3^3*x4*x5^6*x6^7 +
296 -x3^3*x4*x5^6*x6^6 +
299 -x3^3*x5^6*x6^7 +
300 x3^3*x5^6*x6^6 +
303 x3^2*x4*x5^6*x6^8 +
304 -x3^2*x4*x5^6*x6^7 +
307 -x3^2*x5^6*x6^8 +
308 x3^2*x5^6*x6^7 +
311 x3*x4*x5^37*x6^5 +
312 -x3*x4*x5^37 +
313 x3*x4*x5^31*x6^6 +
314 -x3*x4*x5^31*x6^5 +
315 x3*x4*x5^25*x6^7 +
316 -x3*x4*x5^25*x6^6 +
317 x3*x4*x5^19*x6^8 +
318 -x3*x4*x5^19*x6^7 +
319 x3*x4*x5^13*x6^9 +
320 -x3*x4*x5^13*x6^8 +
321 -x3*x4*x5^6*x6^8 +
322 x3*x4*x5^6 +
325 -x3*x5^37*x6^5 +
326 x3*x5^37 +
327 -x3*x5^31*x6^6 +
328 x3*x5^31*x6^5 +
329 -x3*x5^25*x6^7 +
330 x3*x5^25*x6^6 +
331 -x3*x5^19*x6^8 +
332 x3*x5^19*x6^7 +
333 -x3*x5^13*x6^9 +
334 x3*x5^13*x6^8 +
335 x3*x5^6*x6^8 +
336 -x3*x5^6 +
339 -x4*x5^37*x6^5 +
340 x4*x5^37 +
341 -x4*x5^31*x6^6 +
342 x4*x5^31*x6^5 +
343 -x4*x5^25*x6^7 +
344 x4*x5^25*x6^6 +
345 -x4*x5^19*x6^8 +
346 x4*x5^19*x6^7 +
347 -x4*x5^13*x6^9 +
348 x4*x5^13*x6^8 +
351 x5^37*x6^5 +
352 -x5^37 +
353 x5^31*x6^6 +
354 -x5^31*x6^5 +
355 x5^25*x6^7 +
356 -x5^25*x6^6 +
357 x5^19*x6^8 +
358 -x5^19*x6^7 +
359 x5^13*x6^9 +
360 -x5^13*x6^8 +