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