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 |