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.

type/equationlist

type/nonemptylist

type/sequential

$S≔\left[1\,\frac{3}{2}\,2\right]$

$S≔\left[1\,\frac{3}{2}\,2\right]$

$\mathrm{type}\left(S\,\mathrm{list}\right)$

$\mathrm{true}$

$\mathrm{type}\left(S\,\mathrm{list}\left(\mathrm{rational}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(S\,\mathrm{list}\left(\mathrm{integer}\right)\right)$

$\mathrm{false}$

$L≔\left[x^4-1\,x^2\,x+3\right]$

$L≔\left[x^4-1\,x^2\,x+3\right]$

$\mathrm{type}\left(L\,\mathrm{list}\right)$

$\mathrm{true}$

$\mathrm{type}\left(L\,\mathrm{list}\left(\mathrm{polynom}\left(\mathrm{integer}\,x\right)\right)\right)$

$\mathrm{true}$