# PolynomialRationalRoots(F, UP)¶

get_rational_roots(p) finds rational root of p.
integerBound(p) returns a lower bound on the negative integer roots of p, and 0 if p has no negative integer roots.