oderf.spad line 42 [edit on github]
BoundIntegerRoots provides functions to find lower bounds on the integer roots of a polynomial.
integerBound(p) returns a lower bound on the negative integer roots of p, and 0 if p has no negative integer roots.