verify[sign] - verify for sign differences
|
Calling Sequence
|
|
verify(expr1, expr2, sign)
|
|
Parameters
|
|
expr1, expr2
|
-
|
anything, assumed to be of type algebraic
|
|
|
|
|
Description
|
|
•
|
The verify(expr1, expr2, sign) calling sequence returns true if any of the following is true:
|
1.
|
The arguments are equal.
|
2.
|
Multiplying pairs of multiplicands by results in equal arguments.
|
•
|
This verification is more memory and computationally intensive than checking whether the normal of the difference is zero, but it ensures that the two arguments have similar forms.
|
•
|
This verification is symmetric.
|
|
|
Examples
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
|
|
Download Help Document
Was this information helpful?