|
verify[greater_than], verify[greater_equal], verify[equal], verify[less_equal], verify[less_than] - verify the sign of difference of two objects
|
|
Calling Sequence
|
|
verify(expr1, expr2, greater_than)
verify(expr1, expr2, greater_equal)
verify(expr1, expr2, equal)
verify(expr1, expr2, less_equal)
verify(expr1, expr2, less_than)
|
|
|
Parameters
|
|
|
expr1, expr2
|
-
|
anything, assumed to be of type algebraic
|
|
|
|
|
|
Description
|
|
|
•
|
The verify(expr1, expr2, equal) function returns true if  and false if the call to signum returns a numeric object. Otherwise, it returns FAIL.
|
|
•
|
The behavior is similar for the remaining verifications.
|
|
•
|
The verify/equal function is symmetric in its arguments while the others are not.
|
|
•
|
If either expr1 or expr2 is not of type algebraic, then false is returned.
|
|
|
|
Examples
|
|
|
>
|
![verify([1, 2, 3], [6, 2, 3, 6], ('sublist')('less_than'))](/support/helpjp/helpview.aspx?si=9334/file04736/math122.png)
|
|
| (1) |
Get all points in a list greater than Pi
|
>
|
![select(verify, [1, 2, 3, 4, 5, 6, a], Pi, ('truefalse')('greater_than'))](/support/helpjp/helpview.aspx?si=9334/file04736/math131.png)
|
|
![[4, 5, 6]](/support/helpjp/helpview.aspx?si=9334/file04736/math134.png)
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
|
|
| (7) |
|
|
