-- -*- M2-comint -*- hash: 10048471569885182625

i1 : V = Proj(QQ[x_0..x_5]/(x_0^3+x_5^3))

o1 = V

o1 : ProjectiveVariety

i2 : P = hilbertPolynomial V

o2 = P  - 3*P  + 3*P
      2      3      4

o2 : ProjectiveHilbertPolynomial

i3 : dim P

o3 = 4

i4 : 
