-- -*- M2-comint -*- {* hash: -701985797 *} i1 : R = QQ[a..d]; i2 : I = ideal(a^3, b^2, a*b*c); o2 : Ideal of R i3 : F = hilbertPolynomial I o3 = - 2*P + 4*P 0 1 o3 : ProjectiveHilbertPolynomial i4 : degree F o4 = 4 i5 : dim F o5 = 1 i6 : (dim I - 1, degree I) o6 = (1, 4) o6 : Sequence i7 :