type/ - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/<>

check for a non-equality

 

Calling Sequence

Parameters

Description

Supertypes

Examples

Calling Sequence

type(expr, `<>`)

Parameters

expr

-

any expression

Description

• 

The call type(expr, `<>`) checks if expr is of type `<>`, that is, if it is a non-equality. It returns true if expr is of type `<>`, and false otherwise.

• 

Type `<>` is a surface type, and a subtype of types relation and boolean.

Supertypes

• 

type/relation

Examples

typea<b&comma;&apos;`<>`&apos;

false

(1)

typea&equals;b&comma;&apos;`<>`&apos;

false

(2)

typeab&comma;&apos;`<>`&apos;

true

(3)

See Also

type

type/boolean

type/relation

type/structure