previous next |
3.8.13. Quotient Rings |
If I is an ideal in a CoCoA ring R, then R/I represents the corresponding quotient ring. It has type TAGGED("Quotient"). |
Example |
Use R ::= Q[x,y]; I := Ideal(y-x^2); Q := R/I; Hilbert(Q); -- the Hilbert function for Q H(0) = 1 H(x) = 2 for x >= 1 ------------------------------- |