-- -*- M2-comint -*- hash: 3972186298890836198

i1 : makeWA(QQ[x])

o1 = QQ[x, dx]

o1 : PolynomialRing, 1 differential variable(s)

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

o2 = ideal(x*dx - 2)

o2 : Ideal of QQ[x, dx]

i3 : holonomicRank I

o3 = 1

i4 : WeylClosure I

                                  3      2
o4 = ideal (x*dx - 2, x*dx - 2, dx , x*dx  - dx)

o4 : Ideal of QQ[x, dx]

i5 : 
