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
|