HILBERTPOLYNOMIAL _ _ _ _ _ _ _ _ _ _ _ _ operator

syntax:

where <bas> is a groebner basis in the current term order.

The degree of the Hilbert polynomial is the dimension of the ideal spanned by the basis. For an ideal of dimension zero the Hilbert polynomial is a constant which is the number of common zeros of the ideal (including eventual multiplicities). The Hollmann algorithm is used.