* - Maple Help

type/+

check for an expression of type +

type/*

check for an expression of type *

type/^

check for an expression of type ^

 Calling Sequence type(expr, +) type(expr, *) type(expr, ^)

Parameters

 expr - any expression

Description

 • 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, **).

Examples

 > $\mathrm{type}\left({x}^{2},\mathrm{^}\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{type}\left(x+2,\mathrm{+}\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(x+x,\mathrm{+}\right)$
 ${\mathrm{false}}$ (3)
 > $\mathrm{type}\left(x+x,\mathrm{*}\right)$
 ${\mathrm{true}}$ (4)