 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}\mathrm{exp}\left(x\right)+\mathrm{_C2}\mathrm{exp}\left(-x\right)=\mathrm{_C2}\mathrm{exp}\left(x\right)+\mathrm{_C1}\mathrm{exp}\left(-x\right)\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{verify}\left(\mathrm{_C1}\mathrm{exp}\left(x\right)+\mathrm{_C2}\mathrm{exp}\left(-x\right),\mathrm{_C2}\mathrm{exp}\left(x\right)+\mathrm{_C1}\mathrm{exp}\left(-x\right),'\mathrm{permute_elements}'\left(\left\{\mathrm{_C1},\mathrm{_C2}\right\}\right)\right)$
 ${\mathrm{true}}$ (2)