Go backward to Equivalent DefinitionGo up to TopGo forward to Example |

For performing arithmetic on some `x` in **Z**_{m},

- we apply
the selector function to determine a representative
in`x`**Z**, - perform the corresponding operation in
**Z**to yield the result`r`in**Z**, - and then determine the residue class
[
`r`]_{m}in**Z**_{m}.

*Because of congruence, choice of the representative does
not matter.*

Author: Wolfgang Schreiner

Last Modification: January 12, 2000