|
verify[as_list] - verify the relation between the operands as though they were lists
|
|
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  and  .
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
![verify([a, b, c], f(a, b, c), 'as_list(boolean, f)')](/support/helpjp/helpview.aspx?si=7712/file04728/math117.png)
|
|
| (3) |
|
>
|
|
|
| (4) |
|
|
Download Help Document
Was this information helpful?
