previous up next
Go backward to Periodic Functions
Go up to Top
Go forward to Example
RISC-Linz logo

Real Remainder

Definition:

mod: (R x R) -> R
x mod y := x - y*floor(x/y).

Proposition: We have, for every x in R and y in R with y != 0,

x = y*floor(x/y) + x mod y.

Division and remainder on R.


Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next