up previous next
2.9.8 Quotient Rings
***** NOT YET UPDATED TO CoCoA-5: follow with care *****

If R is a ring identifier and I is an ideal defined in R , then R/I represents the corresponding quotient ring. It has type TAGGED("Quotient") .

Example
  Use R ::= QQ[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
-------------------------------