type/set - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/set

check for a set

 

Calling Sequence

Parameters

Description

Subtypes

Supertypes

Examples

Calling Sequence

type(expr, set)

type(expr, set(K))

Parameters

expr

-

any expression

K

-

type name

Description

• 

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.

Subtypes

• 

type/nonemptyset

Supertypes

• 

type/sequential

Examples

S11,32,2

S11,2,32

(1)

typeS1,set

true

(2)

typeS1,setrational

true

(3)

typeS1,setinteger

false

(4)

S2x41,x2,x+3

S2x2,x+3,x41

(5)

typeS2,set

true

(6)

typeS2,setpolynominteger,x

true

(7)

See Also

list

set

type

type/list

type/nonemptyset

type/sequential