next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

macaulayLowerOperator -- the a_<d> operator used in Green's proof of Macaulay's Theorem

Synopsis

Description

Given positive integers a and d, macaulayLowerOperator yields a--TEMPORARY AMPERSAND--lt;d>, the operation from Green’s proof of Macaulay’s Theorem. See Bruns and Herzog, Cohen-Macaulay Rings, page 161.
i1 : macaulayLowerOperator(3,1)

o1 = 2
i2 : macaulayLowerOperator(15,5)

o2 = 3

See also

Ways to use macaulayLowerOperator :