leftExactQuotient

Next: monicLeftDivide Up: UnivariateSkewPolynomialCategoryTools Previous: leftDivide Contents Index

leftExactQuotient

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

Signature

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

See Also

leftDivide,monicLeftDivide,rightExactQuotient

Manuel Bronstein 2000-12-13