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

Home : Support : Online Help : type/list

type/list

check for a list

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

Parameters

 expr - any expression K - type name

Description

 • In the first calling sequence, the type command checks if expr is a valid Maple list. It returns true if expr is a list and false otherwise.
 • See the list help pages for a description of the list datatype.
 • In the second calling sequences, where K is a specified type name, the type command checks whether expr is a list whose entries are of type K.  That is, type(expr, list(K)) returns true if type(expr, list) 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

 > $S≔\left[1,\frac{3}{2},2\right]$
 ${S}{≔}\left[{1}{,}\frac{{3}}{{2}}{,}{2}\right]$ (1)
 > $\mathrm{type}\left(S,\mathrm{list}\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(S,\mathrm{list}\left(\mathrm{rational}\right)\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{type}\left(S,\mathrm{list}\left(\mathrm{integer}\right)\right)$
 ${\mathrm{false}}$ (4)
 > $L≔\left[{x}^{4}-1,{x}^{2},x+3\right]$
 ${L}{≔}\left[{{x}}^{{4}}{-}{1}{,}{{x}}^{{2}}{,}{x}{+}{3}\right]$ (5)
 > $\mathrm{type}\left(L,\mathrm{list}\right)$
 ${\mathrm{true}}$ (6)
 > $\mathrm{type}\left(L,\mathrm{list}\left(\mathrm{polynom}\left(\mathrm{integer},x\right)\right)\right)$
 ${\mathrm{true}}$ (7)