rootsSqfr

Next: PrimeFieldCategory0 Up: PrimeFieldCategory Previous: PrimeFieldCategory Contents Index

rootsSqfr

$\begin{usage} rootsSqfr~P\\ rootsSqfr(P)(p) \end{usage}$

Signature

rootsSqfr: (P:UnivariatePolynomialCategory0 %) $\to$ P $\to$ Generator %

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

$\begin{retval} Returns a generator that produces all the roots of $p$, which must be squarefree, in its coefficient field. \end{retval}$

Manuel Bronstein 2000-12-13