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
-------------------------------