diff(ProjectiveHilbertPolynomial,ZZ) -- differentiate

diff(ProjectiveHilbertPolynomial,ZZ) -- differentiate

Synopsis:

Function: diff -- differentiate

Input:

an instance of class ProjectiveHilbertPolynomial.

an instance of class ZZ.

Output:

an instance of class ProjectiveHilbertPolynomial.

diff(P,i) -- compute the i-th difference polynomial

Code:

     -- ../../../Macaulay2/m2/modules2.m2:270-274
     diff(ProjectiveHilbertPolynomial,ZZ) := ProjectiveHilbertPolynomial => (P,i) -> (
          new ProjectiveHilbertPolynomial from select(
               apply(pairs P, (n,c) -> (n-i,c)),
               (n,c) -> n >= 0
               ))