-- -*- M2-comint -*- hash: 2298408359361873373

i1 : R = ZZ/101[x,dx,y,dy, WeylAlgebra => {x => dx, y => dy}]

o1 = R

o1 : PolynomialRing, 2 differential variable(s)

i2 : dx*x

o2 = x*dx + 1

o2 : R

i3 : dx*x^10

      10        9
o3 = x  dx + 10x

o3 : R

i4 : dx*y^10

         10
o4 = dx*y

o4 : R

i5 : QQ[a,b,x,dx,y,dy, WeylAlgebra => { {2,   3}, {4,   5} }]

o5 = QQ[a..b, x, dx, y, dy]

o5 : PolynomialRing, 2 differential variable(s)

i6 : QQ[a,b,x,dx,y,dy, WeylAlgebra => {  2 => 3,   4 => 5  }]

o6 = QQ[a..b, x, dx, y, dy]

o6 : PolynomialRing, 2 differential variable(s)

i7 : QQ[a,b,x,dx,y,dy, WeylAlgebra => {  x => dx,  y => dy }]

o7 = QQ[a..b, x, dx, y, dy]

o7 : PolynomialRing, 2 differential variable(s)

i8 : QQ[a,b,x,dx,y,dy, WeylAlgebra => { (x, y) => (dx, dy) }]

o8 = QQ[a..b, x, dx, y, dy]

o8 : PolynomialRing, 2 differential variable(s)

i9 : needsPackage "Dmodules"

o9 = Dmodules

o9 : Package

i10 : makeWA(QQ[x,y])

o10 = QQ[x..y, dx, dy]

o10 : PolynomialRing, 2 differential variable(s)

i11 : QQ[x,dx,y,dy,h, WeylAlgebra => { x => dx, y => dy, h }]

o11 = QQ[x, dx, y, dy, h]

o11 : PolynomialRing, 3 differential variable(s) and one homogenizing variable

i12 : dx*x^2

       2         2
o12 = x dx + 2x*h

o12 : QQ[x, dx, y, dy, h]

i13 : dx*x*y

                  2
o13 = x*dx*y + y*h

o13 : QQ[x, dx, y, dy, h]

i14 : dx*h^2

          2
o14 = dx*h

o14 : QQ[x, dx, y, dy, h]

i15 : isHomogeneous(dx*(x^2+x*y+h^2))

o15 = true

i16 : 
