And - Maple Help

type/And, type/Or, type/Not, type/Non

boolean combinations of types

 Calling Sequence type(expr, And(type1, type2, ...)) type(expr, Or(type1, type2, ...)) type(expr, Not(type1)) type(expr, Non(type1))

Parameters

 expr - expression type1, type2, ... - type

Description

 • An expression is of type And(type1, type2, ...) if it is all of the types type1, type2, ... .
 • An expression is of type Or(type1, type2, ...) if it is one of the types type1, type2, ... . Note the Or(type1, type2, ...) is equivalent to $\left\{\mathrm{type1},\mathrm{type2},...\right\}$ but the type checks always occur in order.  This may be useful if it is known that one type check is faster than a second, or if the later type check doesn't make sense (or leads to an error) when the earlier one is satisfied.
 • An expression is of type Not(type1) if it is not of type type1. Non(type1) is equivalent to Not(type1).

Examples

 > $\mathrm{type}\left(2.0,\mathrm{And}\left(\mathrm{embedded_real},\mathrm{Not}\left(\mathrm{numeric}\right)\right)\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{type}\left(2.0+0.I,\mathrm{And}\left(\mathrm{embedded_real},\mathrm{Not}\left(\mathrm{numeric}\right)\right)\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(3,\mathrm{Or}\left(\mathrm{name},\mathrm{realcons}\right)\right)$
 ${\mathrm{true}}$ (3)