hilbertFunction(ZZ,Module) -- Hilbert function of a module
Synopsis:
Code:
-- ../../../Macaulay2-0.9.2/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))