- Timestamp:
- 2016-06-15T08:49:08-07:00 (9 years ago)
- File:
-
- 1 edited
-
branches/f4grobner/5am-buchberger.lisp (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-buchberger.lisp
r4477 r4478 151 151 ) 152 152 153 ;; A tough example learned from Cox 154 ;; poly_grobner([x^5+y^4+z^3-1,x^3+y^3+z^2-1], [x,y,z]); 155 (def-fixture buchberger-cox-tough-context () 156 (let ((fl (cdr (string->poly "[x^5+y^4+z^3-1,x^3+y^3+z^2-1]" '(x y z)))) 157 (gb (cdr (string->poly "[z^3+y^4+x^5-1,z^2+y^3+x^3-1,z^3-x^2*z^2+y^4-x^2*y^3+x^2-1, 158 (-z^4)-x*z^3-2*y^3*z^2+2*z^2-y^6-x*y^4+2*y^3+x-1, 159 (-y^2*z^4)+x*z^4-x*y^2*z^3+y*z^3+x^2*z^3-2*y^5*z^2+2*x*y^3*z^2 160 +2*y^2*z^2-x^2*y*z^2-2*x*z^2-y^8+3*y^5-2*x*y^3+x*y^2-y^2 161 +x^2*y-y-x^2+x, 162 z^7+y^2*z^6+2*y*z^6+3*y^3*z^5+x*y^2*z^5+x*y*z^5-y*z^5-x^2*z^5-3*z^5 163 +2*y^5*z^4+5*y^4*z^4-x*y^3*z^4-x*y^2*z^4-2*y^2*z^4-6*y*z^4-x^2*z^4 164 -x*z^4+z^4+3*y^6*z^3-9*y^3*z^3+x*y^2*z^3-y*z^3-x^2*z^3+4*z^3+y^8*z^2 165 +4*y^7*z^2-y^5*z^2-9*y^4*z^2+2*y^3*z^2+x*y^2*z^2-y^2*z^2-2*x*y*z^2 166 +7*y*z^2+3*x^2*z^2+x*z^2-3*z^2+y^9*z-5*y^6*z-x*y^3*z+5*y^3*z 167 -x^2*y^2*z+y^2*z+x^2*y*z-x*y*z+2*x*z-2*z+y^10+y^8-5*y^7+y^6-3*y^5 168 +4*y^4+2*x*y^3-y^3+x^2*y^2-2*x*y^2+y^2-x^2*y+2*x*y-y-2*x+2, 169 z^9+y^2*z^8+y*z^8+3*z^8+3*y^3*z^7+x*y^2*z^7+2*y^2*z^7-y*z^7-x^2*z^7 170 +2*x*z^7-3*z^7+2*y^5*z^6+3*y^4*z^6-x*y^3*z^6+9*y^3*z^6+x*y^2*z^6 171 -2*y^2*z^6-x*y*z^6-7*y*z^6-x^2*z^6-13*z^6+3*y^6*z^5+5*y^5*z^5 172 -7*y^3*z^5+x*y^2*z^5-9*y^2*z^5-2*x*y*z^5-x^2*z^5-3*x*z^5+z^5+y^8*z^4 173 +3*y^7*z^4+10*y^6*z^4-y^5*z^4-14*y^4*z^4-30*y^3*z^4-3*x*y^2*z^4 174 +y^2*z^4+4*x*y*z^4+14*y*z^4+6*x^2*z^4-3*x*z^4+22*z^4+y^9*z^3 175 +4*y^8*z^3-4*y^6*z^3-18*y^5*z^3+2*y^4*z^3+5*x*y^3*z^3+4*y^3*z^3 176 +14*y^2*z^3+x*y*z^3-y*z^3-x^2*z^3-2*x*z^3+y^10*z^2+5*y^9*z^2+y^8*z^2 177 -9*y^7*z^2-23*y^6*z^2+y^5*z^2+13*y^4*z^2-3*x*y^3*z^2+34*y^3*z^2 178 -4*x*y^2*z^2-3*y^2*z^2-x*y*z^2-7*y*z^2-2*x^2*z^2+8*x*z^2-13*z^2 179 +y^11*z-8*y^8*z+y^7*z+13*y^5*z-7*x*y^3*z+5*x*y^2*z-5*y^2*z+2*x^2*y*z 180 -x*y*z-y*z-2*x^2*z+3*x*z-z+y^12-y^10-7*y^9+2*y^8+5*y^7+14*y^6-3*y^5 181 -4*y^4+6*x*y^3-13*y^3-x*y^2+y^2-2*x^2*y+2*y+2*x^2-5*x+3, 182 (-z^9)-y^2*z^8-y*z^8-5*z^8-3*y^3*z^7-x*y^2*z^7-4*y^2*z^7-y*z^7+x^2*z^7 183 -2*x*z^7+z^7-2*y^5*z^6-3*y^4*z^6+x*y^3*z^6-15*y^3*z^6-3*x*y^2*z^6 184 -6*y^2*z^6+x*y*z^6+5*y*z^6+3*x^2*z^6+2*x*z^6+17*z^6-3*y^6*z^5 185 -9*y^5*z^5-6*y^4*z^5+2*x*y^3*z^5+y^3*z^5-7*x*y^2*z^5+11*y^2*z^5 186 +10*y*z^5+5*x^2*z^5+3*x*z^5+3*z^5-y^8*z^4-3*y^7*z^4-16*y^6*z^4 187 -17*y^5*z^4+4*y^4*z^4+8*x*y^3*z^4+38*y^3*z^4+x*y^2*z^4+23*y^2*z^4 188 -2*x*y*z^4-3*x*z^4-20*z^4-y^9*z^3-6*y^8*z^3-6*y^7*z^3-2*y^6*z^3 189 +16*y^5*z^3+16*y^4*z^3-3*x*y^3*z^3+10*y^3*z^3+4*x*y^2*z^3 190 -6*y^2*z^3-x*y*z^3-11*y*z^3-5*x^2*z^3-6*z^3-y^10*z^2-7*y^9*z^2 191 -13*y^8*z^2+y^7*z^2+25*y^6*z^2+33*y^5*z^2+y^4*z^2-11*x*y^3*z^2 192 -28*y^3*z^2+8*x*y^2*z^2-19*y^2*z^2+3*x*y*z^2-3*y*z^2-4*x^2*z^2 193 +11*z^2-y^11*z-2*y^10*z-2*y^9*z+4*y^8*z+9*y^7*z+8*y^6*z-y^5*z 194 -8*y^4*z+x*y^3*z-8*y^3*z+x*y^2*z-y^2*z-x*y*z+y*z-x*z+z-y^12 195 -2*y^11-y^10+5*y^9+10*y^8+3*y^7-6*y^6-11*y^5-4*y^4+2*x*y^3+5*y^3 196 -3*x*y^2+3*y^2+x-1, 197 (-y*z^7)+3*y^2*z^6-x*y*z^6-x*z^6-z^6-2*y^4*z^5+3*x*y^2*z^5+2*y*z^5 198 +7*y^5*z^4-3*x*y^3*z^4-9*y^2*z^4+y*z^4+3*x*z^4-y^7*z^3 199 -3*x*y^2*z^3+2*x*y*z^3-y*z^3+2*z^3+5*y^8*z^2-14*y^5*z^2 200 +2*y^4*z^2+6*x*y^3*z^2-3*x*y^2*z^2+9*y^2*z^2-2*y*z^2-3*x*z^2 201 +y^11-6*y^8+y^7+7*y^5-3*x*y^3+3*x*y^2-3*y^2-x*y+y+x-1, 202 y*z^9-9*z^9-3*y^2*z^8+x*y*z^8+3*y*z^8-8*x*z^8+19*z^8+2*y^4*z^7 203 -21*y^3*z^7-3*x*y^2*z^7+12*y^2*z^7+3*x*y*z^7+12*x*z^7+21*z^7 204 -7*y^5*z^6+15*y^4*z^6+54*y^3*z^6+9*x*y^2*z^6-4*x*y*z^6-31*y*z^6 205 +8*x*z^6-61*z^6+y^7*z^5-15*y^6*z^5+30*y^5*z^5+4*y^4*z^5+42*y^3*z^5 206 -3*x*y^2*z^5-42*y^2*z^5-20*x*y*z^5+3*y*z^5-29*z^5-5*y^8*z^4 207 +24*y^7*z^4+60*y^6*z^4-83*y^4*z^4-141*y^3*z^4-6*x*y^2*z^4 208 +15*y^2*z^4+21*x*y*z^4+48*y*z^4-21*x*z^4+93*z^4-3*y^9*z^3 209 +24*y^8*z^3+2*y^7*z^3+9*y^6*z^3-84*y^5*z^3+12*y^4*z^3+24*x*y^3*z^3 210 -21*y^3*z^3+54*y^2*z^3+5*x*y*z^3+2*y*z^3-18*x*z^3+5*z^3-y^11*z^2 211 +15*y^10*z^2+30*y^9*z^2-4*y^8*z^2-61*y^7*z^2-105*y^6*z^2 212 +33*y^5*z^2+77*y^4*z^2-27*x*y^3*z^2+120*y^3*z^2-6*x*y^2*z^2 213 -27*y^2*z^2+x*y*z^2-33*y*z^2+32*x*z^2-44*z^2+6*y^11*z-36*y^8*z 214 +6*y^7*z+42*y^5*z-18*x*y^3*z+18*x*y^2*z-18*y^2*z-6*x*y*z+6*y*z 215 +6*x*z-6*z+3*y^13+6*y^12-2*y^11-18*y^10-33*y^9+18*y^8+28*y^7 216 +51*y^6-14*y^5-27*y^4+21*x*y^3-33*y^3-9*x*y^2+9*y^2-x*y+y-11*x+11, 217 (-y*z^9)+9*z^9+3*y^2*z^8-x*y*z^8-11*y*z^8+8*x*z^8+5*z^8-2*y^4*z^7 218 +21*y^3*z^7+3*x*y^2*z^7+4*y^2*z^7-11*x*y*z^7+4*x*z^7-29*z^7 219 +7*y^5*z^6-31*y^4*z^6+18*y^3*z^6+7*x*y^2*z^6-4*x*y*z^6+39*y*z^6 220 -8*x*z^6-35*z^6-y^7*z^5+15*y^6*z^5+10*y^5*z^5-4*y^4*z^5 221 -42*y^3*z^5+3*x*y^2*z^5-14*y^2*z^5+20*x*y*z^5+5*y*z^5-24*x*z^5 222 +29*z^5+5*y^8*z^4-32*y^7*z^4+20*y^6*z^4+83*y^4*z^4-75*y^3*z^4 223 -18*x*y^2*z^4-7*y^2*z^4+19*x*y*z^4-56*y*z^4-3*x*z^4+67*z^4 224 +3*y^9*z^3+8*y^8*z^3-2*y^7*z^3-9*y^6*z^3-28*y^5*z^3+4*y^4*z^3 225 +21*y^3*z^3-8*x*y^2*z^3+10*y^2*z^3-5*x*y*z^3-2*y*z^3+18*x*z^3 226 -5*z^3+y^11*z^2-15*y^10*z^2+10*y^9*z^2+4*y^8*z^2+61*y^7*z^2 227 -55*y^6*z^2-17*y^5*z^2-77*y^4*z^2+3*x*y^3*z^2+96*y^3*z^2 228 +6*x*y^2*z^2+11*y^2*z^2-25*x*y*z^2+33*y*z^2+16*x*z^2-52*z^2 229 +2*y^11*z-12*y^8*z+2*y^7*z+14*y^5*z-6*x*y^3*z+6*x*y^2*z-6*y^2*z 230 -2*x*y*z+2*y*z+2*x*z-2*z-3*y^13+2*y^12+2*y^11+18*y^10-15*y^9 231 -10*y^8-28*y^7+29*y^6+14*y^5+27*y^4+3*x*y^3-39*y^3+x*y^2-y^2 232 +9*x*y-9*y-13*x+13, 233 y*z^10-6*z^10-3*y^2*z^9+x*y*z^9-y*z^9-5*x*z^9+z^9+2*y^4*z^8-15*y^3*z^8 234 -3*x*y^2*z^8+9*y^2*z^8-x*y*z^8+5*y*z^8-x*z^8+32*z^8-7*y^5*z^7 235 +4*y^4*z^7+6*y^3*z^7+6*x*y^2*z^7+8*y^2*z^7+4*x*y*z^7-15*y*z^7 236 +16*x*z^7-8*z^7+y^7*z^6-12*y^6*z^6+28*y^5*z^6+23*y^4*z^6 237 +69*y^3*z^6+2*x*y^2*z^6-30*y^2*z^6-19*x*y*z^6-25*y*z^6-x*z^6 238 -69*z^6-5*y^8*z^5+14*y^7*z^5+15*y^6*z^5+20*y^5*z^5-49*y^4*z^5 239 -30*y^3*z^5+3*x*y^2*z^5-16*y^2*z^5+2*x*y*z^5+38*y*z^5-6*x*z^5 240 +14*z^5-3*y^9*z^4+32*y^8*z^4+28*y^7*z^4+49*y^6*z^4-67*y^5*z^4 241 -58*y^4*z^4-108*y^3*z^4-3*x*y^2*z^4+34*y^2*z^4+16*x*y*z^4 242 +33*y*z^4-12*x*z^4+61*z^4-y^11*z^3+12*y^10*z^3+12*y^9*z^3 243 +12*y^8*z^3-56*y^7*z^3-42*y^6*z^3-29*y^5*z^3+64*y^4*z^3 244 +36*y^3*z^3-13*x*y^2*z^3+17*y^2*z^3+9*x*y*z^3-28*y*z^3+5*x*z^3 245 +3*z^3+16*y^11*z^2+15*y^10*z^2+20*y^9*z^2-46*y^8*z^2-44*y^7*z^2 246 -65*y^6*z^2+40*y^5*z^2+47*y^4*z^2+72*y^3*z^2-11*y^2*z^2-4*x*y*z^2 247 -16*y*z^2+4*x*z^2-28*z^2+3*y^13*z+3*y^12*z+2*y^11*z-18*y^10*z 248 -15*y^9*z-9*y^8*z+32*y^7*z+21*y^6*z+14*y^5*z-27*y^4*z-6*y^3*z 249 +6*x*y^2*z-6*y^2*z-8*x*y*z+8*y*z+2*x*z-2*z+3*y^14+3*y^13+4*y^12 250 -14*y^11-15*y^10-21*y^9+10*y^8+25*y^7+34*y^6+y^5-6*y^4-24*y^3 251 +2*x*y^2-2*y^2-2*x+2, 252 3*z^10-13*y*z^9+3*x*z^9+15*z^9+6*y^3*z^8+16*y^2*z^8-13*x*y*z^8-5*y*z^8 253 +11*x*z^8+5*z^8-29*y^4*z^7+45*y^3*z^7+16*x*y^2*z^7+10*y^2*z^7 254 -10*x*y*z^7+24*y*z^7+10*x*z^7-71*z^7+3*y^6*z^6+45*y^5*z^6 255 -10*y^4*z^6+36*y^3*z^6+10*x*y^2*z^6-44*y^2*z^6-2*x*y*z^6+18*y*z^6 256 -33*x*z^6-63*z^6-19*y^7*z^5+50*y^6*z^5+25*y^5*z^5+30*y^4*z^5 257 -147*y^3*z^5-12*x*y^2*z^5-30*y^2*z^5+41*x*y*z^5-14*y*z^5-30*x*z^5 258 +110*z^5+45*y^8*z^4-5*y^7*z^4+50*y^6*z^4-95*y^5*z^4+29*y^4*z^4 259 -135*y^3*z^4-26*x*y^2*z^4+36*y^2*z^4+25*x*y*z^4-24*y*z^4+6*x*z^4 260 +103*z^4-3*y^10*z^3+25*y^9*z^3+20*y^8*z^3+3*y^7*z^3-106*y^6*z^3 261 -60*y^5*z^3-11*y^4*z^3+153*y^3*z^3-14*x*y^2*z^3+30*y^2*z^3 262 -21*x*y*z^3+3*y*z^3+39*x*z^3-54*z^3+19*y^11*z^2+25*y^9*z^2 263 -54*y^8*z^2+19*y^7*z^2-100*y^6*z^2+35*y^5*z^2-30*y^4*z^2 264 +141*y^3*z^2+12*x*y^2*z^2-4*y^2*z^2-28*x*y*z^2+19*y*z^2+16*x*z^2 265 -70*z^2+5*y^12*z+5*y^11*z-30*y^9*z-25*y^8*z+5*y^7*z+50*y^6*z 266 +35*y^5*z-45*y^3*z+10*x*y^2*z-10*y^2*z-10*x*z+10*z+3*y^14+5*y^12 267 -12*y^11+3*y^10-30*y^9-y^8-3*y^7+53*y^6+15*y^5+21*y^4-54*y^3 268 +4*x*y^2-4*y^2+8*x*y-8*y-12*x+12, 269 12*z^11-60*y*z^10+12*x*z^10-219*z^10+24*y^3*z^9-60*x*y*z^9+325*y*z^9 270 -279*x*z^9-507*z^9-132*y^4*z^8-246*y^3*z^8+240*y^2*z^8 271 +217*x*y*z^8+745*y*z^8-395*x*z^8+619*z^8+12*y^6*z^7+60*y^5*z^7 272 +1229*y^4*z^7-825*y^3*z^7-386*y^2*z^7+634*x*y*z^7-1744*y*z^7 273 +298*x*z^7+1399*z^7-84*y^7*z^6+381*y^6*z^6+875*y^5*z^6 274 +2174*y^4*z^6-108*y^3*z^6-386*x*y^2*z^6-1260*y^2*z^6-682*x*y*z^6 275 -2642*y*z^6+697*x*z^6+319*z^6+132*y^8*z^5+1723*y^7*z^5 276 -210*y^6*z^5-641*y^5*z^5-4450*y^4*z^5+1803*y^3*z^5+180*x*y^2*z^5 277 +358*y^2*z^5-1073*x*y*z^5+3238*y*z^5+1038*x*z^5-2018*z^5 278 -12*y^10*z^4+660*y^9*z^4+1171*y^8*z^4+2413*y^7*z^4-1834*y^6*z^4 279 -2933*y^5*z^4-5633*y^4*z^4+2151*y^3*z^4+546*x*y^2*z^4 280 +2180*y^2*z^4-137*x*y*z^4+3356*y*z^4-474*x*z^4-1655*z^4 281 +84*y^11*z^3+1059*y^10*z^3+255*y^9*z^3-448*y^8*z^3-4331*y^7*z^3 282 -342*y^6*z^3+368*y^5*z^3+5587*y^4*z^3-1497*y^3*z^3-194*x*y^2*z^3 283 +202*y^2*z^3+1033*x*y*z^3-2267*y*z^3-975*x*z^3+1330*z^3 284 +288*y^12*z^2+677*y^11*z^2+1200*y^10*z^2-1013*y^9*z^2 285 -2354*y^8*z^2-4123*y^7*z^2+1940*y^6*z^2+3221*y^5*z^2 286 +4582*y^4*z^2-2853*y^3*z^2-180*x*y^2*z^2-1300*y^2*z^2 287 +940*x*y*z^2-1823*y*z^2-760*x*z^2+1558*z^2+12*y^14*z+240*y^13*z 288 +99*y^12*z-49*y^11*z-1428*y^10*z-354*y^9*z+81*y^8*z+2387*y^7*z 289 +282*y^6*z+53*y^5*z-2076*y^4*z+753*y^3*z+174*x*y^2*z-174*y^2*z 290 -608*x*y*z+608*y*z+434*x*z-434*z+36*y^15+141*y^14+240*y^13 291 -145*y^12-808*y^11-1299*y^10+174*y^9+1361*y^8+2015*y^7-229*y^6 292 -1003*y^5-1281*y^4+798*y^3-140*x*y^2+140*y^2-264*x*y+264*y+404*x 293 -404, 294 75*z^11-761*y*z^10+75*x*z^10-6435*z^10+150*y^3*z^9-761*x*y*z^9 295 +10089*y*z^9-7196*x*z^9+1222*z^9-1597*y^4*z^8-10512*y^3*z^8 296 +3816*y^2*z^8+8256*x*y*z^8+8082*y*z^8-1359*x*z^8+20901*z^8 297 +75*y^6*z^7+761*y^5*z^7+32337*y^4*z^7+13806*y^3*z^7+3866*x*y*z^7 298 -51430*y*z^7+10451*x*z^7-10315*z^7-911*y^7*z^6+789*y^6*z^6 299 +8991*y^5*z^6+28159*y^4*z^6+36960*y^3*z^6-8454*y^2*z^6 300 -24431*x*y*z^6-43050*y*z^6+11835*x*z^6-36365*z^6+1597*y^8*z^5 301 +38223*y^7*z^5+26190*y^6*z^5+5499*y^5*z^5-116303*y^4*z^5 302 -39249*y^3*z^5+14442*x*y^2*z^5-12720*y^2*z^5-18045*x*y*z^5 303 +81708*y*z^5-750*x*z^5+17013*z^5-75*y^10*z^4+7599*y^9*z^4 304 +5823*y^8*z^4+35105*y^7*z^4+7548*y^6*z^4-8826*y^5*z^4 305 -101550*y^4*z^4-50391*y^3*z^4+2544*x*y^2*z^4-78*y^2*z^4 306 +12509*x*y*z^4+76559*y*z^4-13095*x*z^4+29945*z^4+911*y^11*z^3 307 +19791*y^10*z^3+18819*y^9*z^3+7043*y^8*z^3-79999*y^7*z^3 308 -58590*y^6*z^3-31089*y^5*z^3+114869*y^4*z^3+37977*y^3*z^3 309 -20802*x*y^2*z^3+21624*y^2*z^3+29182*x*y*z^3-47799*y*z^3 310 -6721*x*z^3-3557*z^3+2958*y^12*z^2-63*y^11*z^2+19080*y^10*z^2 311 +4332*y^9*z^2+7386*y^8*z^2-76383*y^7*z^2-35160*y^6*z^2 312 -21219*y^5*z^2+117900*y^4*z^2+31239*y^3*z^2-14442*x*y^2*z^2 313 +14070*y^2*z^2+11472*x*y*z^2-55446*y*z^2+2970*x*z^2-8694*z^2 314 +75*y^14*z+3816*y^13*z+4527*y^12*z+2830*y^11*z-22821*y^10*z 315 -23346*y^9*z-14403*y^8*z+41215*y^7*z+33897*y^6*z+22285*y^5*z 316 -33819*y^4*z-14256*y^3*z+8904*x*y^2*z-8904*y^2*z-9976*x*y*z 317 +9976*y*z+1072*x*z-1072*z+225*y^15-711*y^14+3816*y^13+2616*y^12 318 +6723*y^11-23607*y^10-17730*y^9-17211*y^8+42750*y^7+25251*y^6 319 +23598*y^5-39996*y^4-5724*y^3+9354*x*y^2-9354*y^2-12072*x*y 320 +12072*y+2718*x-2718, 321 33*z^11-46*y*z^10+33*x*z^10+57*z^10+66*y^3*z^9-46*x*y*z^9-86*y*z^9 322 +11*x*z^9-40*z^9-125*y^4*z^8+285*y^3*z^8-54*y^2*z^8-26*x*y*z^8 323 +90*y*z^8+76*x*z^8-239*z^8+33*y^6*z^7+46*y^5*z^7-310*y^4*z^7 324 +9*y^3*z^7-32*x*y*z^7+478*y*z^7-23*x*z^7-206*z^7-112*y^7*z^6 325 +636*y^6*z^6-184*y^5*z^6-319*y^4*z^6-1068*y^3*z^6+324*y^2*z^6 326 +130*x*y*z^6+314*y*z^6-88*x*z^6+367*z^6+125*y^8*z^5-416*y^7*z^5 327 -30*y^6*z^5-180*y^5*z^5+1203*y^4*z^5-228*y^3*z^5+180*y^2*z^5 328 +244*x*y*z^5-1020*y*z^5-330*x*z^5+361*z^5-33*y^10*z^4 329 +744*y^9*z^4-230*y^8*z^4-440*y^7*z^4-1878*y^6*z^4+738*y^5*z^4 330 +1051*y^4*z^4+1224*y^3*z^4-36*x*y^2*z^4-612*y^2*z^4+16*x*y*z^4 331 -686*y*z^4+15*x*z^4+178*z^4+112*y^11*z^3-246*y^10*z^3-96*y^9*z^3 332 -656*y^8*z^3+1098*y^7*z^3+216*y^6*z^3+474*y^5*z^3-1160*y^4*z^3 333 +246*y^3*z^3+90*x*y^2*z^3-306*y^2*z^3-254*x*y*z^3+824*y*z^3 334 +220*x*z^3-506*z^3+435*y^12*z^2-124*y^11*z^2-270*y^10*z^2 335 -1560*y^9*z^2+554*y^8*z^2+956*y^7*z^2+1860*y^6*z^2-960*y^5*z^2 336 -1078*y^4*z^2-408*y^3*z^2+414*y^2*z^2-344*x*y*z^2+444*y*z^2 337 +344*x*z^2-263*z^2+33*y^14*z-54*y^13*z-30*y^12*z-199*y^11*z 338 +357*y^10*z+126*y^9*z+306*y^8*z-640*y^7*z-105*y^6*z-304*y^5*z 339 +717*y^4*z-207*y^3*z-126*x*y^2*z+126*y^2*z+232*x*y*z-232*y*z 340 -106*x*z+106*z+99*y^15-24*y^14-54*y^13-582*y^12+166*y^11 341 +300*y^10+864*y^9-63*y^8-446*y^7-732*y^6+370*y^5+21*y^4+81*y^3 342 +72*x*y^2-72*y^2+80*x*y-80*y-152*x+152, 343 (-z^10)+z^9-5*y^3*z^8+5*z^8-10*y^6*z^6+3*y^4*z^6+20*y^3*z^6-13*z^6 344 -10*y^9*z^4+30*y^6*z^4-30*y^3*z^4+10*z^4+3*y^8*z^3-6*y^4*z^3 345 +3*z^3-5*y^12*z^2+20*y^9*z^2-30*y^6*z^2+20*y^3*z^2-5*z^2-y^15 346 +6*y^12-10*y^9-3*y^8+10*y^6+3*y^4-5*y^3, 347 (-6*y*z^11)-75*z^11-6*x*y*z^10+104*y*z^10-81*x*z^10-12*z^10-12*y^4*z^9 348 -132*y^3*z^9+36*y^2*z^9+86*x*y*z^9+172*y*z^9-73*x*z^9-7*z^9 349 +6*y^5*z^8+337*y^4*z^8+168*y^3*z^8+90*y^2*z^8+76*x*y*z^8 350 -324*y*z^8-74*x*z^8-92*z^8-6*y^7*z^7-21*y^6*z^7+76*y^5*z^7 351 +668*y^4*z^7-9*y^3*z^7-216*y^2*z^7-14*x*y*z^7-962*y*z^7 352 +163*x*z^7+316*z^7+12*y^8*z^6+398*y^7*z^6+456*y^6*z^6 353 +404*y^5*z^6-466*y^4*z^6-906*y^3*z^6-684*y^2*z^6-332*x*y*z^6 354 -58*y*z^6+218*x*z^6+850*z^6+54*y^9*z^5+23*y^8*z^5 355 +928*y^7*z^5-102*y^6*z^5-246*y^5*z^5-2463*y^4*z^5 356 +492*y^3*z^5+108*y^2*z^5-284*x*y*z^5+1914*y*z^5+426*x*z^5 357 -725*z^5+6*y^11*z^4+201*y^10*z^4+384*y^9*z^4+574*y^8*z^4 358 +112*y^7*z^4-1500*y^6*z^4-1662*y^5*z^4-845*y^4*z^4 359 +2034*y^3*z^4+1296*y^2*z^4+142*x*y*z^4+628*y*z^4-159*x*z^4 360 -1316*z^4+18*y^12*z^3-38*y^11*z^3+564*y^10*z^3+102*y^9*z^3 361 +97*y^8*z^3-2346*y^7*z^3-252*y^6*z^3-132*y^5*z^3 362 +3256*y^4*z^3-582*y^3*z^3-126*x*y^2*z^3+234*y^2*z^3 363 +436*x*y*z^3-1474*y*z^3-398*x*z^3+553*z^3+36*y^13*z^2 364 +102*y^12*z^2+332*y^11*z^2+234*y^10*z^2-606*y^9*z^2 365 -1300*y^8*z^2-1108*y^7*z^2+1482*y^6*z^2+1980*y^5*z^2 366 +1154*y^4*z^2-1956*y^3*z^2+108*x*y^2*z^2-846*y^2*z^2 367 +352*x*y*z^2-450*y*z^2-460*x*z^2+946*z^2-21*y^14*z 368 +126*y^13*z+60*y^12*z+137*y^11*z-777*y^10*z-234*y^9*z 369 -216*y^8*z+1334*y^7*z+201*y^6*z+266*y^5*z-1281*y^4*z 370 +405*y^3*z+162*x*y^2*z-162*y^2*z-392*x*y*z+392*y*z+230*x*z 371 -230*z+66*y^14+90*y^13-6*y^12-410*y^11-474*y^10+126*y^9 372 +738*y^8+688*y^7-264*y^6-692*y^5-348*y^4+486*y^3-144*x*y^2 373 +144*y^2-64*x*y+64*y+208*x-208, 374 (-3*z^12)+5*y*z^11-3*x*z^11+6*z^11-6*y^3*z^10+5*x*y*z^10+5*y*z^10 375 +2*x*z^10+8*z^10+13*y^4*z^9+21*y^3*z^9+2*x*y*z^9-13*y*z^9 376 +2*x*z^9-37*z^9-3*y^6*z^8-5*y^5*z^8+13*y^4*z^8+30*y^3*z^8 377 -3*x*y*z^8-23*y*z^8-6*x*z^8-36*z^8+11*y^7*z^7+27*y^6*z^7 378 -5*y^5*z^7-21*y^4*z^7-87*y^3*z^7-3*x*y*z^7-2*y*z^7-11*x*z^7 379 +93*z^7-13*y^8*z^6+11*y^7*z^6+27*y^6*z^6+4*y^5*z^6-47*y^4*z^6 380 -87*y^3*z^6-3*x*y*z^6+34*y*z^6+19*x*z^6+84*z^6+3*y^10*z^5 381 +15*y^9*z^5-13*y^8*z^5+6*y^7*z^5-84*y^6*z^5+9*y^5*z^5 382 -26*y^4*z^5+156*y^3*z^5-18*x*y*z^5+31*y*z^5+21*x*z^5-99*z^5 383 -11*y^11*z^4+3*y^10*z^4+15*y^9*z^4+9*y^8*z^4-16*y^7*z^4 384 -84*y^6*z^4+6*y^5*z^4+42*y^4*z^4+138*y^3*z^4-3*x*y*z^4 385 -11*y*z^4+x*z^4-93*z^4+3*y^12*z^3-11*y^11*z^3+3*y^10*z^3 386 -33*y^9*z^3+22*y^8*z^3-16*y^7*z^3+96*y^6*z^3-3*y^5*z^3 387 +55*y^4*z^3-132*y^3*z^3+27*x*y*z^3-29*y*z^3-29*x*z^3+45*z^3 388 -3*y^14*z^2+3*y^12*z^2+3*y^11*z^2-3*y^10*z^2-33*y^9*z^2 389 +13*y^8*z^2-6*y^7*z^2+87*y^6*z^2-4*y^5*z^2+13*y^4*z^2 390 -105*y^3*z^2+12*x*y*z^2-13*y*z^2-12*x*z^2+48*z^2-3*y^14*z 391 -3*y^12*z+14*y^11*z-3*y^10*z+18*y^9*z-9*y^8*z+5*y^7*z-33*y^6*z 392 -y^5*z-21*y^4*z+36*y^3*z-8*x*y*z+8*y*z+8*x*z-8*z-3*y^14-3*y^12 393 +14*y^11-3*y^10+18*y^9-9*y^8+5*y^7-33*y^6-y^5-21*y^4+36*y^3 394 -8*x*y+8*y+8*x-8, 395 315*z^13+315*x*z^12+774*z^12+630*y^3*z^11-1890*y*z^11+1719*x*z^11 396 +9852*z^11-315*y^4*z^10-972*y^3*z^10-3150*y^2*z^10-4225*y*z^10 397 +8079*x*z^10+3666*z^10+315*y^6*z^9-10224*y^4*z^9+19497*y^3*z^9 398 -2700*y^2*z^9-4621*x*y*z^9+6799*y*z^9+3419*x*z^9-34729*z^9 399 -630*y^7*z^8-6156*y^6*z^8-13860*y^5*z^8-23729*y^4*z^8 400 +21345*y^3*z^8+15300*y^2*z^8-656*x*y*z^8+25824*y*z^8 401 -10787*x*z^8-34142*z^8+315*y^8*z^7-17928*y^7*z^7+10779*y^6*z^7 402 -19355*y^5*z^7+10688*y^4*z^7-59724*y^3*z^7+28800*y^2*z^7 403 +12394*x*y*z^7+6166*y*z^7-23597*x*z^7+59056*z^7-315*y^10*z^6 404 -6300*y^9*z^6-21276*y^8*z^6-40003*y^7*z^6+21309*y^6*z^6 405 +29183*y^5*z^6+63701*y^4*z^6-59964*y^3*z^6-8550*y^2*z^6 406 +13669*x*y*z^6-24442*y*z^6-2422*x*z^6+58708*z^6+630*y^11*z^5 407 -12744*y^10*z^5-1620*y^9*z^5-31936*y^8*z^5+8197*y^7*z^5 408 -28218*y^6*z^5+69783*y^5*z^5+39183*y^4*z^5+76677*y^3*z^5 409 -42750*y^2*z^5-9161*x*y*z^5-37728*y*z^5+10092*x*z^5-38978*z^5 410 -1890*y^12*z^4-13572*y^11*z^4-25719*y^10*z^4+195*y^9*z^4 411 +16753*y^8*z^4+60793*y^7*z^4-13668*y^6*z^4+9282*y^5*z^4 412 -18056*y^4*z^4+59751*y^3*z^4-21600*y^2*z^4-20831*x*y*z^4 413 -6707*y*z^4+21327*x*z^4-44501*z^4+315*y^14*z^3-3150*y^13*z^3 414 -1494*y^12*z^3-19442*y^11*z^3-9264*y^10*z^3-14991*y^9*z^3 415 +54214*y^8*z^3+69093*y^7*z^3+56187*y^6*z^3-51801*y^5*z^3 416 -76880*y^4*z^3-53124*y^3*z^3+13950*y^2*z^3-746*x*y*z^3 417 +31337*y*z^3+1807*x*z^3+5050*z^3-3006*y^14*z^2-5850*y^13*z^2 418 -3489*y^12*z^2+1451*y^11*z^2+14094*y^10*z^2+3354*y^9*z^2 419 +24986*y^8*z^2+5933*y^7*z^2+8574*y^6*z^2-39423*y^5*z^2 420 -27604*y^4*z^2-19515*y^3*z^2+1350*x*y^2*z^2+19350*y^2*z^2 421 +1024*x*y*z^2+13794*y*z^2-2374*x*z^2+7351*z^2-3531*y^14*z 422 -6300*y^13*z-4881*y^12*z+17228*y^11*z+34269*y^10*z+22986*y^9*z 423 -16443*y^8*z-56365*y^7*z-33441*y^6*z+4073*y^5*z+31983*y^4*z 424 +10422*y^3*z-2700*x*y^2*z+2700*y^2*z+7384*x*y*z-7384*y*z 425 -4684*x*z+4684*z-3021*y^14-3600*y^13-2346*y^12+15973*y^11 426 +18579*y^10+10476*y^9-19638*y^8-29090*y^7-15681*y^6+12118*y^5 427 +11253*y^4+4977*y^3+1350*x*y^2-1350*y^2+1544*x*y-1544*y-2894*x 428 +2894, 429 75*z^14+75*x*z^13+270*z^13+150*y^3*z^12-450*y*z^12+495*x*z^12+1887*z^12 430 -75*y^4*z^11-60*y^3*z^11-750*y^2*z^11-420*y*z^11+1722*x*z^11 431 +4701*z^11+75*y^6*z^10-2520*y^4*z^10+3039*y^3*z^10-1500*y^2*z^10 432 +1850*y*z^10+3252*x*z^10-5517*z^10-150*y^7*z^9-1380*y^6*z^9 433 -3300*y^5*z^9-5562*y^4*z^9+14736*y^3*z^9+3000*y^2*z^9 434 -748*x*y*z^9+5537*y*z^9-1378*x*z^9-25852*z^9+75*y^8*z^8 435 -4440*y^7*z^8+222*y^6*z^8-9480*y^5*z^8-152*y^4*z^8-1290*y^3*z^8 436 +11250*y^2*z^8+2297*x*y*z^8+2537*y*z^8-10081*x*z^8-3496*z^8 437 -75*y^10*z^7-1500*y^9*z^7-4980*y^8*z^7-11964*y^7*z^7 438 +13977*y^6*z^7+760*y^5*z^7+15094*y^4*z^7-49962*y^3*z^7 439 +5250*y^2*z^7+5922*x*y*z^7-7042*y*z^7-9036*x*z^7+51603*z^7 440 +150*y^11*z^6-3120*y^10*z^6-2100*y^9*z^6-16263*y^8*z^6 441 -5464*y^7*z^6+6267*y^6*z^6+26479*y^5*z^6+14988*y^4*z^6 442 -19782*y^3*z^6-14250*y^2*z^6+22*x*y*z^6-8196*y*z^6+6539*x*z^6 443 +27604*z^6-450*y^12*z^5-3060*y^11*z^5-8922*y^10*z^5+3090*y^9*z^5 444 -7543*y^8*z^5+20411*y^7*z^5-29934*y^6*z^5+22579*y^5*z^5 445 -5721*y^4*z^5+71151*y^3*z^5-16500*y^2*z^5-12193*x*y*z^5-64*y*z^5 446 +13596*x*z^5-45139*z^5+75*y^14*z^4-750*y^13*z^4-870*y^12*z^4 447 -10761*y^11*z^4-8022*y^10*z^4+810*y^9*z^4+20939*y^8*z^4 448 +29709*y^7*z^4-12909*y^6*z^4-12709*y^5*z^4-16003*y^4*z^4 449 +39588*y^3*z^4+750*y^2*z^4-6153*x*y*z^4+4784*y*z^4+6051*x*z^4 450 -35013*z^4-630*y^14*z^3-2250*y^13*z^3-522*y^12*z^3-7496*y^11*z^3 451 +2943*y^10*z^3-10383*y^9*z^3+25857*y^8*z^3+10659*y^7*z^3 452 +38106*y^6*z^3-24488*y^5*z^3-6915*y^4*z^3-50037*y^3*z^3 453 +9000*y^2*z^3+7177*x*y*z^3+1581*y*z^3-7559*x*z^3+14575*z^3 454 -2328*y^14*z^2-3000*y^13*z^2-1182*y^12*z^2+6013*y^11*z^2 455 +11922*y^10*z^2-2523*y^9*z^2+2468*y^8*z^2-15971*y^7*z^2 456 +17562*y^6*z^2-5599*y^5*z^2+5948*y^4*z^2-31245*y^3*z^2 457 +3750*y^2*z^2+5612*x*y*z^2-2053*y*z^2-5612*x*z^2+16238*z^2 458 -2403*y^14*z-2250*y^13*z-2403*y^12*z+11964*y^11*z+11097*y^10*z 459 +12168*y^9*z-11709*y^8*z-17745*y^7*z-19683*y^6*z+4449*y^5*z 460 +3429*y^4*z+13086*y^3*z-408*x*y*z+408*y*z+408*x*z-408*z 461 -1323*y^14-750*y^13-1323*y^12+6424*y^11+3177*y^10+7188*y^9 462 -5469*y^8-5045*y^7-12303*y^6+1309*y^5-2511*y^4+10626*y^3 463 -1528*x*y+1528*y+1528*x-1528, 464 (-2244*z^15)-2244*x*z^14-15867*z^14-4488*y^3*z^13+13464*y*z^13 465 -22599*x*z^13-84498*z^13+2244*y^4*z^12-13782*y^3*z^12 466 +22440*y^2*z^12+59298*y*z^12-102927*x*z^12-323187*z^12 467 -2244*y^6*z^11+83187*y^4*z^11-84696*y^3*z^11 468 +122766*y^2*z^11-34116*y*z^11-262698*x*z^11-349977*z^11 469 +4488*y^7*z^10+33501*y^6*z^10+98736*y^5*z^10 470 +428112*y^4*z^10-729639*y^3*z^10+66012*y^2*z^10 471 -380166*y*z^10-305436*x*z^10+1310613*z^10-2244*y^8*z^9 472 +148422*y^7*z^9+136668*y^6*z^9+626340*y^5*z^9 473 +523962*y^4*z^9-1585704*y^3*z^9-648144*y^2*z^9-592725*y*z^9 474 +435774*x*z^9+2954892*z^9+2244*y^10*z^8+44880*y^9*z^8 475 +141213*y^8*z^8+819048*y^7*z^8-427818*y^6*z^8 476 +984120*y^5*z^8-494016*y^4*z^8+1494546*y^3*z^8 477 -1325370*y^2*z^8-402297*x*y*z^8+50183*y*z^8+1344105*x*z^8 478 -1019772*z^8-4488*y^11*z^7+101139*y^10*z^7+218604*y^9*z^7 479 +1003752*y^8*z^7+1356684*y^7*z^7-1759845*y^6*z^7 480 -848796*y^5*z^7-1921926*y^4*z^7+6169746*y^3*z^7 481 -118842*y^2*z^7-602218*x*y*z^7+985474*y*z^7+791960*x*z^7 482 -6601051*z^7+13464*y^12*z^6+75978*y^11*z^6+590952*y^10*z^6 483 +125628*y^9*z^6+1972755*y^8*z^6-92508*y^7*z^6 484 +123957*y^6*z^6-3443259*y^5*z^6-1174928*y^4*z^6 485 +314898*y^3*z^6+1973514*y^2*z^6+375958*x*y*z^6+700868*y*z^6 486 -1170899*x*z^6-1892048*z^6-2244*y^14*z^5+22440*y^13*z^5 487 +72762*y^12*z^5+639744*y^11*z^5+1153122*y^10*z^5 488 -412266*y^9*z^5+215019*y^8*z^5-3035391*y^7*z^5 489 +3870810*y^6*z^5-2004815*y^5*z^5+1189301*y^4*z^5 490 -9271623*y^3*z^5+1691052*y^2*z^5+1530885*x*y*z^5 491 -275248*y*z^5-1686960*x*z^5+6178311*z^5+11061*y^14*z^4 492 +145206*y^13*z^4+105966*y^12*z^4+1391025*y^11*z^4 493 +731586*y^10*z^4+159402*y^9*z^4-2988399*y^8*z^4 494 -3332521*y^7*z^4+576429*y^6*z^4+2025629*y^5*z^4 495 +1680783*y^4*z^4-3231720*y^3*z^4-347166*y^2*z^4 496 +437669*x*y*z^4-494876*y*z^4-406695*x*z^4+3616217*z^4 497 +135078*y^14*z^3+323418*y^13*z^3+76146*y^12*z^3 498 +647772*y^11*z^3-675759*y^10*z^3+1301451*y^9*z^3 499 -2857513*y^8*z^3-557447*y^7*z^3-4912386*y^6*z^3 500 +2723980*y^5*z^3+293963*y^4*z^3+6721929*y^3*z^3 501 -1046832*y^2*z^3-1034081*x*y*z^3+27047*y*z^3+1082703*x*z^3 502 -2200847*z^3+327084*y^14*z^2+378864*y^13*z^2 503 +181218*y^12*z^2-995829*y^11*z^2-1556670*y^10*z^2 504 +45651*y^9*z^2+35848*y^8*z^2+2216343*y^7*z^2 505 -1624278*y^6*z^2+466235*y^5*z^2-778472*y^4*z^2 506 +3323181*y^3*z^2-389430*y^2*z^2-624300*x*y*z^2+259181*y*z^2 507 +624300*x*z^2-1888926*z^2+302559*y^14*z+256098*y^13*z 508 +302559*y^12*z-1497308*y^11*z-1234029*y^10*z-1559256*y^9*z 509 +1419873*y^8*z+1971349*y^7*z+2559855*y^6*z-496709*y^5*z 510 -186969*y^4*z-1838022*y^3*z+123896*x*y*z-123896*y*z 511 -123896*x*z+123896*z+150819*y^14+77886*y^13+150819*y^12 512 -729784*y^11-316497*y^10-827028*y^9+608229*y^8+501533*y^7 513 +1425351*y^6-131461*y^5+354759*y^4-1264626*y^3+194488*x*y 514 -194488*y-194488*x+194488, 515 (-1206891*z^16)-1206891*x*z^15-3020910*z^15-2413782*y^3*z^14 516 +7241346*y*z^14-6641583*x*z^14-28159668*z^14 517 +1206891*y^4*z^13+3613308*y^3*z^13+12068910*y^2*z^13 518 -1184796*y*z^13-21532815*x*z^13-44333787*z^13 519 -1206891*y^6*z^12+39227640*y^4*z^12-55082985*y^3*z^12 520 +10898844*y^2*z^12-33858600*y*z^12-31610193*x*z^12 521 +59910189*z^12+2413782*y^7*z^11+23530692*y^6*z^11 522 +53103204*y^5*z^11+47580399*y^4*z^11-166993284*y^3*z^11 523 -49150374*y^2*z^11+837888*y*z^11-17009715*x*z^11 524 +204859335*z^11-1206891*y^8*z^10+68800152*y^7*z^10 525 -30492435*y^6*z^10+94299528*y^5*z^10-41002956*y^4*z^10 526 +60601743*y^3*z^10-76871310*y^2*z^10+80036142*y*z^10 527 +44060151*x*z^10-34702161*z^10+1206891*y^10*z^9 528 +24137820*y^9*z^9+81461460*y^8*z^9+119269158*y^7*z^9 529 -166665513*y^6*z^9-54879600*y^5*z^9+55955709*y^4*z^9 530 +436861011*y^3*z^9+11689398*y^2*z^9-118500690*y*z^9 531 +50935020*x*z^9-329772720*z^9-2413782*y^11*z^8 532 +48882768*y^10*z^8+7314996*y^9*z^8+171235122*y^8*z^8 533 +1828140*y^7*z^8+40308024*y^6*z^8-132001404*y^5*z^8 534 +223948545*y^4*z^8+19766982*y^3*z^8-62066148*y^2*z^8 535 -327123062*y*z^8+39916506*x*z^8-33709884*z^8 536 +7241346*y^12*z^7+51888948*y^11*z^7+91057935*y^10*z^7 537 -35586606*y^9*z^7+35607951*y^8*z^7+77999124*y^7*z^7 538 +347078946*y^6*z^7+13512516*y^5*z^7-276420654*y^4*z^7 539 -535798128*y^3*z^7-165247050*y^2*z^7-31333184*x*y*z^7 540 -7090804*y*z^7+38409925*x*z^7+272469727*z^7 541 -1206891*y^14*z^6+12068910*y^13*z^6+6056550*y^12*z^6 542 +114029055*y^11*z^6+70885554*y^10*z^6+77088990*y^9*z^6 543 -26572671*y^8*z^6+175263666*y^7*z^6-35487801*y^6*z^6 544 -278535636*y^5*z^6-809357548*y^4*z^6-38002101*y^3*z^6 545 +183134760*y^2*z^6-106624768*x*y*z^6+500924578*y*z^6 546 +77773379*x*z^6-13687279*z^6+11461782*y^14*z^5 547 +22967754*y^13*z^5+8404680*y^12*z^5+61613832*y^11*z^5 548 +141380202*y^10*z^5+204728880*y^9*z^5+46409139*y^8*z^5 549 -239388858*y^7*z^5-540661500*y^6*z^5-516551848*y^5*z^5 550 -362919584*y^4*z^5+458275800*y^3*z^5+431682852*y^2*z^5 551 +1425024*x*y*z^5+428556106*y*z^5-7169976*x*z^5 552 -176398125*z^5+23780835*y^14*z^4+34161930*y^13*z^4 553 +32283972*y^12*z^4+43797039*y^11*z^4+159721179*y^10*z^4 554 +74054580*y^9*z^4-252090588*y^8*z^4-706461920*y^7*z^4 555 -324069963*y^6*z^4+164891836*y^5*z^4+657966399*y^4*z^4 556 +103355523*y^3*z^4+72919944*y^2*z^4+148442176*x*y*z^4 557 -153516094*y*z^4-168881064*x*z^4+60253336*z^4 558 +26303745*y^14*z^3+60060480*y^13*z^3+61390812*y^12*z^3 559 +41332521*y^11*z^3-28380975*y^10*z^3-169325880*y^9*z^3 560 -440088944*y^8*z^3-521738548*y^7*z^3+172096089*y^6*z^3 561 +642176528*y^5*z^3+859376551*y^4*z^3-252707787*y^3*z^3 562 -241043736*y^2*z^3+128634080*x*y*z^3-384373256*y*z^3 563 -137586072*x*z^3+174922400*z^3+32577456*y^14*z^2 564 +74764854*y^13*z^2+59433432*y^12*z^2-98169612*y^11*z^2 565 -287995578*y^10*z^2-220959588*y^9*z^2-38314282*y^8*z^2 566 +235146936*y^7*z^2+287128704*y^6*z^2+207028108*y^5*z^2 567 +91390640*y^4*z^2-114642660*y^3*z^2-128016090*y^2*z^2 568 -22979808*x*y*z^2-109512278*y*z^2+22979808*x*z^2 569 +10139958*z^2+32912346*y^14*z+63570678*y^13*z 570 +32912346*y^12*z-174781174*y^11*z-348511722*y^10*z 571 -133903398*y^9*z+225878394*y^8*z+559662644*y^7*z 572 +171323772*y^6*z-137360800*y^5*z-341749680*y^4*z 573 +50046594*y^3*z-81755552*x*y*z+81755552*y*z+81755552*x*z 574 -81755552*z+12175230*y^14+25603218*y^13+12175230*y^12 575 -65352146*y^11-141444078*y^10-47448162*y^9+87732126*y^8 576 +227205724*y^7+57117876*y^6-55682432*y^5-145202352*y^4 577 +33119766*y^3-35807968*x*y+35807968*y+35807968*x 578 -35807968, 579 (-489581*z^17)-489581*x*z^16-292312*z^16-979162*y^3*z^15+2937486*y*z^15 580 -1761055*x*z^15-9016520*z^15+489581*y^4*z^14 581 +3332024*y^3*z^14+4895810*y^2*z^14-6079424*y*z^14 582 -3528903*x*z^14+4289371*z^14-489581*y^6*z^13 583 +14979742*y^4*z^13-24996583*y^3*z^13-4910176*y^2*z^13 584 -13244240*y*z^13+4539755*x*z^13+61250181*z^13 585 +979162*y^7*z^12+10478470*y^6*z^12+21541564*y^5*z^12 586 -11099399*y^4*z^12-24717550*y^3*z^12-29073746*y^2*z^12 587 +24644912*y*z^12+20791993*x*z^12+46992267*z^12 588 -489581*y^8*z^11+26042836*y^7*z^11-30491773*y^6*z^11 589 -2804864*y^5*z^11-56049142*y^4*z^11+156373857*y^3*z^11 590 +2939730*y^2*z^11+32897090*y*z^11+39324507*x*z^11 591 -161411177*z^11+489581*y^10*z^10+9791620*y^9*z^10 592 +33978358*y^8*z^10-4954054*y^7*z^10-45091205*y^6*z^10 593 -98291456*y^5*z^10+40874963*y^4*z^10+153411875*y^3*z^10 594 +62090974*y^2*z^10-97940834*y*z^10-3753886*x*z^10 595 -148351538*z^10-979162*y^11*z^9+18896390*y^10*z^9 596 -15695324*y^9*z^9+6549510*y^8*z^9-96163328*y^7*z^9 597 +140894262*y^6*z^9-30904644*y^5*z^9+31027969*y^4*z^9 598 -279650288*y^3*z^9-13737424*y^2*z^9-22350622*y*z^9 599 -36957362*x*z^9+147937532*z^9+2937486*y^12*z^8 600 +22915264*y^11*z^8-927607*y^10*z^8-21509594*y^9*z^8 601 -122411251*y^8*z^8+4349668*y^7*z^8+123145950*y^6*z^8 602 +76448228*y^5*z^8-269673792*y^4*z^8-279852036*y^3*z^8 603 +22829234*y^2*z^8+248460456*y*z^8-57747753*x*z^8 604 +168811553*z^8-489581*y^14*z^7+4895810*y^13*z^7 605 -3141938*y^12*z^7+6279137*y^11*z^7-44843844*y^10*z^7 606 +51879350*y^9*z^7-70023643*y^8*z^7-32074234*y^7*z^7 607 -227145739*y^6*z^7-96619332*y^5*z^7-53876304*y^4*z^7 608 +203917101*y^3*z^7+205808644*y^2*z^7+177549062*y*z^7 609 -23170081*x*z^7-7660043*z^7+5582660*y^14*z^6 610 -14366*y^13*z^6-1698748*y^12*z^6-65570634*y^11*z^6 611 -16126134*y^10*z^6+19477004*y^9*z^6-22957273*y^8*z^6 612 -229695410*y^7*z^6-195800086*y^6*z^6+114603008*y^5*z^6 613 +515674056*y^4*z^6+205334782*y^3*z^6-28833076*y^2*z^6 614 +71139072*x*y*z^6-235598774*y*z^6-26046530*x*z^6 615 -1195417*z^6+855777*y^14*z^5-4609062*y^13*z^5 616 +4298988*y^12*z^5-50084135*y^11*z^5-80952111*y^10*z^5 617 -115224628*y^9*z^5-144937438*y^8*z^5-5588564*y^7*z^5 618 +164266747*y^6*z^5+529614100*y^5*z^5+509930809*y^4*z^5 619 -19465211*y^3*z^5-357613056*y^2*z^5+10746624*x*y*z^5 620 -384925726*y*z^5-9664776*x*z^5-34373746*z^5 621 -8065907*y^14*z^4-6636972*y^13*z^4-3405556*y^12*z^4 622 -61044931*y^11*z^4-158119059*y^10*z^4-130981024*y^9*z^4 623 +110802808*y^8*z^4+439860884*y^7*z^4+302161305*y^6*z^4 624 +69013032*y^5*z^4-213214897*y^4*z^4-80318471*y^3*z^4 625 -143191576*y^2*z^4-76418336*x*y*z^4-21593012*y*z^4 626 +87611080*x*z^4-89881392*z^4-11389870*y^14*z^3 627 -26326662*y^13*z^3-25762016*y^12*z^3-92246274*y^11*z^3 628 -73532980*y^10*z^3+165780*y^9*z^3+415004346*y^8*z^3 629 +516394464*y^7*z^3+138620594*y^6*z^3-498594316*y^5*z^3 630 -636660514*y^4*z^3-63496082*y^3*z^3+167512282*y^2*z^3 631 -76106656*x*y*z^3+251907926*y*z^3+81491888*x*z^3 632 -61596678*z^3-22171050*y^14*z^2-43988442*y^13*z^2 633 -38326746*y^12*z^2+36464110*y^11*z^2+130477222*y^10*z^2 634 +115078894*y^9*z^2+120119554*y^8*z^2-24803940*y^7*z^2 635 -101183004*y^6*z^2-230519944*y^5*z^2-184697456*y^4*z^2 636 +3945222*y^3*z^2+111282380*y^2*z^2+4327392*x*y*z^2 637 +109647604*y*z^2-4327392*x*z^2+18675596*z^2 638 -30067226*y^14*z-46856342*y^13*z-30067226*y^12*z 639 +155932502*y^11*z+251070826*y^10*z+133547014*y^9*z 640 -183914362*y^8*z-402832596*y^7*z-190170460*y^6*z 641 +99309056*y^5*z+211236496*y^4*z+32812318*y^3*z 642 +44770976*x*y*z-44770976*y*z-44770976*x*z+44770976*z 643 -14178628*y^14-22256476*y^13-14178628*y^12+73585756*y^11 644 +119360228*y^10+62815292*y^9-87048836*y^8-191514888*y^7 645 -89195480*y^6+47205568*y^5+101057888*y^4+14348204*y^3 646 +21540928*x*y-21540928*y-21540928*x+21540928, 647 (-92629*z^18)-92629*x*z^17-356523*z^17-185258*y^3*z^16+555774*y*z^16 648 -634410*x*z^16-2404212*z^16+92629*y^4*z^15+27986*y^3*z^15 649 +926290*y^2*z^15+657074*y*z^15-2269604*x*z^15-6033581*z^15 650 -92629*y^6*z^14+3135393*y^4*z^14-3716191*y^3*z^14 651 +2083166*y^2*z^14-3135608*y*z^14-4165226*x*z^14 652 +2131298*z^14+185258*y^7*z^13+1681315*y^6*z^13 653 +4075676*y^5*z^13+7634791*y^4*z^13-18503719*y^3*z^13 654 -3337434*y^2*z^13-3994704*y*z^13-2522718*x*z^13 655 +27531354*z^13-92629*y^8*z^12+5529754*y^7*z^12 656 +159441*y^6*z^12+12722884*y^5*z^12-582783*y^4*z^12 657 -9283157*y^3*z^12-12649852*y^2*z^12+6842690*y*z^12 658 +6654062*x*z^12+24108320*z^12+92629*y^10*z^11 659 +1852580*y^9*z^11+6127507*y^8*z^11+16122558*y^7*z^11 660 -17183616*y^6*z^11+2488624*y^5*z^11-6312235*y^4*z^11 661 +53501482*y^3*z^11-7556812*y^2*z^11+2069580*y*z^11 662 +16177651*x*z^11-39377477*z^11-185258*y^11*z^10 663 +3876425*y^10*z^10+3054784*y^9*z^10+21626108*y^8*z^10 664 +8311782*y^7*z^10-14183737*y^6*z^10-25814020*y^5*z^10 665 +13405734*y^4*z^10+67509729*y^3*z^10+2581674*y^2*z^10 666 -30106884*y*z^10+9624624*x*z^10-78190974*z^10 667 +555774*y^12*z^9+3733146*y^11*z^9+11969039*y^10*z^9 668 -3357566*y^9*z^9+15862111*y^8*z^9-7108532*y^7*z^9 669 +38392044*y^6*z^9-28124408*y^5*z^9-7895845*y^4*z^9 670 -37345552*y^3*z^9+888602*y^2*z^9-17645906*y*z^9 671 -11784367*x*z^9-18699283*z^9-92629*y^14*z^8 672 +926290*y^13*z^8+1212848*y^12*z^8+14249889*y^11*z^8 673 +11942995*y^10*z^8-276048*y^9*z^8-15006568*y^8*z^8 674 -2607006*y^7*z^8+50104927*y^6*z^8-27948056*y^5*z^8 675 -79911876*y^4*z^8-125108127*y^3*z^8+26323650*y^2*z^8 676 +45939334*y*z^8-22766792*x*z^8+87932460*z^8 677 +755025*y^14*z^7+3009456*y^13*z^7+856110*y^12*z^7 678 +13746805*y^11*z^7+8473554*y^10*z^7+20317454*y^9*z^7 679 -32130130*y^8*z^7-29686872*y^7*z^7-27706147*y^6*z^7 680 -31958156*y^5*z^7-54321744*y^4*z^7-65848063*y^3*z^7 681 +50185776*y^2*z^7+61616676*y*z^7-2684085*x*z^7 682 +112103646*z^7+3078241*y^14*z^6+4303472*y^13*z^6 683 +2369872*y^12*z^6-836065*y^11*z^6+5211879*y^10*z^6 684 +23297288*y^9*z^6-52961449*y^8*z^6-67092074*y^7*z^6 685 -104631939*y^6*z^6+51065028*y^5*z^6+66081065*y^4*z^6 686 +106326259*y^3*z^6-6732524*y^2*z^6-2603328*y*z^6 687 +15554654*x*z^6-13118557*z^6+3923996*y^14*z^5 688 +5774610*y^13*z^5+5610976*y^12*z^5-15897300*y^11*z^5 689 -18990852*y^10*z^5-7730476*y^9*z^5-48273990*y^8*z^5 690 -23048880*y^7*z^5-74012650*y^6*z^5+117014132*y^5*z^5 691 +117500814*y^4*z^5+169685596*y^3*z^5-61680680*y^2*z^5 692 -7234336*x*y*z^5-56821566*y*z^5+7549808*x*z^5 693 -113928218*z^5+3097785*y^14*z^4+5610222*y^13*z^4 694 +6898500*y^12*z^4-36197723*y^11*z^4-42585917*y^10*z^4 695 -48744380*y^9*z^4+38402498*y^8*z^4+64859596*y^7*z^4 696 +72925285*y^6*z^4+18957628*y^5*z^4+30999347*y^4*z^4 697 -17032247*y^3*z^4-25082334*y^2*z^4+2348928*x*y*z^4 698 -31568814*y*z^4-3223416*x*z^4-41071590*z^4+96640*y^14*z^3 699 +1279452*y^13*z^3+3269510*y^12*z^3-32101108*y^11*z^3 700 -32746602*y^10*z^3-50861014*y^9*z^3+89014808*y^8*z^3 701 +88902444*y^7*z^3+140069182*y^6*z^3-74522620*y^5*z^3 702 -57498042*y^4*z^3-146873596*y^3*z^3+20574258*y^2*z^3 703 +9250048*x*y*z^3+10620894*y*z^3-9782192*x*z^3+40775794*z^3 704 -5335552*y^14*z^2-3813220*y^13*z^2-3739120*y^12*z^2 705 +9767304*y^11*z^2+4067548*y^10*z^2+1154200*y^9*z^2 706 +22649148*y^8*z^2+9533328*y^7*z^2+25105888*y^6*z^2 707 -34107880*y^5*z^2-34412096*y^4*z^2-40610728*y^3*z^2 708 +13476220*y^2*z^2+1261888*x*y*z^2+11948260*y*z^2 709 -1261888*x*z^2+24316700*z^2-7043730*y^14*z-5731998*y^13*z 710 -7043730*y^12*z+34781406*y^11*z+27348258*y^10*z 711 +36530382*y^9*z-32595186*y^8*z-43669764*y^7*z 712 -60285036*y^6*z+11026752*y^5*z+2281872*y^4*z 713 +44400774*y^3*z-3497952*x*y*z+3497952*y*z+3497952*x*z 714 -3497952*z-3493460*y^14-2695244*y^13-3493460*y^12 715 +17201228*y^11+12678004*y^10+18265516*y^9-15870868*y^8 716 -20231592*y^7-30342328*y^6+5124416*y^5-197024*y^4 717 +23054812*y^3-2128576*x*y+2128576*y+2128576*x-2128576, 718 5425752*z^19+5425752*x*z^18+23464704*z^18+10851504*y^3*z^17 719 -32554512*y*z^17+39741960*x*z^17+153678605*z^17 720 -5425752*y^4*z^16+3523392*y^3*z^16-54257520*y^2*z^16 721 -53976192*y*z^16+153537941*x*z^16+422158096*z^16 722 +5425752*y^6*z^15-186237264*y^4*z^15+222728866*y^3*z^15 723 -147835008*y^2*z^15+147859890*y*z^15+317716663*x*z^15 724 +97008176*z^15-10851504*y^7*z^14-95901840*y^6*z^14 725 -238733088*y^5*z^14-537500357*y^4*z^14+1167570136*y^3*z^14 726 +108275182*y^2*z^14+357584768*y*z^14+284863311*x*z^14 727 -1697595811*z^14+5425752*y^8*z^13-329068512*y^7*z^13 728 -53277019*y^6*z^13-858822912*y^5*z^13-267855214*y^4*z^13 729 +1208310223*y^3*z^13+863220400*y^2*z^13-210597280*y*z^13 730 -346502291*x*z^13-2544223629*z^13-5425752*y^10*z^12 731 -108515040*y^9*z^12-356337936*y^8*z^12-1104313162*y^7*z^12 732 +939671858*y^6*z^12-628642108*y^5*z^12+452095871*y^4*z^12 733 -2727921626*y^3*z^12+968343170*y^2*z^12-458715968*y*z^12 734 -1256890345*x*z^12+1354783653*z^12+10851504*y^11*z^11 735 -229643280*y^10*z^11-230560992*y^9*z^11-1434593155*y^8*z^11 736 -1091287060*y^7*z^11+1491307213*y^6*z^11 737 +1459414496*y^5*z^11-275469794*y^4*z^11-6376807425*y^3*z^11 738 +41856558*y^2*z^11+1509882382*y*z^11-1248836715*x*z^11 739 +6638867465*z^11-32554512*y^12*z^10-213506688*y^11*z^10 740 -812030021*y^10*z^10+53215148*y^9*z^10-1734187630*y^8*z^10 741 +214264102*y^7*z^10-1584958987*y^6*z^10+2952251168*y^5*z^10 742 -154562867*y^4*z^10-607630979*y^3*z^10-493850062*y^2*z^10 743 +2456014754*y*z^10+444416950*x*z^10+4157978906*z^10 744 +5425752*y^14*z^9-54257520*y^13*z^9-86530704*y^12*z^9 745 -932889374*y^11*z^9-1145668550*y^10*z^9+203228300*y^9*z^9 746 +397960674*y^8*z^9+923615600*y^7*z^9-4844050734*y^6*z^9 747 +2604905124*y^5*z^9+4716059327*y^4*z^9+10034730488*y^3*z^9 748 -1484843984*y^2*z^9-2066018354*y*z^9+1882110314*x*z^9 749 -5510764628*z^9-41644320*y^14*z^8-202092528*y^13*z^8 750 -101443374*y^12*z^8-1338827536*y^11*z^8-823634969*y^10*z^8 751 -1054278406*y^9*z^8+3029383819*y^8*z^8+1785652364*y^7*z^8 752 -506947854*y^6*z^8+2195417116*y^5*z^8+7015201440*y^4*z^8 753 +9010490868*y^3*z^8-3809196434*y^2*z^8-6369412632*y*z^8 754 +1135657977*x*z^8-10022492105*z^8-198432619*y^14*z^7 755 -365104946*y^13*z^7-143957614*y^12*z^7-371519033*y^11*z^7 756 -274302996*y^10*z^7-2239865174*y^9*z^7+4414715179*y^8*z^7 757 +4948278298*y^7*z^7+8253957763*y^6*z^7-1525015836*y^5*z^7 758 -2035970664*y^4*z^7-5607716901*y^3*z^7-2230127044*y^2*z^7 759 -2622212534*y*z^7-698300063*x*z^7-2309997637*z^7 760 -348885308*y^14*z^6-458089666*y^13*z^6-384586916*y^12*z^6 761 +1345067346*y^11*z^6+1063206942*y^10*z^6-312441548*y^9*z^6 762 +4440304537*y^8*z^6+4587997010*y^7*z^6+8417442814*y^6*z^6 763 -8959819328*y^5*z^6-11795833296*y^4*z^6-14125505686*y^3*z^6 764 +3972318964*y^2*z^6+4804260374*y*z^6-720549214*x*z^6 765 +7046057497*z^6-295902513*y^14*z^5-462088458*y^13*z^5 766 -586051692*y^12*z^5+2861637239*y^11*z^5+3505906095*y^10*z^5 767 +3756990292*y^9*z^5-40810802*y^8*z^5-3123553132*y^7*z^5 768 -3187541323*y^6*z^5-7526070004*y^5*z^5-8127730537*y^4*z^5 769 -3615097525*y^3*z^5+5318267856*y^2*z^5+5725495246*y*z^5 770 +35987592*x*z^5+5785417954*z^5-43942237*y^14*z^4 771 -191752548*y^13*z^4-363469916*y^12*z^4+3252689203*y^11*z^4 772 +4046760387*y^10*z^4+5117782288*y^9*z^4-6944247016*y^8*z^4 773 -9635047988*y^7*z^4-12036683961*y^6*z^4+3425779992*y^5*z^4 774 +3774129649*y^4*z^4+9556210487*y^3*z^4+346787320*y^2*z^4 775 -152082400*x*y*z^4+386246036*y*z^4+140951096*x*z^4 776 -708490224*z^4+377683006*y^14*z^3+344523798*y^13*z^3 777 +281362064*y^12*z^3+871936914*y^11*z^3+1112320036*y^10*z^3 778 +1348773660*y^9*z^3-6279338058*y^8*z^3-6111893760*y^7*z^3 779 -6199672370*y^6*z^3+7044591244*y^5*z^3+7410393154*y^4*z^3 780 +6849999842*y^3*z^3-2360538778*y^2*z^3+121651360*x*y*z^3 781 -2496380054*y*z^3-138899888*x*z^3-2193760698*z^3 782 +693341130*y^14*z^2+704041722*y^13*z^2+745086714*y^12*z^2 783 -2526718798*y^11*z^2-2492488582*y^10*z^2-2857421902*y^9*z^2 784 +562578782*y^8*z^2+2440039332*y^7*z^2+3434277084*y^6*z^2 785 +1677738760*y^5*z^2+1925499248*y^4*z^2-1492560870*y^3*z^2 786 -1038420620*y^2*z^2+143950368*x*y*z^2-1190995252*y*z^2 787 -143950368*x*z^2-583996748*z^2+580021274*y^14*z 788 +596718230*y^13*z+580021274*y^12*z-2905672022*y^11*z 789 -3000288106*y^10*z-2883409414*y^9*z+2933500282*y^8*z 790 +4801574100*y^7*z+4590079324*y^6*z-1199002112*y^5*z 791 -1310315152*y^4*z-2783227678*y^3*z-44525216*x*y*z 792 +44525216*y*z+44525216*x*z-44525216*z+181811332*y^14 793 +207684124*y^13+181811332*y^12-917680924*y^11 794 -1064293412*y^10-883183868*y^9+960802244*y^8+1704594312*y^7 795 +1376872280*y^6-423992512*y^5-596477792*y^4-727947116*y^3 796 -68994112*x*y+68994112*y+68994112*x-68994112, 797 (-1901030*z^20)-1901030*x*z^19-9124762*z^19-3802060*y^3*z^18 798 +11406180*y*z^18-14827852*x*z^18-58433804*z^18 799 +1901030*y^4*z^17-3041284*y^3*z^17+19010300*y^2*z^17 800 +24332092*y*z^17-61094700*x*z^17-176125920*z^17 801 -1901030*y^6*z^16+66155662*y^4*z^16-79989082*y^3*z^16 802 +60831140*y^2*z^16-38725208*y*z^16-141555986*x*z^16 803 -121987211*z^16+3802060*y^7*z^15+32697898*y^6*z^15 804 +83645320*y^5*z^15+220015894*y^4*z^15-445962006*y^3*z^15 805 -6499172*y^2*z^15-145066660*y*z^15-169425253*x*z^15 806 +534196514*z^15-1901030*y^8*z^14+117103084*y^7*z^14 807 +33952250*y^6*z^14+340656568*y^5*z^14+206437392*y^4*z^14 808 -645131456*y^3*z^14-305132132*y^2*z^14-8846618*y*z^14 809 +43295079*x*z^14+1189773846*z^14+1901030*y^10*z^13 810 +38020600*y^9*z^13+123947338*y^8*z^13+443074892*y^7*z^13 811 -307979826*y^6*z^13+393273232*y^5*z^13-57568451*y^4*z^13 812 +618310242*y^3*z^13-507589450*y^2*z^13+166362300*y*z^13 813 +479490441*x*z^13+151723609*z^13-3802060*y^11*z^12 814 +81363902*y^10*z^12+98849920*y^9*z^12+561289236*y^8*z^12 815 +606955512*y^7*z^12-677793853*y^6*z^12 816 -312956032*y^5*z^12+16949814*y^4*z^12 817 +2620078601*y^3*z^12-269069540*y^2*z^12-402242712*y*z^12 818 +695841945*x*z^12-2374071553*z^12+11406180*y^12*z^11 819 +72999916*y^11*z^11+323430470*y^10*z^11 820 +33388972*y^9*z^11+891604480*y^8*z^11+225381030*y^7*z^11 821 +180452542*y^6*z^11-1259049116*y^5*z^11 822 +53526949*y^4*z^11+1668713610*y^3*z^11 823 +110401322*y^2*z^11-1096671392*y*z^11+171379965*x*z^11 824 -2852256305*z^11-1901030*y^14*z^10+19010300*y^13*z^10 825 +35738272*y^12*z^10+361042598*y^11*z^10 826 +565165996*y^10*z^10-57565448*y^9*z^10 827 +308599645*y^8*z^10-298062552*y^7*z^10 828 +1856643697*y^6*z^10-1594374328*y^5*z^10 829 -1527897338*y^4*z^10-2917463441*y^3*z^10 830 +621489522*y^2*z^10+93189406*y*z^10-662542785*x*z^10 831 +662583039*z^10+13687598*y^14*z^9+79841440*y^13*z^9 832 +54043964*y^12*z^9+651911314*y^11*z^9+567492835*y^10*z^9 833 +310821040*y^9*z^9-1010836984*y^8*z^9-831783810*y^7*z^9 834 +1266941069*y^6*z^9-1410085264*y^5*z^9 835 -3301314877*y^4*z^9-5102887683*y^3*z^9 836 +1588407894*y^2*z^9+2445683234*y*z^9-798074994*x*z^9 837 +4291414128*z^9+75776730*y^14*z^8+168393768*y^13*z^8 838 +76262484*y^12*z^8+458045256*y^11*z^8+321211684*y^10*z^8 839 +958290616*y^9*z^8-2161719654*y^8*z^8-2050251984*y^7*z^8 840 -2438492066*y^6*z^8-37071676*y^5*z^8-1043292605*y^4*z^8 841 -456970028*y^3*z^8+1609498744*y^2*z^8+2317634842*y*z^8 842 -112115232*x*z^8+3125790660*z^8+160840014*y^14*z^7 843 +243458536*y^13*z^7+165023254*y^12*z^7 844 -308161482*y^11*z^7-264432909*y^10*z^7+632061294*y^9*z^7 845 -2527470259*y^8*z^7-2650060248*y^7*z^7 846 -4527599648*y^6*z^7+3157792356*y^5*z^7 847 +4071804254*y^4*z^7+5397856666*y^3*z^7-650820266*y^2*z^7 848 -792830676*y*z^7+348957823*x*z^7-1258409243*z^7 849 +184438803*y^14*z^6+269872886*y^13*z^6 850 +286825646*y^12*z^6-1232750031*y^11*z^6 851 -1367006692*y^10*z^6-1092722282*y^9*z^6 852 -1115110457*y^8*z^6-163676530*y^7*z^6-1055368119*y^6*z^6 853 +4504867188*y^5*z^6+5298473826*y^4*z^6 854 +4401698661*y^3*z^6-2574355204*y^2*z^6-2825141214*y*z^6 855 +221932859*x*z^6-3296849257*z^6+93566868*y^14*z^5 856 +186656478*y^13*z^5+266256132*y^12*z^5 857 -1733209434*y^11*z^5-2141486900*y^10*z^5 858 -2475608812*y^9*z^5+2084294867*y^8*z^5 859 +3726153902*y^7*z^5+4202893538*y^6*z^5+914684024*y^5*z^5 860 +896394002*y^4*z^5-1496468530*y^3*z^5-1461318256*y^2*z^5 861 -1507156886*y*z^5+231768*x*z^5-1554195369*z^5 862 -102195903*y^14*z^4-47461622*y^13*z^4+12748556*y^12*z^4 863 -1113696963*y^11*z^4-1377187127*y^10*z^4 864 -1683720988*y^9*z^4+3639185236*y^8*z^4 865 +4223411688*y^7*z^4+4713450611*y^6*z^4 866 -2898986852*y^5*z^4-2996459359*y^4*z^4 867 -4116618567*y^3*z^4+584578600*y^2*z^4+577826674*y*z^4 868 +1455624*x*z^4+584078344*z^4-305099931*y^14*z^3 869 -294615928*y^13*z^3-283822424*y^12*z^3 870 +503667781*y^11*z^3+446895969*y^10*z^3+401964620*y^9*z^3 871 +1504054128*y^8*z^3+817537780*y^7*z^3+860674985*y^6*z^3 872 -2309669544*y^5*z^3-2331987649*y^4*z^3 873 -1699396367*y^3*z^3+908407628*y^2*z^3-2558880*x*y*z^3 874 +911170484*y*z^3+1511208*x*z^3+870218468*z^3 875 -357964740*y^14*z^2-354383622*y^13*z^2 876 -354821724*y^12*z^2+1510708928*y^11*z^2 877 +1496178122*y^10*z^2+1494530312*y^9*z^2 878 -954660462*y^8*z^2-2018386032*y^7*z^2-1995124344*y^6*z^2 879 -110474580*y^5*z^2-114966768*y^4*z^2+924554040*y^3*z^2 880 +272158870*y^2*z^2+927072*x*y*z^2+270707962*y*z^2 881 -927072*x*z^2+291944038*z^2-212157154*y^14*z 882 -214340590*y^13*z-212157154*y^12*z+1061513582*y^11*z 883 +1073886386*y^10*z+1058602334*y^9*z-1065152642*y^8*z 884 -1718363780*y^7*z-1690706924*y^6*z+429408992*y^5*z 885 +443965232*y^4*z+1045501718*y^3*z+5822496*x*y*z 886 -5822496*y*z-5822496*x*z+5822496*z-56003282*y^14 887 -54431774*y^13-56003282*y^12+279492574*y^11 888 +270587362*y^10+281587918*y^9-276873394*y^8 889 -432835012*y^7-452740780*y^6+108339712*y^5+97862992*y^4 890 +291016966*y^3-4190688*x*y+4190688*y+4190688*x-4190688, 891 (-44425*z^21)-44425*x*z^20-193795*z^20-88850*y^3*z^19+266550*y*z^19 892 -327070*x*z^19-1274354*z^19+44425*y^4*z^18-32190*y^3*z^18 893 +444250*y^2*z^18+451970*y*z^18-1278214*x*z^18-3527528*z^18 894 -44425*y^6*z^17+1526545*y^4*z^17-1842423*y^3*z^17 895 +1227150*y^2*z^17-1140996*y*z^17-2698855*x*z^17 896 -1109995*z^17+88850*y^7*z^16+783555*y^6*z^16 897 +1954700*y^5*z^16+4467129*y^4*z^16-9605029*y^3*z^16 898 -752630*y^2*z^16-2972806*y*z^16-2572042*x*z^16 899 +13565093*z^16-44425*y^8*z^15+2697690*y^7*z^15 900 +456911*y^6*z^15+7105380*y^5*z^15+2647468*y^4*z^15 901 -10602997*y^3*z^15-7006014*y^2*z^15+1218640*y*z^15 902 +2619449*x*z^15+22302653*z^15+44425*y^10*z^14 903 +888500*y^9*z^14+2915955*y^8*z^14+9160898*y^7*z^14 904 -7506655*y^6*z^14+5800536*y^5*z^14-3245086*y^4*z^14 905 +20587543*y^3*z^14-8783974*y^2*z^14+3837574*y*z^14 906 +10650408*x*z^14-7954033*z^14-88850*y^11*z^13 907 +1881945*y^10*z^13+1921200*y^9*z^13+11847046*y^8*z^13 908 +9782204*y^7*z^13-12668822*y^6*z^13-10997536*y^5*z^13 909 +1090138*y^4*z^13+54430174*y^3*z^13-1436450*y^2*z^13 910 -11018460*y*z^13+11493837*x*z^13-56030677*z^13 911 +266550*y^12*z^12+1744810*y^11*z^12+6728289*y^10*z^12 912 -187950*y^9*z^12+15235952*y^8*z^12-505866*y^7*z^12 913 +10778914*y^6*z^12-25975004*y^5*z^12+899768*y^4*z^12 914 +13274582*y^3*z^12+4950830*y^2*z^12-21334144*y*z^12 915 -2616810*x*z^12-42908546*z^12-44425*y^14*z^11 916 +444250*y^13*z^11+718520*y^12*z^11+7686377*y^11*z^11 917 +9990070*y^10*z^11-1596036*y^9*z^11-1342215*y^8*z^11 918 -8841150*y^7*z^11+40955979*y^6*z^11-24957052*y^5*z^11 919 -36144372*y^4*z^11-82735585*y^3*z^11+13378064*y^2*z^11 920 +12799086*y*z^11-16744470*x*z^11+42041860*z^11 921 +339305*y^14*z^10+1671400*y^13*z^10+910274*y^12*z^10 922 +11626231*y^11*z^10+7801347*y^10*z^10+7831314*y^9*z^10 923 -26096155*y^8*z^10-16474014*y^7*z^10+11243399*y^6*z^10 924 -17808216*y^5*z^10-61462426*y^4*z^10-89174777*y^3*z^10 925 +30957924*y^2*z^10+55234262*y*z^10-12049440*x*z^10 926 +91874913*z^10+1628711*y^14*z^9+3140020*y^13*z^9 927 +1263518*y^12*z^9+4404103*y^11*z^9+2153415*y^10*z^9 928 +19135710*y^9*z^9-40336258*y^8*z^9-39769140*y^7*z^9 929 -68036522*y^6*z^9+12529572*y^5*z^9+7525711*y^4*z^9 930 +37559804*y^3*z^9+21952328*y^2*z^9+29962348*y*z^9 931 +4801407*x*z^9+31327296*z^9+3000105*y^14*z^8 932 +4046756*y^13*z^8+3116408*y^12*z^8-11359143*y^11*z^8 933 -9140507*y^10*z^8+5385232*y^9*z^8-38148698*y^8*z^8 934 -41664378*y^7*z^8-80668677*y^6*z^8+73310048*y^5*z^8 935 +103064435*y^4*z^8+127272309*y^3*z^8-30170622*y^2*z^8 936 -39724286*y*z^8+8854766*x*z^8-57432520*z^8 937 +2743338*y^14*z^7+3960482*y^13*z^7+5071808*y^12*z^7 938 -25510554*y^11*z^7-29133398*y^10*z^7-31118752*y^9*z^7 939 -1947773*y^8*z^7+21330064*y^7*z^7+18392944*y^6*z^7 940 +73580532*y^5*z^7+82980083*y^4*z^7+49867042*y^3*z^7 941 -52627432*y^2*z^7-56881602*y*z^7+1892306*x*z^7 942 -63266461*z^7+437586*y^14*z^6+1782242*y^13*z^6 943 +3440132*y^12*z^6-28425462*y^11*z^6-36482669*y^10*z^6 944 -46554784*y^9*z^6+58365386*y^8*z^6+86946000*y^7*z^6 945 +105699982*y^6*z^6-21170564*y^5*z^6-28598633*y^4*z^6 946 -74430398*y^3*z^6-9384858*y^2*z^6-8218528*y*z^6 947 -1980847*x*z^6-5375344*z^6-3228714*y^14*z^5 948 -2836264*y^13*z^5-2194496*y^12*z^5-9426528*y^11*z^5 949 -11662110*y^10*z^5-15507324*y^9*z^5+63744949*y^8*z^5 950 +61819454*y^7*z^5+68420946*y^6*z^5-74140892*y^5*z^5 951 -75995106*y^4*z^5-79475920*y^3*z^5+26513908*y^2*z^5 952 +26664768*y*z^5+17496*x*z^5+27268337*z^5-6067476*y^14*z^4 953 -6324094*y^13*z^4-6620078*y^12*z^4+21880364*y^11*z^4 954 +22936006*y^10*z^4+24599634*y^9*z^4+662692*y^8*z^4 955 -20296984*y^7*z^4-23355948*y^6*z^4-25675184*y^5*z^4 956 -25336908*y^4*z^4-1372204*y^3*z^4+15113990*y^2*z^4 957 +15232088*y*z^4-34992*x*z^4+14641598*z^4-5393667*y^14*z^3 958 -5404156*y^13*z^3-5499938*y^12*z^3+29810057*y^11*z^3 959 +29956543*y^10*z^3+30284550*y^9*z^3-35221464*y^8*z^3 960 -53124800*y^7*z^3-52987825*y^6*z^3+18268092*y^5*z^3 961 +18247517*y^4*z^3+36291181*y^3*z^3-2001554*y^2*z^3 962 -2010302*y*z^3+17496*x*z^3-1214234*z^3-1569800*y^14*z^2 963 -1661654*y^13*z^2-1622288*y^12*z^2+10350756*y^11*z^2 964 +10775034*y^10*z^2+10578204*y^9*z^2-15349894*y^8*z^2 965 -20474824*y^7*z^2-20457328*y^6*z^2+10504900*y^5*z^2 966 +10793584*y^4*z^2+15564220*y^3*z^2-2374910*y^2*z^2 967 +69984*x*y*z^2-2436146*y*z^2-69984*x*z^2-2619854*z^2 968 +632812*y^14*z+685300*y^13*z+632812*y^12*z-3181556*y^11*z 969 -3478988*y^10*z-3111572*y^9*z+3269036*y^8*z+5569880*y^7*z 970 +4905032*y^6*z-1388096*y^5*z-1738016*y^4*z-2796644*y^3*z 971 -139968*x*y*z+139968*y*z+139968*x*z-139968*z+501226*y^14 972 +474982*y^13+501226*y^12-2497382*y^11-2348666*y^10 973 -2532374*y^9+2453642*y^8+3756116*y^7+4088540*y^6 974 -941216*y^5-766256*y^4-2689838*y^3+69984*x*y-69984*y 975 -69984*x+69984, 976 z^22+x*z^21+6*z^21+2*y^3*z^20-6*y*z^20+9*x*z^20+37*z^20-y^4*z^19 977 +4*y^3*z^19-10*y^2*z^19-20*y*z^19+42*x*z^19+132*z^19+y^6*z^18 978 -36*y^4*z^18+45*y^3*z^18-44*y^2*z^18+2*y*z^18+117*x*z^18+191*z^18 979 -2*y^7*z^17-16*y^6*z^17-44*y^5*z^17-158*y^4*z^17+286*y^3*z^17 980 -40*y^2*z^17+94*y*z^17+195*x*z^17-156*z^17+y^8*z^16-64*y^7*z^16 981 -38*y^6*z^16-232*y^5*z^16-265*y^4*z^16+642*y^3*z^16+148*y^2*z^16 982 +106*y*z^16+123*x*z^16-927*z^16-y^10*z^15-20*y^9*z^15-64*y^8*z^15 983 -308*y^7*z^15+132*y^6*z^15-444*y^5*z^15-160*y^4*z^15+202*y^3*z^15 984 +460*y^2*z^15-42*y*z^15-232*x*z^15-972*z^15+2*y^11*z^14 985 -44*y^10*z^14-76*y^9*z^14-373*y^8*z^14-630*y^7*z^14+541*y^6*z^14 986 -176*y^5*z^14-32*y^4*z^14-1587*y^3*z^14+544*y^2*z^14+112*y*z^14 987 -678*x*z^14+822*z^14-6*y^12*z^13-36*y^11*z^13-222*y^10*z^13 988 -90*y^9*z^13-856*y^8*z^13-622*y^7*z^13+414*y^6*z^13+748*y^5*z^13 989 -25*y^4*z^13-2686*y^3*z^13+254*y^2*z^13+784*y*z^13-660*x*z^13 990 +2938*z^13+y^14*z^12-10*y^13*z^12-26*y^12*z^12-235*y^11*z^12 991 -523*y^10*z^12-18*y^9*z^12-877*y^8*z^12-156*y^7*z^12-902*y^6*z^12 992 +1712*y^5*z^12+770*y^4*z^12-240*y^3*z^12-318*y^2*z^12+746*y*z^12 993 +45*x*z^12+2097*z^12-6*y^14*z^11-54*y^13*z^11-54*y^12*z^11 994 -590*y^11*z^11-743*y^10*z^11-138*y^9*z^11+88*y^8*z^11+558*y^7*z^11 995 -1874*y^6*z^11+2096*y^5*z^11+2683*y^4*z^11+4030*y^3*z^11 996 -1258*y^2*z^11-1040*y*z^11+783*x*z^11-1862*z^11-48*y^14*z^10 997 -144*y^13*z^10-84*y^12*z^10-750*y^11*z^10-684*y^10*z^10 998 -684*y^9*z^10+1680*y^8*z^10+1686*y^7*z^10-26*y^6*z^10+1356*y^5*z^10 999 +3037*y^4*z^10+4238*y^3*z^10-2018*y^2*z^10-2768*y*z^10+744*x*z^10 1000 -4500*z^10-136*y^14*z^9-256*y^13*z^9-150*y^12*z^9-308*y^11*z^9 1001 -223*y^10*z^9-1018*y^9*z^9+2968*y^8*z^9+2916*y^7*z^9+3544*y^6*z^9 1002 -1244*y^5*z^9-565*y^4*z^9-1108*y^3*z^9-1108*y^2*z^9-1716*y*z^9 1003 +115*x*z^9-2504*z^9-219*y^14*z^8-342*y^13*z^8-276*y^12*z^8 1004 +711*y^11*z^8+795*y^10*z^8-88*y^9*z^8+2781*y^8*z^8+2318*y^7*z^8 1005 +4061*y^6*z^8-4336*y^5*z^8-5025*y^4*z^8-5533*y^3*z^8+1306*y^2*z^8 1006 +1318*y*z^8-300*x*z^8+1617*z^8-210*y^14*z^7-336*y^13*z^7 1007 -366*y^12*z^7+1770*y^11*z^7+2058*y^10*z^7+1806*y^9*z^7+314*y^8*z^7 1008 -1112*y^7*z^7-270*y^6*z^7-4180*y^5*z^7-4922*y^4*z^7-3486*y^3*z^7 1009 +2552*y^2*z^7+2770*y*z^7-240*x*z^7+3228*z^7-57*y^14*z^6 1010 -168*y^13*z^6-254*y^12*z^6+2019*y^11*z^6+2449*y^10*z^6+2738*y^9*z^6 1011 -2900*y^8*z^6-4496*y^7*z^6-4787*y^6*z^6-324*y^5*z^6-497*y^4*z^6 1012 +1823*y^3*z^6+1334*y^2*z^6+1442*y*z^6-64*x*z^6+1614*z^6 1013 +198*y^14*z^5+132*y^13*z^5+66*y^12*z^5+922*y^11*z^5+1232*y^10*z^5 1014 +1542*y^9*z^5-3648*y^8*z^5-4116*y^7*z^5-4584*y^6*z^5+2748*y^5*z^5 1015 +2820*y^4*z^5+3882*y^3*z^5-418*y^2*z^5-398*y*z^5-378*z^5 1016 +408*y^14*z^4+384*y^13*z^4+360*y^12*z^4-792*y^11*z^4-672*y^10*z^4 1017 -552*y^9*z^4-1472*y^8*z^4-656*y^7*z^4-848*y^6*z^4+2320*y^5*z^4 1018 +2368*y^4*z^4+1768*y^3*z^4-872*y^2*z^4-872*y*z^4-872*z^4 1019 +422*y^14*z^3+418*y^13*z^3+414*y^12*z^3-1642*y^11*z^3-1622*y^10*z^3 1020 -1602*y^9*z^3+718*y^8*z^3+1916*y^7*z^3+1884*y^6*z^3+512*y^5*z^3 1021 +520*y^4*z^3-642*y^3*z^3-432*y^2*z^3-432*y*z^3-432*z^3+264*y^14*z^2 1022 +264*y^13*z^2+264*y^12*z^2-1240*y^11*z^2-1240*y^10*z^2-1240*y^9*z^2 1023 +1080*y^8*z^2+1872*y^7*z^2+1872*y^6*z^2-288*y^5*z^2-288*y^4*z^2 1024 -1080*y^3*z^2-80*y^2*z^2-80*y*z^2-80*z^2+96*y^14*z+96*y^13*z 1025 +96*y^12*z-480*y^11*z-480*y^10*z-480*y^9*z+480*y^8*z+768*y^7*z 1026 +768*y^6*z-192*y^5*z-192*y^4*z-480*y^3*z+16*y^14+16*y^13+16*y^12 1027 -80*y^11-80*y^10-80*y^9+80*y^8+128*y^7+128*y^6-32*y^5-32*y^4 1028 -80*y^3]" '(x y z)))))) 1029 (&body)) 1030 1031 (test buchberger-cox-tough 1032 "Buchberger algorithm - Cox tough example" 1033 (with-fixture buchberger-cox-tough-context () 1034 (is-true (grobner-test gb fl)) 1035 ;; NOTE: Cannot compare using SET-EXCLUSIVE-OR, as the Grobner basis 1036 ;; FL was computed using "sugar" strategy and is different from 1037 ;; the one obtained with BUCHBERGER, which uses the "normal" strategy. 1038 (is (grobner-equal (buchberger fl) gb)) 1039 ;;(is (every #'universal-equalp (parallel-buchberger fl) gb)) 1040 ) 1041 ) 1042 1043 153 1044 (run! 'buchberger-suite) 154 1045 (format t "All tests done!~%")
Note:
See TracChangeset
for help on using the changeset viewer.
