divide,quo,rem

Next: divide! Up: EuclideanDomain Previous: diophantine Contents Index

divide,quo,rem

$\begin{usage} divide(a, b)\\ a quo b\\ a rem b \end{usage}$

$\begin{signatures} divide: & (\%,\%) $\to$\ (\%, \%)\\ quo,rem: & (\%,\%) $\to$\ \%\\\end{signatures}$

$\begin{params} {\em a,b} & \% & Element of the ring, $y \ne 0$\\ \end{params}$

$\begin{retval} $a$\ rem $b$\ returns $r$\ such that either $r = 0$or $0 \le \ve... ...rt b \vert$, and divide(a, b) returns the pair (a quo b, a rem b). \end{retval}$

Manuel Bronstein 2000-12-13