hilbertFunction(ZZ,Module) -- Hilbert function of a module

hilbertFunction(ZZ,Module) -- Hilbert function of a module

Synopsis:

Function: hilbertFunction -- Hilbert function of a module

Input:

an instance of class ZZ.

an instance of class Module.

Code:

     -- ../../../Macaulay2/m2/modules2.m2:139-143
     hilbertFunction(ZZ,Ideal) := (d,M) -> (
          f := hilbertSeries(M, Order => d+1);
          U := monoid ring f;
          u := U_0;
          f_(u^d))