-- -*- M2-comint -*- {* hash: 1520319137 *} 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 :
-- -*- M2-comint -*- {* hash: 1520319137 *} 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 :