Macaulay2 » Documentation
Packages » GenericInitialIdeal :: GenericInitialIdeal
next | previous | forward | backward | up | index | toc

GenericInitialIdeal -- find the generic initial ideal of a given ideal


GenericInitialIdeal is a package for computing generic initial ideals of ideals in a polynomial ring, that is, the monomial ideal of lead terms after a random change of coordinates. All of these routines are probabilistic: with high probability, they give the correct answer, but it could be the case that the choice of coordinates is too special.



This documentation describes version 0.2 of GenericInitialIdeal.

Source code

The source code from which this documentation is derived is in the file GenericInitialIdeal.m2.


  • Functions and commands
    • gin -- the generic initial ideal
    • lexgin -- the generic initial ideal with respect to lexicographical order
  • Methods
  • Symbols

For the programmer

The object GenericInitialIdeal is a package.