|
verify[evalc] - verify the equality of two complex expressions
|
|
Calling Sequence
|
|
verify(expr1, expr2, evalc)
|
|
|
Parameters
|
|
|
expr1, expr2
|
-
|
anything, assumed to be of type algebraic
|
|
|
|
|
|
Description
|
|
|
•
|
The verify(expr1, expr2, evalc) calling sequence returns true if the difference between the arguments is zero after applying evalc.
|
|
•
|
This verification is symmetric.
|
|
•
|
If either expr1 or expr2 is not of type algebraic then false is returned.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
|
Download Help Document
Was this information helpful?
