previous up next
Go backward to Difference
Go up to Top
Go forward to Properties of Quotient and Remainder
RISC-Linz logo

Quotient and Remainder

Definition: quotient and remainder

x div y := such q: exists r: r < y /\  x=(q*y)+r;
x mod y := such r: exists q: r < y /\  x=(q*y)+r.


Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next