In the first calling sequence, the type command checks if expr is a valid Maple set. It returns true if expr is a set and false otherwise.

See the set help page for a description of the set datatypes.

In the second calling sequence, where K is a specified type name, the type command checks whether expr is a set whose entries are of type K.  That is, type(expr, set(K)) returns true if type(expr, set) 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/equationset

type/nonemptyset

type/sequential

$\mathrm{S1}≔\left\{1\,2\,\frac{3}{2}\right\}$

$\mathrm{S1}≔\left\{1\,2\,\frac{3}{2}\right\}$

$\mathrm{type}\left(\mathrm{S1}\,\mathrm{set}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{S1}\,\mathrm{set}\left(\mathrm{rational}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{S1}\,\mathrm{set}\left(\mathrm{integer}\right)\right)$

$\mathrm{false}$

$\mathrm{S2}≔\left\{x+3\,x^4-1\,x^2\right\}$

$\mathrm{S2}≔\left\{x^2\,x+3\,x^4-1\right\}$

$\mathrm{type}\left(\mathrm{S2}\,\mathrm{set}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{S2}\,\mathrm{set}\left(\mathrm{polynom}\left(\mathrm{integer}\,x\right)\right)\right)$

$\mathrm{true}$