permute_elements - Maple Help

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

verify/permute_elements

verify equality up to the permutation of the given elements

 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

 > $\mathrm{evalb}\left(\mathrm{_C1}{ⅇ}^{x}+\mathrm{_C2}{ⅇ}^{-x}=\mathrm{_C2}{ⅇ}^{x}+\mathrm{_C1}{ⅇ}^{-x}\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{verify}\left(\mathrm{_C1}{ⅇ}^{x}+\mathrm{_C2}{ⅇ}^{-x},\mathrm{_C2}{ⅇ}^{x}+\mathrm{_C1}{ⅇ}^{-x},'\mathrm{permute_elements}'\left(\left\{\mathrm{_C1},\mathrm{_C2}\right\}\right)\right)$
 ${\mathrm{true}}$ (2)