up previous next
4.8.13 Quotient Rings
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").

  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