Groebner[HilbertSeries] - compute Hilbert series
Groebner[HilbertPolynomial] - compute Hilbert polynomial
HilbertSeries(J, X, s, characteristic=p)
HilbertPolynomial(J, X, s, characteristic=p)
a list or set of polynomials or a PolynomialIdeal
(optional) a list or set of variables, a ShortMonomialOrder, or a MonomialOrder
(optional) a variable to use for the series or polynomial
The HilbertSeries command computes the Hilbert series of the ideal generated by J, which is defined as ∑n=0∞⁡cn−cn−1⁢sn where cn is the dimension of the vector space of normal forms (with respect to J) of polynomials of degree less than or equal to n. The output is a rational function of the form H⁡s=P⁡s1−sd where d is the HilbertDimension of J. The Hilbert polynomial is defined as the polynomial asymptotically equal to cn−cn−1.
In the case of skew polynomials, the invariants that are returned are those of the left ideal generated by J.
The variables of the system can be specified using an optional second argument X. If X is a ShortMonomialOrder then a Groebner basis of J with respect to X is computed. Be aware that if X is not a graded monomial order (that is, tdeg or grlex) then the result may be incorrect. By default, X is the set of all indeterminates not appearing inside a RootOf or radical when J is a list or set, or PolynomialIdeals[IdealInfo][Variables](J) if J is an ideal.
The variable for the Hilbert series or polynomial can be specified with an optional third argument s. If this is omitted, the global name 'Z' is used.
The optional argument characteristic=p specifies the ring characteristic when J is a list or set. This option has no effect when J is a PolynomialIdeal or when X is a MonomialOrder.
The algorithms for HilbertSeries and HilbertPolynomial use the leading monomials of a total degree Groebner basis for J. To access this functionality directly (as part of a program), make J the list or set of leading monomials. The commands will detect this case and execute their algorithms with minimal overhead.
Note that the hilbertseries and hilbertpoly commands are deprecated. They may not be supported in a future Maple release.
The system below is not holonomic, in the sense that the Hilbert dimension is greater than the number of polynomial variables (x and y).
Neither x nor y can be eliminated.
The system becomes holonomic when we add the polynomial above. The Hilbert dimension is now 2 and both x and y can be eliminated.
Basis, HilbertDimension, MonomialOrder, Ore_algebra, PolynomialIdeal, series
Download Help Document