dim(ProjectiveHilbertPolynomial) -- the degree of the Hilbert polynomial

Synopsis

• Function: dim

• Usage:

  dim P

• Inputs:
  • P, a projective Hilbert polynomial
• Outputs:
  • ZZ, an integer

Description

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

See also

• hilbertPolynomial -- compute the Hilbert polynomial
• degree(ProjectiveHilbertPolynomial)
• euler(ProjectiveHilbertPolynomial) -- constant term of the Hilbert polynomial