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 (c,d)
The c_<d> operator from Green's proof of Macaulay's Theorem.
Version 1.0.15 onwards.
MacaulayRep (c,d)
Return the dth Macaulay representation of a positive integer c.
Version 1.0.15 onwards.