integer division properties

Question

hi.

does the following integer arithmetic property hold?

(m/n)/l == m/(n*l)

At first I thought I knew answer (does not hold), but now am not sure. Does it hold for all numbers or only for certain conditions, i.e. n > l?

the question pertains to computer arithmetic, namely q = n/m, q*m != n, ignoring overflow.

Answer 1

It holds in all cases, they're equivalent

Answer 2

case1 assume m = kn+b (b<n)
left = (m/n)/l = k/l
right = (kn+b)/(n*l) = k/l + b/(n*l) = k/l (because b<n)

case2 assume m = kn...obviously correct

Answer 3

It holds in all cases where it's defined, namely any time when n and l do not equal zero. It's more readable in LaTeX:

MathBin: Divison Equalities

Answer 4

Are you talking about mathematical integers? Or fixed-width integers within a programming language?

The two equations are identical with mathematical integers, but the two functions have different overflow behaviors if you are using fixed-width integers.

For example, suppose integers are 32-bit

(1310720000/65536)/65537 = 20000/65537 = 0

However, 65536 * 65537 will overflow a 32-bit integer, and will equal 65536, so

1310720000/(65536*65537) = 1310720000/65536 = 20000