-- -*- M2-comint -*- {* hash: -1033546820 *}
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]
i3 :
-- -*- M2-comint -*- {* hash: -1033546820 *}
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]
i3 :
::
::
::
