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").

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