FactorizationRing

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

FactorizationRing

$\begin{usage} FactorizationRing: Category \end{usage}$

$\begin{descr} FactorizationRing~is the category of rings that export an algorit... ...factoring univariate polynomials over themselves into irreducibles. \end{descr}$

Exports

`GcdDomain`
`RationalRootRing`
`factor`:	(P:POL %) $\to$ P $\to$ (%, Product P)	Factorization into irreducibles
`fractionalRoots`:	(P:POL %) $\to$ P $\to$ `Generator` FR %	Roots in the fraction field
`roots`:	(P:POL %) $\to$ P $\to$ `Generator` FR %	Roots in the coefficient ring

where
FR == FractionalRoot

POL == UnivariatePolynomialCategory0

Subsections

factor
fractionalRoots,roots

Manuel Bronstein 2000-12-13