verify/set - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

verify/set

verify a relation between two sets

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, set)

verify(expr1, expr2, set(ver))

Parameters

expr1, expr2

-

anything, assumed to be of type set

ver

-

verification for the set operands

Description

• 

The verify(expr1, expr2, set) and verify(expr1, expr2, set(ver)) calling sequences return true if for every operand x in the first set, expr1, it can be determined that there is an operand y in the second set, expr2, that satisfies the relationship verify(x, y, ver), and similarly for every y in expr2 there must be an x in expr1 satisfying verify(x, y, ver). If ver is not given, then equality is used for the relationship.

• 

If true is returned, then it has been determined that each operand of each set satisfies the relationship with at least one element in the other set. If false is returned, then there is at least one operand in one of the sets that does not satisfy the relationship (a result of type verify(false)) with all the elements in the other set, and otherwise FAIL.

• 

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

• 

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

Examples

verifya,b,xx1,a,b,x2x,'set'

false

(1)

verifya,b,xx1,a,b,x2x,'set''expand'

true

(2)

verify0.32,0.532,0.723,0.23,0.33,0.65,'set''less_than'

false

(3)

verify0.23,0.33,0.65,0.32,0.532,0.723,'set''less_than'

true

(4)

See Also

set

verify

verify/as_set

verify/list

verify/subset

verify/superset

 


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