verify/superset - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

verify/superset

verify that the first set is a superset of the second

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, superset)

verify(expr1, expr2, superset(ver))

Parameters

expr1, expr2

-

anything, assumed to be of type set

ver

-

verification for the set operands

Description

• 

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

• 

If true is returned, then it has been determined that each operand of the second set satisfies the relationship with at least one element of the first set. If false is returned, then there is at least one operand in the second set that does not satisfy the relationship (a result of type verify(false)) with each operand in the first set. If neither case can be determined, FAIL is returned.

• 

This verification is not symmetric.

• 

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

Examples

verifya,b,c,d,e,a,b,c,'superset'

true

(1)

verifya,b,c,d,e,a,b,c,f,'superset'

false

(2)

verifya,b,x2x,a,b,xx1,'superset'

false

(3)

verifya,b,x2x,a,b,xx1,'supersetexpand'

true

(4)

verifya,b,x2x,c,a,b,xx1,'supersetexpand'

true

(5)

verify0.2334,0.102221,0.2333,0.10222,'superset'

false

(6)

verify0.2334,0.102221,0.2333,0.10222,'supersetfloat106'

true

(7)

See Also

set

verify

verify/set

verify/subset

verify/superlist