UnivariateIntegralFactorizer

Next: factor Up: Univariate Polynomials and Series Previous: gcdquoUP Contents Index

UnivariateIntegralFactorizer

$\begin{usage} import from UnivariateIntegralFactorizer(Z, P) \end{usage}$

$\begin{params} {\em Z} & \htmlref{\texttt{IntegerCategory}}{IntegerCategory} &... ...}}{UnivariatePolynomialCategory0} Z & A polynomial type over Z\\\end{params}$

$\begin{descr} UnivariateIntegralFactorizer(Z, P) implements a factorizer for polynomials with integer coefficients. \end{descr}$

Exports

factor: P $\to$ (Z, Product P) Factor

integerRoots: P $\to$ Generator FractionalRoot Integer Integer roots

rationalRoots: P $\to$ Generator FractionalRoot Integer Rational roots

Subsections

factor
integerRoots,rationalRoots

Manuel Bronstein 2000-12-13

`factor`:	P $\to$ (Z, `Product` P)	Factor
`integerRoots`:	P $\to$ `Generator` `FractionalRoot` `Integer`	Integer roots
`rationalRoots`:	P $\to$ `Generator` `FractionalRoot` `Integer`	Rational roots