gotzmannNumber -- Compute the Gotzmann number of a Hilbert polynomial

• Usage:

  gotzmannNumber hp

• Inputs:
  • hp, a projective Hilbert polynomial, or
  • hp, a ring element, a Hilbert polynomial.
• Outputs:
  • an integer,

i1 : QQ[t];

i2 : gotzmannNumber(3*t+4)

o2 = 7

i3 : gotzmannDecomposition(3*t+4)

o3 = {P , - P  + P , - 2*P  + P , P , P , P , P }
       1     0    1       0    1   0   0   0   0

o3 : List