RationalRootRing

Next: integerRoots,rationalRoots Up: Univariate Polynomials and Series Previous: factor Contents Index

RationalRootRing

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

$\begin{descr} RationalRootRing~is the category of gcd domains that export an al... ...nding the rational roots of univariate polynomials over themselves. \end{descr}$

Exports

Ring

integerRoots: (P:POL %) $\to$ P $\to$ Generator FR Integer Integer roots

rationalRoots: (P:POL %) $\to$ P $\to$ Generator FR Integer Rational roots

where
FR == FractionalRoot

POL == UnivariatePolynomialCategory0

Subsections

integerRoots,rationalRoots

Manuel Bronstein 2000-12-13

`Ring`
`integerRoots`:	(P:POL %) $\to$ P $\to$ `Generator` FR `Integer`	Integer roots
`rationalRoots`:	(P:POL %) $\to$ P $\to$ `Generator` FR `Integer`	Rational roots