factor

Next: fractionalRoots,roots Up: FactorizationRing Previous: FactorizationRing Contents Index

factor

$\begin{usage} factor(P)(p) \end{usage}$

Signature

factor: (P: UnivariatePolynomialCategory0 %) $\to$ P $\to$ (%, Product P)

$\begin{params} {\em P} & \htmlref{\texttt{UnivariatePolynomialCategory0}}{Univ... ...ategory0} \% & A polynomial type\\ {\em p} & P & A polynomial\\\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}$

Manuel Bronstein 2000-12-13