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

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

o1 = W

o1 : PolynomialRing

i2 : I = ideal(D^2, (x-1)*D-1)

             2
o2 = ideal (D , x*D - D - 1)

o2 : Ideal of W

i3 : PolySols I

o3 = {x - 1}

o3 : List

i4 :