verify/range - Maple Programming Help

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

 > $\mathrm{verify}\left(1..2,1..2,'\mathrm{range}'\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{verify}\left(1..2,3..4,'\mathrm{range}'\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{verify}\left(1.0000001..2,1.0000002..2,'\mathrm{range}'\left('\mathrm{float}'\left(1\right)\right)\right)$
 ${\mathrm{false}}$ (3)
 > $\mathrm{verify}\left(1.0000001..2,1.0000002..2,'\mathrm{range}'\left('\mathrm{float}'\left(100\right)\right)\right)$
 ${\mathrm{true}}$ (4)