as multiset - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

# Online Help

###### All Products    Maple    MapleSim

verify/as_multiset

verify the relation between the operands as though they were multisets

 Calling Sequence verify(expr1, expr2, as_multiset) verify(expr1, expr2, as_multiset(ver)) verify(expr1, expr2, as_multiset(ver, f))

Parameters

 expr1, expr2 - anything ver - verification for the operands f - anything

Description

 • The verify(expr1, expr2, as_multiset) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], multiset).
 • The verify(expr1, expr2, as_multiset(ver)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], multiset(ver)).
 • The verify(expr1, expr2, as_multiset(ver, f)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], multiset(ver)) with $\mathrm{op}\left(0,\mathrm{expr1}\right)=f$ and $\mathrm{op}\left(0,\mathrm{expr2}\right)=f$.

Examples

 > $\mathrm{verify}\left(f\left(a,b,b\right),g\left(b,a,b\right),'\mathrm{as_multiset}'\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{verify}\left(f\left(a,b,b\right),g\left(b,a,a\right),'\mathrm{as_multiset}'\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{verify}\left(f\left(a,b,{x}^{2}-2x+1\right),g\left(b,a,{\left(x-1\right)}^{2}\right),'\mathrm{as_multiset}\left(\mathrm{expand}\right)'\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{verify}\left(\left[a,b,b\right],f\left(b,a,b\right),'\mathrm{as_multiset}\left(\mathrm{boolean},f\right)'\right)$
 ${\mathrm{false}}$ (4)
 > $\mathrm{verify}\left(f\left(a,b,b\right),f\left(b,a,b\right),'\mathrm{as_multiset}\left(\mathrm{boolean},f\right)'\right)$
 ${\mathrm{true}}$ (5)

 See Also