verify/multiset - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : verify/multiset

verify/multiset

verify a relation between two multisets

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, multiset)

verify(expr1, expr2, multiset(ver))

Parameters

expr1, expr2

-

anything

ver

-

verification for the multiset operands

Description

• 

The verify(expr1, expr2, multiset) and verify(expr1, expr2, multiset(ver)) calling sequences return true if expr1 and expr2 are lists, and it can be determined that the entries of the two lists satisfy a relation operandwise, ignoring the order but taking the multiplicity of entries into account, either by testing with equality or using the verification ver.

• 

Assume for the rest of this help page that expr1 and expr2 are indeed lists. If ver is not specified, then the test is equivalent to testing if any permutation of expr1 is equal to expr2. If ver is specified, it is equivalent to testing if any permutation of expr1 is in the relation list(ver) with expr2.

• 

The verification multiset is symmetric and a verification multiset(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,b,b,a,b,multiset

true

(1)

verifya,b,b,b,a,a,multiset

false

(2)

verifya,b,x22x+1,b,a,x12,multisetexpand

true

(3)

See Also

multiset

verify

verify/as_multiset

verify/set