monicDivide

Next: monicRemainder Up: UnivariatePolynomialCategory Previous: ordinaryPoint Contents Index

monicDivide

$\begin{usage} monicDivide(a, b) \end{usage}$

Signature

monicDivide: (%, %) $\to$ (%, %)

$\begin{params} {\em a} & \% & A polynomial\\ {\em b} & \% & A polynomial whose leading coefficient is a unit in $R$\\\end{params}$

$\begin{retval} Returns $(q, r)$\ such that $a = b q + r$\ and either $r = 0$or ... ...< \deg(b)$. The leading coefficient of $b$\ must be a unit in $R$. \end{retval}$

See Also

monicRemainder, pseudoDivide

Manuel Bronstein 2000-12-13