monicRightDivide

Next: rightDivide Up: UnivariateSkewPolynomialCategoryTools Previous: monicLeftDivide Contents Index

monicRightDivide

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

Signature

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

$\begin{params} {\em a } & C & The skew--polynomial to be divided\\ {\em b } &... ...exttt{Automorphism}}{Automorphism} R & The automorphism to use\\\end{params}$

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

See Also

monicLeftDivide,rightDivide,rightExactQuotient

Manuel Bronstein 2000-12-13