-- -*- M2-comint -*- {* hash: 1951348193 *}

i1 : W = QQ[x,Dx, WeylAlgebra => {x=>Dx}]

o1 = W

o1 : PolynomialRing

i2 : I = ideal(x*Dx-2)

o2 = ideal(x*Dx - 2)

o2 : Ideal of W

i3 : WeylClosure I

                                  3      2
o3 = ideal (x*Dx - 2, x*Dx - 2, Dx , x*Dx  - Dx)

o3 : Ideal of W

i4 :