type/ - Maple Programming Help

type/<

check for a strict inequality

type/<=

check for an inequality

 Calling Sequence type(expr, <) type(expr, <=)

Parameters

 expr - any expression

Description

 • The call type(expr, <) checks if expr is of type $\mathrm{<}$, that is, if it is a strict inequality. It returns true if expr is of type <, and false otherwise.
 • The call type(expr, <=) checks if expr is of type <=, that is, if it is an inequality. It returns true if expr is of type <=, and false otherwise.
 • Both types < and <= are surface type checks, and are therefore very fast. The supertypes relation and boolean include both kinds of inequality.

Examples

 > $\mathrm{type}\left(a
 ${\mathrm{true}}$ (1)
 > $\mathrm{type}\left(a\le b,'\mathrm{<}'\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{type}\left(a
 ${\mathrm{false}}$ (3)
 > $\mathrm{type}\left(a\le b,'\mathrm{<=}'\right)$
 ${\mathrm{true}}$ (4)