verify a relation between two ranges - Maple Help

Online Help

All Products    Maple    MapleSim


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

verify/range - verify a relation between two ranges

Calling Sequence

verify(expr1, expr2, range)

verify(expr1, expr2, range(ver))

Parameters

expr1, expr2

-

anything, assumed to be of type range

ver

-

verification for the range operands

Description

• 

The verify(expr1,expr2,range) and verify(expr1,expr2,range(ver)) commands return true if it can be determined that the two ranges expr1 and expr2 satisfy a relation operandwise, either by testing with equality or by using the verification ver.

  

If true is returned, then each of endpoints satisfied the relation.

  

If false is returned, then at least one pair of endpoints did not satisfy the relation (a result of type verify(false)).

  

If FAIL is returned, then for at least one pair of endpoints it could not be determined whether they satisfied the relation (a result of type verify(FAIL)).

• 

The verify(expr1,expr2,range) command is symmetric.

• 

The verify(expr1,expr2,range(ver)) command is symmetric if and only if the verification ver is symmetric.

• 

If either expr1 or expr2 is not of type range, then false is returned.

Examples

verify1..2,1..2,'range'

true

(1)

verify1..2,3..4,'range'

false

(2)

verify1.0000001..2,1.0000002..2,'range''float'1

false

(3)

verify1.0000001..2,1.0000002..2,'range''float'100

true

(4)

See Also

range, verify


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