verify/permute_elements - Maple Help

Online Help

All Products    Maple    MapleSim


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

verify/permute_elements

verify equality up to the permutation of the given elements

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, permute_elements(elems))

verify(expr1, expr2, permute_elements(elems, ver))

Parameters

expr1, expr2

-

anything

elems

-

either a set or a list

ver

-

verification for the permute_elements operands

Description

• 

The verify(expr1, expr2, permute_elements(elems)) and verify(expr1, expr2, permute_elements(elems, ver)) calling sequences return true if, after the permutations of elems is substituted into expr2, the test for equality or the verification ver is true.

• 

This function is useful for comparing objects which may contain session dependent permutations of arbitrary constants.

• 

The verification permute_elements(elems) is always symmetric. The verification permute_elements(elems, ver) is symmetric if and only if the verification ver is symmetric.

Examples

evalb_C1ⅇx+_C2ⅇx=_C2ⅇx+_C1ⅇx

false

(1)

verify_C1ⅇx+_C2ⅇx,_C2ⅇx+_C1ⅇx,'permute_elements'_C1,_C2

true

(2)

See Also

combstruct

type/list

type/set

verify

 


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