verify a relation between two lists - Maple Help

Online Help

All Products    Maple    MapleSim


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

verify/list - verify a relation between two lists

Calling Sequence

verify(expr1, expr2, list)

verify(expr1, expr2, list(ver))

Parameters

expr1, expr2

-

anything, assumed to be of type list

ver

-

verification for the list operands

Description

• 

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

• 

If true is returned, then each of the pairs of operands satisfied the relation. If false is returned, then at least one pair of operands did not satisfy the relation (a result of type verify(false)). Otherwise, FAIL is returned, indicating that for at least one pair of operands it could not be determined whether or not they satisfied the relation (a result of type verify(FAIL)).

• 

The verification list is symmetric and a verification list(ver) is symmetric if and only if the verification ver is symmetric.

• 

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

Examples

verifya,b,xx1,a,b,x2x,'list'

false

(1)

verifya,b,xx1,a,b,x2x,'listexpand'

true

(2)

verify0.32,0.45,0.92,0.21,0.42,0.91,'list''less_than'

false

(3)

verify0.21,0.42,0.91,0.32,0.45,0.92,'list''less_than'

true

(4)

See Also

list, verify, verify/as_list, verify/set, verify/sublist, verify/superlist


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