verify/as_list - Maple Help

Online Help

All Products    Maple    MapleSim


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

verify/as_list

verify the relation between the operands as though they were lists

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, as_list)

verify(expr1, expr2, as_list(ver))

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

Parameters

expr1, expr2

-

anything

ver

-

verification for the operands

f

-

anything

Description

• 

The verify(expr1, expr2, as_list) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], list).

• 

The verify(expr1, expr2, as_list(ver)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], list(ver)).

• 

The verify(expr1, expr2, as_list(ver, f)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], list(ver)) with op0,expr1=f and op0,expr2=f.

Examples

verifyfa,b,c,ga,b,c,'as_list'

true

(1)

verifyfa,b,x22x+1,ga,b,x12,'as_listexpand'

true

(2)

verifya,b,c,fa,b,c,'as_listboolean,f'

false

(3)

verifyfa,b,c,fa,b,c,'as_listboolean,f'

true

(4)

See Also

op

verify

verify/as_set

verify/list

 


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