monicRemainder

Next: pseudoDivide Up: UnivariatePolynomialCategory Previous: monicDivide Contents Index

monicRemainder

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

Signature

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

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

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

$\begin{remarks} When using monicRemainder!($a,b$), the storage used by a is all... ...and is thus guaranteed not to share space with other polynomials. \end{remarks}$

See Also

monicDivide, pseudoRemainder

Manuel Bronstein 2000-12-13