DintegrationIdeal(I,w)
i1 : W = QQ[y,t,Dy,Dt, WeylAlgebra => {y=>Dy, t=>Dt}];
i2 : I = ideal(2*t*Dy+Dt, t*Dt+2*y*Dy+2); -- annihilator of 1/(t^2-y) o2 : Ideal of W
i3 : DintegrationIdeal(I, {1,4}) o3 = ideal 1 o3 : Ideal of QQ
The object DintegrationIdeal is a method function with options.