-- -*- M2-comint -*- hash: 1729617130458272700

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

o1 = W

o1 : PolynomialRing, 1 differential variable(s)

i2 : AnnIFs (ideal dx, x^2)

o2 = ideal(x*dx - 2s)

o2 : Ideal of QQ[x, dx, s]

i3 : 
