Commutative Algebra

MacaulayBound
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).

Version 1.0.15 onwards.

MacaulayLowerOperator
MacaulayLowerOperator (c,d)

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

Version 1.0.15 onwards.

MacaulayRep
MacaulayRep (c,d)

Return the dth Macaulay representation of a positive integer c.

Version 1.0.15 onwards.