i1 : W = QQ[x,dx, WeylAlgebra=>{x=>dx}] o1 = W o1 : PolynomialRing
i2 : AnnIFs (ideal dx, x^2) o2 = ideal(x*dx - 2s) o2 : Ideal of QQ[x, dx, s]