Convert a RingElement representing a Hilbert polynomial to a ProjectiveHilbertPolynomial.
i1 : QQ[t]; |
i2 : projectiveHilbertPolynomial (3*t+4)
o2 = P + 3*P
0 1
o2 : ProjectiveHilbertPolynomial
|