BoundIntegerRoots(F, UP)

oderf.spad line 42 [edit on github]

• F: Join(Field, RetractableTo Fraction Integer)

• UP: UnivariatePolynomialCategory F

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.