base vlist hilbert [m f] array of poly base; array of poly vlist; number m; poly f; array of string base; array of string vlist; number m; poly f; array of string base; string vlist; number m; poly f; [m f] represents the hilbert function (a_d x^d + ...)/m! where f=a_d x^d + ... 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) hilbert :: [2, 2 h + 4] Example: [(x^2) (y^2)] (x,y) hilbert (h) hilbReduce :: 4 Example: [(x^2) (y^2) (x y)] [(x) (y)] hilbert (h) hilbReduce :: 3 cf. hilb, hilbReduce