We compute the
Hilbert series of a projective variety, that is, the Hilbert series of the homogeneous coordinate ring of
V. The saturation of the ideal may need to be computed.
i1 : V = Proj(QQ[x,y])
o1 = V
o1 : ProjectiveVariety
|
i2 : s = hilbertSeries V
1
o2 = --------
2
(1 - T)
o2 : Expression of class Divide
|
i3 : numerator s
o3 = 1
o3 : ZZ [T]
|