Commutative Algebra

MacaulayBound (c,d)

For a Hilbert function that is c for degree d, given the Macaulay bound for the Hilbert function of degree d+1 (The c^<d> operator from Green's proof).

MacaulayLowerOperator (c,d)

The c_<d> operator from Green's proof of Macaulay's Theorem.

MacaulayRep (c,d)

Return the dth Macaulay representation of a positive integer c.