up previous next
***** 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")
.
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
-------------------------------
|