type/nonemptyset - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/nonemptyset

type/nonemptyset

check for a nonempty set

 

Calling Sequence

Parameters

Description

Supertypes

Examples

Calling Sequence

type(expr, nonemptyset)

type(expr, nonemptyset(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 set. It returns true if expr is a set containing at least one element and false otherwise.

• 

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

• 

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

Supertypes

• 

type/set

Examples

S1,32,2

S1,2,32

(1)

typeS,nonemptyset

true

(2)

typeS,nonemptysetrational

true

(3)

typeS,nonemptysetinteger

false

(4)

type,nonemptyset

false

(5)

See Also

list

set

type

type/list

type/nonemptylist

type/set