|
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  and  .
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
![verify(min(1, x^2-2*x+1), [(x-1)^2, 1], 'as_set(expand)')](/support/helpjp/helpview.aspx?si=7716/file04729/math117.png)
|
|
| (3) |
|
>
|
![verify(min(1, x^2-2*x+1), [(x-1)^2, 1], 'as_set(expand, min)')](/support/helpjp/helpview.aspx?si=7716/file04729/math124.png)
|
|
| (4) |
|
>
|
|
|
| (5) |
|
|
Download Help Document
Was this information helpful?
