divideBy

Next: divDiffProd Up: CommutativeRing Previous: canonicalUnitNormal Contents Index

divideBy

$\begin{usage} divideBy~x \end{usage}$

Signature

divideBy: % $\to$ % $\to$ %

$\begin{params} {\em x} & \% & An element of the ring\\ \end{params}$

$\begin{retval} Returns a procedure p which performs exact division by $x$. p should only be called when a division is exact. \end{retval}$

Manuel Bronstein 2000-12-13