verify/interval - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/interval

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

verifyπ,3..4,'interval'

true

(1)

verifyπ,π..4,'interval'

false

(2)

verifyπ,π..4,'interval''closed'

true

(3)

verify4,4,3..5,4..5,'interval,interval'

false

(4)

verifya,b,3..5,4..5,'interval,interval'

FAIL

(5)

verifya,b,3..5,4..5,'truefalseinterval,interval'

false

(6)

verifyVectorⅇ,ⅇ2,Vector2..5,4..12,'truefalseVectorinterval'

true

(7)

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

select'verify',0.,0.,0.065391,0.065345,0.12229,0.12198,0.18627,0.18520,0.05..0.15,'dummy','interval,true'

0.065391,0.065345,0.12229,0.12198

(8)

See Also

signum

verify

verify/less_than

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam