up previous next
2.9.7 Quotient Rings
If R is a ring and I is an ideal (in R ) then R/I creates the corresponding quotient ring.

Example 
/**/  Use R ::= QQ[x,y];
/**/  I := ideal(x^3+y^3, x^2*y-y^2*x);
/**/  Q := R/I;
/**/  HilbertFn(Q);  -- the Hilbert function for Q
H(0) = 1
H(1) = 2
H(2) = 3
H(3) = 2
H(4) = 1
H(t) = 0   for t >= 5