Modular arithmetic: Difference between revisions

Content added Content deleted
Line 748:
 
To illustrate that the function `ring::f` defined here does satisfy this requirement, we will evaluate it at both the integer 1 and the
element «10 % 13» of Z/13Z13ℤ.
 
To keep the distinctions between functions defined on different