interval - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


verify/interval

verify that the first argument is a point in the interval

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, interval(character))

Parameters

expr1

-

anything, assumed to be of type algebraic

expr2

-

anything, assumed to be of type range(algebraic)

character

-

(optional) description of the character of the interval

Description

• 

An interval is either an open, closed, or semi-open contiguous subset of the real line.

• 

The verify(expr1, expr2, interval(character)) calling sequence returns true if it can determine that the point expr1 is located in the interval defined by the second argument.

• 

The options available for describing the character of the interval are: open..open, closed..closed, open..closed, and closed..open.  The abbreviations open and closed are equivalent to open..open and closed..closed, respectively.

• 

This verification is a short form for calling the appropriate forms of the verifications greater_than, greater_equal, less_than, and less_equal.

• 

This verification is not symmetric.

• 

If expr1 is not of type algebraic or expr2 is not of type range(algebraic), then false is returned.

Examples

(1)

(2)

(3)

(4)

(5)

(6)

(7)

Given a list of coordinates, the following selects all those that fall in the interval .

(8)

See Also

signum

verify

verify/less_than

 


Download Help Document