verify a relation between the operands of two objects - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/as_set

verify/as_set - verify a relation between the operands of two objects

Calling Sequence

verify(expr1, expr2, as_set)

verify(expr1, expr2, as_set(ver))

verify(expr1, expr2, as_set(ver, f))

Parameters

expr1, expr2

-

anything

ver

-

verification for the operands

f

-

anything

Description

• 

The verify(expr1, expr2, as_set) calling sequence is equivalent to the call verify({op(expr1)},{op(expr2)}, set).

• 

The verify(expr1, expr2, as_set(ver)) calling sequence is equivalent to the call verify({op(expr1)}, {op(expr2)}, set(ver)).

• 

The verify(expr1, expr2, as_set(ver, f)) calling sequence is equivalent to the call verify({op(expr1)}, {op(expr2)}, set(ver)) with op0,expr1=f and op0,expr2=f.

Examples

verifyfa,b,fb,a,'as_set'

true

(1)

evalbmin1,x22x+1=minx12,1

false

(2)

verifymin1,x22x+1,x12,1,'as_setexpand'

true

(3)

verifymin1,x22x+1,x12,1,'as_setexpand,min'

false

(4)

verifymin1,x22x+1,minx12,1,'as_setexpand,min'

true

(5)

See Also

op, verify, verify/as_list, verify/set


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam