Description
This routine computes various resolutions of a Dmodule. If no weight vector is specified, then the command produces a resolution by using the Schreyer order implemented in the engine. If a weight vector
w of the form
(u,u) is specified, then the command produces a resolution with shifts which is adapted to the weight vector
w. These
wadapted resolutions are compatible with bfunctions and used in the restriction algorithm. For ordinary resolutions, the user may use the command
resolution. Note that the notion of a minimal resolution is welldefined only in case of homogenized Weyl algebra.
There are two strategies for constructing wadapted resolutions. The first strategy is to construct a Schreyer resolution in the homogenized Weyl algebra and then dehomogenize. The second strategy is to homogenize with respect to the weight vector. These strategies are described in the paper 'Algorithms for Dmodules' by OakuTakayama(1999).
i1 : R = QQ[x_1,x_2,D_1,D_2,WeylAlgebra=>{x_1=>D_1,x_2=>D_2}]
o1 = R
o1 : PolynomialRing, 2 differential variable(s)

i2 : I = ideal(x_1*D_1+3*x_2*D_21, D_1^3D_2)
3
o2 = ideal (x D + 3x D  1, D  D )
1 1 2 2 1 2
o2 : Ideal of R

i3 : Dresolution(I,{1,1,1,1})
1 5 6 2
o3 = R < R < R < R < 0
0 1 2 3 4
o3 : ChainComplex

Abbreviations :