monicLeftDivide

Next: monicRightDivide Up: UnivariateSkewPolynomialCategoryTools Previous: leftExactQuotient Contents Index

monicLeftDivide

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

Signature

monicLeftDivide: (C, C, Automorphism R, R $\to$ R) $\to$ (C, C)

$\begin{params} {\em a } & C & The skew--polynomial to be divided\\ {\em b } &... ...\ {\em$\delta$} & R $\to$\ R & The $\sigma$-derivation to use\\\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,leftExactQuotient,monicRightDivide

Manuel Bronstein 2000-12-13