next | previous | forward | backward | up | top | index | toc | home

hilbertSeries(Ideal) -- compute the Hilbert series of the quotient of the ambient ring by the ideal

Synopsis

Description

We compute the Hilbert series of R/I, the quotient of the ambient ring by the ideal. Caution: For an ideal I running hilbertSeries I calculates the Hilbert series of R/I.
R = ZZ/101[x, Degrees => {2}];
I = ideal x^2
s = hilbertSeries I
numerator s
poincare I
reduceHilbert s
Recall that the variables of the power series are the variables of the degrees ring.
R=ZZ/101[x, Degrees => {{1,1}}];
I = ideal x^2;
s = hilbertSeries I
numerator s
poincare I
reduceHilbert s

Caveat

As is often the case, calling this function on an ideal I actually computes it for R/I where R is the ring of I.