gcdquoUP

Next: UnivariateIntegralFactorizer Up: UnivariateGcdRing Previous: gcdUP Contents Index

gcdquoUP

$\begin{usage} gcdquoUP(P)(p, q) \end{usage}$

Signature

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

$\begin{params} {\em P} & \htmlref{\texttt{UnivariatePolynomialCategory0}}{Univ... ...tegory0} \% & A polynomial type\\ {\em p,q} & P & Polynomials\\\end{params}$

$\begin{retval} Returns $(g, y, z)$\ such that $g = \gcd(p, q)$, $p = g y$\ and $q = g z$. \end{retval}$

Manuel Bronstein 2000-12-13