resol0

 [ ii v] resol0 r 
array of poly ii; string v;
<< vv >> is a string of variables separated by ,
  
 [ ii v] resol0 r 
array of poly ii; array of strings v;
<< vv >> is an array of variable names. 
  
 [ ii v w] resol0 r 
array of poly ii; string v; array w;
<< w >> is a weight vector.
  
You can also give a parameter << d >> to specify the truncation depth
of the resolution: [ d ii v] resol0, [d ii v w] resol0
  
resol0 constructs a resolution which is adapted (strict)
to a filtration. So, it is not minimal.
 r = [starting Groebner basis g, [ s1, s2 , s3, ...], order-def].
g is the reduced Groebner basis for f, 
 s1 is the syzygy of g,
 s2 is the syzygy of s1,
 s3 is the syzygy of s2 and so on.
For details, see math.AG/9805006
cf. sResolution, tparse, s_ring_..., resol0.cp
Example:  [ [( x^3-y^2 )  ( 2 x Dx + 3 y Dy + 6 )  ( 2 y Dx + 3 x^2 Dy) ] 
             (x,y) ] resol0 ::



Nobuki Takayama 2020-11-24