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