The call type(x, atomic) checks to see if x is of type atomic. It returns true if x is of type atomic, and false otherwise.

An object is of type atomic if it cannot be mapped over, that is, $\mathrm{map}\left(f\,x\right)=f\left(x\right)$.  Objects in Maple which have this property are of type name, complex(extended_numeric), indexed, string, procedure, or `module`.

$\mathrm{type}\left(1\,\'\mathrm{atomic}\'\right)$

$\mathrm{true}$

$\mathrm{type}\left(\frac{1}{2}\,\'\mathrm{atomic}\'\right)$

$\mathrm{true}$

$\mathrm{type}\left(0.5\,\'\mathrm{atomic}\'\right)$

$\mathrm{true}$

$\mathrm{type}\left(3\+\frac{1I}{2}\,\'\mathrm{atomic}\'\right)$

$\mathrm{true}$

$\mathrm{type}\left(x\+\frac{1I}{2}\,\'\mathrm{atomic}\'\right)$

$\mathrm{false}$

$\mathrm{type}\left(''String''\,\'\mathrm{atomic}\'\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{Name}\,\'\mathrm{atomic}\'\right)$

$\mathrm{true}$

$\mathrm{type}\left(a_b\,\'\mathrm{atomic}\'\right)$

$\mathrm{true}$

$\mathrm{type}\left(\frac{a}{b}\,\'\mathrm{atomic}\'\right)$

$\mathrm{false}$