type/_Inert
check for an inert expression
Calling Sequence
Parameters
Description
Inert Types
Examples
Compatibility
type(expr, _Inert)
type(expr, _Inert(F))
expr
-
any expression
F
symbol
type(expr, _Inert) returns true if expr is an inert expression of the form generated by ToInert and suitable as input to FromInert.
type(expr, _Inert(F)) where F is a symbol returns true if expr is an inert expression of a specific form, corresponding to the symbol used for F.
For example, an expression is of type _Inert(LIST) if it is a function whose name part is the symbol _Inert_LIST, corresponding to the inert representation of a list.
The symbol F can be one of the following:
AND
ARRAY
ASSIGN
ASSIGNEDLOCALNAME
ASSIGNEDNAME
BINARY
BREAK
CATENATE
COMPLEX
CONTROL
DCOLON
DEBUG
EQUATION
ERROR
EXPSEQ
FLOAT
FOREIGN
FORFROM
FORIN
FUNCTION
GARBAGE
HASH
HASHTAB
HFLOAT
IF
IMPLIES
INEQUAT
INTNEG
INTPOS
LESSEQ
LESSTHAN
LEXICAL
LIST
LOCAL
LOCALNAME
MATRIX
MEMBER
MODDEF
MODULE
NAME
NEXT
NOT
OR
PARAM
POLY
POWER
PROC
PROD
RANGE
RATIONAL
READ
RETURN
RTABLE
SAVE
SDPOLY
SERIES
SET
STATSEQ
STOP
STRING
SUM
TABLE
TABLEREF
TRY
UNEVAL
USE
VECTOR_COLUMN
VECTOR_ROW
VERBATIM
XOR
ZPPOLY
The type/_Inert command was introduced in Maple 2021.
For more information on Maple 2021 changes, see Updates in Maple 2021.
See Also
FromInert
ToInert
Download Help Document