MonomialOrbits -- find orbit representatives of monomial ideals, under permutations of the variables

This package contains functions for the construction of representatives of the orbits of monomial ideals of a given type in a polynomial ring $S$ under the group of permutations of the variables of $S$.

The type of the ideals may be defined either by the number of minimal generators of each degree, or by the set of monomials from which to choose or by the set of monomials from which to subtract in orbitRepresentatives or by the Hilbert function, in hilbertRepresentatives. If the option MonomialType => "SquareFree" is given, then only square-free monomial ideals are considered.

Authors

• David Eisenbud <de@msri.org>
• Mike Stillman <mike@math.cornell.edu>

Version

This documentation describes version 1.0 of MonomialOrbits.

Source code

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

Exports