base vlist hilb f array of poly base; array of poly vlist; poly f; array of string base; array of string vlist; poly f; array of string base; string vlist; number m; poly f; f is the hilbert function (a_d x^d + ...)/m! The << base >> should be a reduced Grobner basis. Or, when the << base >> is an array of string, all entries should be monomials. Example: [(x^2) (x y )] (x,y) hilb :: h + 2 Example: [(x^2) (y^2)] (x,y) hilb 4 Example: [(x^2) (y^2) (x y)] [(x) (y)] hilb :: 3 cf. hilbert, hilbReduce