property - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

type/property

check for a property

 Calling Sequence type(expr, property)

Parameters

 expr - any expression

Description

 • The type( expr, 'property' ) command returns the value true if expr is a property (known to the assume facility) and the value false otherwise. For a description of known properties, see property.
 Note: Types are properties, but not all properties are types.

Examples

 > $\mathrm{type}\left('\mathrm{real}','\mathrm{property}'\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{type}\left('\mathrm{real}','\mathrm{type}'\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{type}\left('\mathrm{realcons}','\mathrm{property}'\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{type}\left('\mathrm{realcons}','\mathrm{type}'\right)$
 ${\mathrm{true}}$ (4)
 > $\mathrm{type}\left('\mathrm{TopProp}','\mathrm{property}'\right)$
 ${\mathrm{true}}$ (5)
 > $\mathrm{type}\left('\mathrm{TopProp}','\mathrm{type}'\right)$
 ${\mathrm{false}}$ (6)
 > $\mathrm{type}\left('\mathrm{property}','\mathrm{property}'\right)$
 ${\mathrm{true}}$ (7)