Description
The command
dimis designed so that the result is the dimension of the projective scheme that may have been used to produce the given Hilbert polynomial.
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
|