PolynomialRationalRoots(F, UP)

rdeefx.spad line 278 [edit on github]

• F: Join(IntegralDomain, LinearlyExplicitOver Integer)

• UP: UnivariatePolynomialCategory F

This package finds rational roots of univariate polynomials over rather general integral domains.

get_rational_roots: UP -> List Fraction Integer

get_rational_roots(p) finds rational root of p.

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.