rightExactQuotient

Next: times Up: UnivariateSkewPolynomialCategoryTools Previous: rightDivide Contents Index

rightExactQuotient

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

Signature

rightExactQuotient: (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 either $q$\ such that $a = q b$\ if such a $q$\ exists, {\it failed}\xspace ~otherwise. \end{retval}$

See Also

leftExactQuotient,monicRightDivide,rightDivide

Manuel Bronstein 2000-12-13