close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4478


Ignore:
Timestamp:
2016-06-15T08:49:08-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-buchberger.lisp

    r4477 r4478  
    151151  )
    152152
     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
    1531044(run! 'buchberger-suite)
    1541045(format t "All tests done!~%")
Note: See TracChangeset for help on using the changeset viewer.