The hastype(expr, t) function returns true if expr  or any of its subexpressions is of type t.

A subexpression of an expression is any of the expressions returned by the op command.

Using the exclude_container option causes hastype to only look at subexpressions, and not the parent container object.

The hastype command is thread-safe as of Maple 15.

For more information on thread safety, see index/threadsafe.

$f≔x^{\frac{1}{2}}y$

$f≔\sqrt{x}y$

$\mathrm{hastype}\left(f\,\mathrm{`*`}\right)$

$\mathrm{true}$

$\mathrm{hastype}\left(f\,\mathrm{`+`}\right)$

$\mathrm{false}$

$\mathrm{hastype}\left(f\,{\mathrm{name}}^{\mathrm{fraction}}\right)$

$\mathrm{true}$

$\mathrm{hastype}\left(f\,\mathrm{radical}\right)$

$\mathrm{true}$

$\mathrm{hastype}\left(f\,\mathrm{function}\right)$

$\mathrm{false}$

$A≔\mathrm{Matrix}\left(\left[\left[1\,2\right]\,\left[3\,4\right]\right]\right)$

$A≔\left[\begin{array}{cc}1& 2\\ 3& 4\end{array}\right]$

$\mathrm{hastype}\left(A\,\mathrm{rational}\right)$

$\mathrm{true}$

$\mathrm{hastype}\left(A\,\mathrm{Matrix}\right)$

$\mathrm{true}$

$\mathrm{hastype}\left(A\,\mathrm{Matrix}\,'\mathrm{exclude\_container}'\right)$

$\mathrm{false}$

$\mathrm{hastype}\left(A\,'\mathrm{Not}\left(\mathrm{numeric}\right)'\right)$

$\mathrm{true}$

$\mathrm{hastype}\left(A\,'\mathrm{Not}\left(\mathrm{numeric}\right)'\,'\mathrm{exclude\_container}'\right)$

$\mathrm{false}$

$\mathrm{hastype}\left(F\left(3\right)\,\mathrm{identical}\left(F\right)\right)$

$\mathrm{false}$

$\mathrm{op}\left(F\left(3\right)\right)$

$3$