gotzmannNumber -- Compute the Gotzmann number of a Hilbert polynomial

Synopsis

Usage:

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

Returns the Gotzmann number of the input polynomial, i.e. the length of its Gotzmann decomposition (see gotzmannDecomposition).

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