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