type/relation - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : type/relation

type

  

relation

 

Calling Sequence

Parameters

Description

Subtypes

Supertypes

Examples

Calling Sequence

type(expr, relation)

Parameters

expr

-

any expression

Description

• 

These functions return true if expr is of the specified type, and false otherwise.

• 

An expression is of type relation if it is of type `=`, `<>`, `<`, or `<=`.

• 

For each of the types f, where f is one of `=`, `<>`, `<`, or `<=`, x is of type f if op(0, x) = f.

• 

Note: Expressions formed using the operators > and >= are automatically converted to expressions of type `<` and `<=`, respectively.

Subtypes

• 

type/=, type/<>, type/<, type/<=

Supertypes

• 

type/boolean

Examples

typex<5&comma;relation

true

(1)

typeaornotb&comma;relation

false

(2)

type1<2and5<x&comma;relation

true

(3)

See Also

boolean

evalb

type

type/<

type/<=

type/<>

type/=