 type/Inert - Maple Help

type/_Inert

check for an inert expression 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

 > $e≔\mathrm{ToInert}\left(\left[2,3.141593,"tomato",y={x}^{2}\right]\right)$
 ${e}{≔}{\mathrm{_Inert_LIST}}{}\left({\mathrm{_Inert_EXPSEQ}}{}\left({\mathrm{_Inert_INTPOS}}{}\left({2}\right){,}{\mathrm{_Inert_FLOAT}}{}\left({\mathrm{_Inert_INTPOS}}{}\left({3141593}\right){,}{\mathrm{_Inert_INTNEG}}{}\left({6}\right)\right){,}{\mathrm{_Inert_STRING}}{}\left({"tomato"}\right){,}{\mathrm{_Inert_EQUATION}}{}\left({\mathrm{_Inert_NAME}}{}\left({"y"}\right){,}{\mathrm{_Inert_POWER}}{}\left({\mathrm{_Inert_NAME}}{}\left({"x"}\right){,}{\mathrm{_Inert_INTPOS}}{}\left({2}\right)\right)\right)\right)\right)$ (1)
 > $\mathrm{type}\left(e,\mathrm{_Inert}\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(e,\mathrm{_Inert}\left(\mathrm{LIST}\right)\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{type}\left(e,\mathrm{_Inert}\left(\mathrm{SET}\right)\right)$
 ${\mathrm{false}}$ (4) Compatibility

 • The type/_Inert command was introduced in Maple 2021.