HilbertPoly |
Syntax |
HilbertPoly(R:RING or TAGGED("Quotient")):POLY in the ring Qt. |
Description |
Example |
/**/ Use R ::= QQ[w,x,y,z]; /**/ I := ideal(z^2-x*y, x*z^2+w^3); /**/ Hilbert(R/I); H(0) = 1 H(1) = 4 H(t) = 6*t-3 for t >= 2 /**/ F := HilbertPoly(R/I); /**/ F; -- a polynomial in the ring Qt 6*t-3 /**/ T := indet(RingOf(F), 1); /**/ Subst(F, T, 3); 15 |
See Also |