BoundIntegerRoots(F, UP)¶

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