Macaulay2 » Documentation
Packages » ConnectionMatrices » standardMonomials
next | previous | forward | backward | up | index | toc

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

Description

This method computes the standard monomials of a Gröbner basis of $R_nI$ with respect to the order $\prec'$ on $R_n$ which is induced by the order $\prec$ of the Weyl algebra $D_n$.

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

See also

Ways to use standardMonomials:

  • standardMonomials(Ideal)
  • standardMonomials(List)

For the programmer

The object standardMonomials is a method function.


The source of this document is in ConnectionMatrices/docs.m2:292:0.