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

type/nonemptylist

check for a nonempty list

 Calling Sequence type(expr, nonemptylist) type(expr, nonemptylist(K))

Parameters

 expr - any expression K - type name

Description

 • In the first calling sequence, the type command checks if expr is a valid nonempty Maple list. It returns true if expr is a list containing at least one element and false otherwise.
 • See the list help page for a description of the list datatype.
 • In the second calling sequence, where K is a specified type name, the type command checks whether expr is a nonempty list whose entries are of type K.  That is, type(expr, nonemptylist(K)) returns true if type(expr, nonemptylist) is true and type(x, K) is true for each entry x of expr.
 • See the type help page for a description of valid types in Maple.

Subtypes

 •

Supertypes

 •

Examples

 > $L≔\left[{x}^{4}-1,{x}^{2},x+3\right]$
 ${L}{≔}\left[{{x}}^{{4}}{-}{1}{,}{{x}}^{{2}}{,}{x}{+}{3}\right]$ (1)
 > $\mathrm{type}\left(L,\mathrm{nonemptylist}\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(L,\mathrm{nonemptylist}\left(\mathrm{polynom}\left(\mathrm{integer},x\right)\right)\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{type}\left(\left[\right],\mathrm{nonemptylist}\right)$
 ${\mathrm{false}}$ (4)