leftDivide

Next: leftExactQuotient Up: UnivariateSkewPolynomialCategoryTools Previous: apply Contents Index

leftDivide

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

Signature

leftDivide: (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

leftExactQuotient,monicLeftDivide,rightDivide

Manuel Bronstein 2000-12-13