uneval - Maple Help

type/uneval

check for an object of type uneval

 Calling Sequence type(expr, 'uneval')

Parameters

 expr - any expression

Description

 • The call type(x, 'uneval') checks to see if x is of type uneval.  It returns true if x is of type uneval, and false otherwise.
 • Expressions of type uneval are produced by enclosing an expression in right single quotes ('). This is used to delay the evaluation of the quoted expression. For more information on unevaluated expressions, see ?uneval.
 • Note that in a call type('s', 'uneval'), the quoted first argument $'s'$ is first evaluated before being passed to type, so that the procedure type sees'' the unquoted expression s, not the quoted expression $'s'$. This is equally true of the (quoted) type name 'uneval' that, when evaluated, results in the name uneval being passed to type.
 • When used as a procedure parameter modifier, uneval declares that an argument to a procedure is automatically left unevaluated.

Examples

 > $\mathrm{type}\left(s,'\mathrm{uneval}'\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{type}\left('s','\mathrm{uneval}'\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{type}\left(''s'','\mathrm{uneval}'\right)$
 ${\mathrm{true}}$ (3)