verify/as_multiset - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : verify/as_multiset

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 op0,expr1=f and op0,expr2=f.

Examples

verifyfa,b,b,gb,a,b,as_multiset

true

(1)

verifyfa,b,b,gb,a,a,as_multiset

false

(2)

verifyfa,b,x22x+1,gb,a,x12,as_multisetexpand

true

(3)

verifya,b,b,fb,a,b,as_multisetboolean,f

false

(4)

verifyfa,b,b,fb,a,b,as_multisetboolean,f

true

(5)

See Also

op

verify

verify/as_set

verify/multiset