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

Online Help

All Products    Maple    MapleSim


type/_Inert

check for an inert expression

 

Calling Sequence

Parameters

Description

Inert Types

Examples

Compatibility

Calling Sequence

type(expr, _Inert)

type(expr, _Inert(F))

Parameters

expr

-

any expression

F

-

symbol

Description

• 

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.

Inert Types

• 

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

 

Examples

(1)

(2)

(3)

(4)

Compatibility

• 

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