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

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

o1 = W

o1 : PolynomialRing

i2 : I = ideal((x+1)*D+5)

o2 = ideal(x*D + D + 5)

o2 : Ideal of W

i3 : RatSols I

                     -1
o3 = {-------------------------------}
       5     4      3      2
      x  + 5x  + 10x  + 10x  + 5x + 1

o3 : List

i4 :