 type/And, type/Or, type/Not, type/Non - Maple Programming 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.
 • 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{embedded_real}\wedge ¬\mathrm{numeric}\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{type}\left(2.0+0.I,\mathrm{embedded_real}\wedge ¬\mathrm{numeric}\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(3,\mathrm{name}\vee \mathrm{realcons}\right)$
 ${\mathrm{true}}$ (3)