-- -*- M2-comint -*- hash: 1729790750953030206

i1 : Z = Proj(QQ[x_0..x_12]/(x_0^3+x_12^3))

o1 = Z

o1 : ProjectiveVariety

i2 : hilbertPolynomial Z

o2 = P  - 3*P   + 3*P
      9      10      11

o2 : ProjectiveHilbertPolynomial

i3 : 
