-- -*- M2-comint -*- hash: 17437734937456881329

i1 : D = makeWeylAlgebra(QQ[x,y]);

i2 : I = ideal(x*dx^2-y*dy^2+2*dx-2*dy, x*dx+y*dy+1);

o2 : Ideal of D

i3 : standardMonomials I

o3 = {1, dy}

o3 : List

i4 : holonomicRank I

o4 = 2

i5 : 
