FunctionSpaceRationalRoots(R, F)

rdeefx.spad line 331 [edit on github]

• R: Join(IntegralDomain, Comparable, CharacteristicZero, RetractableTo Integer, LinearlyExplicitOver Integer)

• F: FunctionSpace R

Utility package for finding rational roots of expressions treated as univariate polynomials.

get_rational_roots: (F, Kernel F) -> List Fraction Integer

get_rational_roots(f, k) finds rational root of f treated as univariate polynomial in k.