standardMonomials -- computes the standard monomials for a $D_n$-ideal

• Usage:

  standardMonomials I

  standardMonomials G

• Inputs:
  • I, an ideal, of the Weyl algebra
  • G, a list, of generators of the ideal
• Outputs:
  • L, a list, of standard monomials

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 : D2 = makeWeylAlgebra(QQ[x,y],{1,10});

i6 : standardMonomials(sub(I,D2))

o6 = {1, dx}

o6 : List