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.
Functions and commands
gin -- the generic initial ideal
lexgin -- the generic initial ideal with respect to lexicographical order