Given positive integers a and d, macaulayLowerOperator yields a_<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 |
The object macaulayLowerOperator is a method function.