divides

Checks for divisibility.

Syntax

• divides(a, b)

  • a is an integer

  • b is an integer

Description

divides(a, b) is true iff a divides b, that is, iff b = k⋅a for some integer k.

Notes

This is the function behind the infix operator ∣. Typically you use the operator instead of calling the divides function directly.

Examples

13 ∣ 911924

true

15 ∣ 911924

false

5 ∣ 0

true

See also

• ∣

• NotDivides (∤)