-- -*- M2-comint -*- hash: 4291581485431173387

i1 : makeWA(QQ[x])

o1 = QQ[x, dx]

o1 : PolynomialRing, 1 differential variable(s)

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

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

o2 : Ideal of QQ[x, dx]

i3 : polynomialSolutions I

o3 = {x - 1}

o3 : List

i4 : 
