-- -*- M2-comint -*- hash: 3551318331043122171

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 : 
