These procedures check for expressions of various arithmetic types. For more information about the arithmetic operations, see arithop.

Subtractions are considered to be of type `+`, and similarly, divisions are of type `*`.

The arithmetic operator must be enclosed in left single quotes in the function call.

The type of an arithmetic operation is determined after automatic simplification of expr occurs.  Therefore, the expression $\frac{\left(x-1\right)}{2}$ is actually of type `+`, rather than `*`, since after automatic simplification this expression becomes $\frac{x}{2}-\frac{1}{2}$.

Similarly, the expression $\frac{1}{x}$ is of type `^`, rather than `*`, since the expression is equivalent to $x^{-1}$.  For more information on automatic simplification in Maple, refer to the Maple Expressions chapter of the Maple Programming Guide.

Note: type(expr, `^`) is equivalent to type(expr, `**`).

$\mathrm{type}\left(x^2\,\mathrm{`^`}\right)$

$\mathrm{true}$

$\mathrm{type}\left(x+2\,\mathrm{`+`}\right)$

$\mathrm{true}$

$\mathrm{type}\left(x+x\,\mathrm{`+`}\right)$

$\mathrm{false}$

$\mathrm{type}\left(x+x\,\mathrm{`*`}\right)$

$\mathrm{true}$