UnivariateGcdRing

Next: gcdUP Up: Univariate Polynomials and Series Previous: UnivariateFreeFiniteAlgebraOverFraction Contents Index

UnivariateGcdRing

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

$\begin{descr} UnivariateGcdRing~is the category of rings which export a gcd algorithm for univariate polynomials over themselves. \end{descr}$

Exports

GcdDomain

gcdUP: (P:UnivariatePolynomialCategory0) $\to$ (P, P) $\to$ P Gcd

gcdUP!: (P:UnivariatePolynomialCategory0) $\to$ (P, P) $\to$ P Gcd

gcdquoUP: (P:UnivariatePolynomialCategory0) $\to$ (P, P) $\to$ (P,P,P) Gcd

Subsections

gcdUP
gcdquoUP

Manuel Bronstein 2000-12-13

`GcdDomain`
`gcdUP`:	(P:`UnivariatePolynomialCategory0`) $\to$ (P, P) $\to$ P	Gcd
`gcdUP!`:	(P:`UnivariatePolynomialCategory0`) $\to$ (P, P) $\to$ P	Gcd
`gcdquoUP`:	(P:`UnivariatePolynomialCategory0`) $\to$ (P, P) $\to$ (P,P,P)	Gcd