factor

Next: RationalRootRing Up: PrimeFieldUnivariateFactorizer Previous: roots Contents Index

factor

$\begin{usage} factor~p\\ factor(e)(p) \end{usage}$

$\begin{signatures} factor: & P $\to$\ (F, Product P)\\ factor: & (P $\to$\ List P) $\to$\ (P $\to$\ (F, Product P))\\\end{signatures}$

$\begin{params} {\em p} & P & The polynomial to factor.\\ {\em e} & P $\to$\ List P & The factorization engine to use.\end{params}$

$\begin{retval} Returns $(c, p_1^{e_1} \cdots p_n^{e_n})$\ such that each $p_i$\... ...n{displaymath} p = c\;\prod_{i=1}^n p_i^{e_i}\,. \end{displaymath} \end{retval}$

$\begin{remarks} Uses the factorizer {\em e} for factoring the monic squarefree factors of $p$. \end{remarks}$

Manuel Bronstein 2000-12-13