integerRoots,rationalRoots

Next: Resultant Up: RationalRootRing Previous: RationalRootRing Contents Index

integerRoots,rationalRoots

$\begin{usage} integerRoots(P)(p)\\ rationalRoots(P)(p) \end{usage}$

Signature

integerRoots,rationalRoots: (P: POL %) $\to$ P $\to$ Generator RationalRoot

where
POL == UnivariatePolynomialCategory0

$\begin{params} {\em P} & \htmlref{\texttt{UnivariatePolynomialCategory0}}{Univ... ...ategory0} \% & A polynomial type\\ {\em p} & P & A polynomial\\\end{params}$

$\begin{retval} Return $[(r_1,e_1),\dots,(r_n,e_n)]$\ where the $r_i$'s are the integer or rational roots of $p$\ and have multiplicity $e_i$. \end{retval}$

Manuel Bronstein 2000-12-13