-- -*- M2-comint -*- {* hash: 161985098 *} i1 : W = QQ[x,y,Dx,Dy, WeylAlgebra => {x=>Dx,y=>Dy}] o1 = W o1 : PolynomialRing i2 : I = ideal (x*Dx+2*y*Dy-3, Dx^2-Dy) 2 o2 = ideal (x*Dx + 2y*Dy - 3, Dx - Dy) o2 : Ideal of W i3 : inw(I, {1,3,3,-1}) 2 2 2 o3 = ideal (x*Dx, 4y Dy + 2x*Dx, 2y*Dx*Dy, Dx ) o3 : Ideal of QQ[x, y, Dx, Dy] i4 : inw(I, {-1,-3,1,3}) o4 = ideal (x*Dx + 2y*Dy - 3, Dy) o4 : Ideal of W i5 :