2.9.7 Quotient Rings |
Example |
/**/ use ZZ/(11)[x]; /**/ (x+3)^11; x^11 + 3 /**/ use R ::= QQ[x,y]; /**/ I := ideal(x^3+y^3, x^2*y-y^2*x); /**/ Q := R/I; /**/ HilbertFn(Q); -- the Hilbert function for Q H(0) = 1 H(1) = 2 H(2) = 3 H(3) = 2 H(4) = 1 H(t) = 0 for t >= 5 |