Skip to content

Divisible

Status: Stable

documented, exercised by the test suite and/or worked examples, with no known limitations recorded.

Description

Divisible[n, m] yields True if n is an integer multiple of m -- the divisibility relation m | n, effectively Mod[n, m] == 0 -- and False otherwise.

Notes Works for machine and BigInt integers, Gaussian integers, rationals, and exact numeric quantities (the quotient n/m must reduce to an integer or Gaussian integer). Returns False unless n and m are manifestly divisible; symbolic, non-numeric arguments are left unevaluated. Listable.

Examples (18)

Every input below was run against the current Mathilda build and its output recorded.

Basic examples (6)

In[1]:= Divisible[10, 2]
Out[1]= True

In[2]:= Divisible[5, 2]
Out[2]= False

In[3]:= Divisible[3 + I, 1 - I]
Out[3]= True

In[4]:= Divisible[2 Pi, Pi/2]
Out[4]= True

In[5]:= Divisible[Sqrt[6], Sqrt[2]]
Out[5]= False

In[6]:= Divisible[{1, 2, 3, 4, 5, 6}, 2]
Out[6]= {False, True, False, True, False, True}

Worked examples (9)

In[7]:= Divisible[10^3000 + 1, 16001]
Out[7]= True

In[8]:= Divisible[0, 0]
Out[8]= True

In[9]:= Divisible[6, 0]
Out[9]= False

In[10]:= Divisible[10, -2]
Out[10]= True

In[11]:= Divisible[3 + I, 1 - I]
Out[11]= True

In[12]:= Divisible[3/2, 1/2]
Out[12]= True

In[13]:= Divisible[2 Pi, Pi/2]
Out[13]= True

In[14]:= Divisible[Sqrt[6], Sqrt[2]]
Out[14]= False

In[15]:= Divisible[{1, 2, 3, 4, 5, 6}, 2]
Out[15]= {False, True, False, True, False, True}

Applications (3)

In[16]:= Divisible[100, 4]
Out[16]= True

In[17]:= Divisible[100, 7]
Out[17]= False

In[18]:= Divisible[10 + 5 I, 1 + 2 I]
Out[18]= True

Implementation notes

  • Machine integers and GMP bigints: tested directly with mpz_divisible_p, so large cases such as Divisible[10^3000 + 1, 16001] → True are exact. By the GMP convention, divisibility by 0 holds iff n == 0 (Divisible[0, 0] → True, Divisible[6, 0] → False); sign is ignored (Divisible[10, -2] → True).
  • Gaussian integers, rationals, and exact numeric quantities: the quotient n/m is formed and evaluated; the result is True iff it reduces to an integer or a Gaussian integer. So Divisible[3 + I, 1 - I] → True, Divisible[3/2, 1/2] → True, Divisible[2 Pi, Pi/2] → True, while Divisible[Sqrt[6], Sqrt[2]] → False.
  • Listable: threads element-wise over lists, e.g. Divisible[{1, 2, 3, 4, 5, 6}, 2] → {False, True, False, True, False, True}.
  • Symbolic, non-numeric arguments leave the call unevaluated (e.g. Divisible[x, 2]).
  • Diagnostics: too few arguments emit Divisible::argm, too many emit Divisible::argt; both leave the call unevaluated.

Attributes: Listable, Protected.

References

Notes & additional examples

The divisibility relation

Divisible[n, m] tests the relation m ∣ n — whether n is an integer multiple of m, equivalently whether Mod[n, m] == 0. It extends beyond the ordinary integers: over the Gaussian integers Z[i], m ∣ n when the quotient n/m is itself a Gaussian integer.