Description
One of the nice things about Dmodules is that if a finitely generated Dmodule is specializable along
f, then it's localization with respect to
f is also finitely generated. For instance, this is true for all holonomic Dmodules.
There are two different algorithms for localization implemented. The first appears in the paper 'A localization algorithm for Dmodules' by OakuTakayamaWalther (1999). The second is due to Oaku and appears in the paper 'Algorithmic computation of local cohomology modules and the cohomological dimension of algebraic varieties' by Walther(1999)
i1 : W = QQ[x,y,Dx,Dy, WeylAlgebra => {x=>Dx,y=>Dy}]
o1 = W
o1 : PolynomialRing, 2 differential variable(s)

i2 : M = W^1/(ideal(x*Dx+1, Dy))
o2 = cokernel  xDx+1 Dy 
1
o2 : Wmodule, quotient of W

i3 : f = x^2y^3
3 2
o3 =  y + x
o3 : W

i4 : Mf = Dlocalize(M, f)
o4 = cokernel  3xDx2yDy15 y3Dy+x2Dy6y2 
1
o4 : Wmodule, quotient of W
