PolynomialRationalRoots(F, UP)

rdeefx.spad line 271 [edit on github]

• F : Join(IntegralDomain, LinearlyExplicitOver(Integer))
• UP : UnivariatePolynomialCategory(F)

undocumented

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.