BoundIntegerRoots(F, UP)ΒΆ

oderf.spad line 42

BoundIntegerRoots provides functions to find lower bounds on the integer roots of a polynomial.

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