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

Online Help

verify/as_multiset

verify the relation between the operands as though they were multisets

 

Calling Sequence

Parameters

Description

Examples

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  and .

Examples

(1)

(2)

(3)

(4)

(5)

See Also

op

verify

verify/as_set

verify/multiset

 


Download Help Document