monicLeftDivide

Next: monicRightDivide Up: UnivariateSkewPolynomialCategory Previous: leftLcm Contents Index

monicLeftDivide

$\begin{usage} monicLeftDivide(a, b) \end{usage}$

Signature

monicLeftDivide: (%, %) $\to$ (%, %)

$\begin{params} {\em a } & \% & The skew--polynomial to be divided\\ {\em b } & \% & The skew--polynomial to divide by (must be monic)\\\end{params}$

$\begin{retval} Returns $(q, r)$\ such that $a = b q + r$\ and either $r = 0$or $\deg(r) < \deg(b)$. \end{retval}$

See Also

leftDivide, monicRightDivide

Manuel Bronstein 2000-12-13