verify/greater_than, verify/greater_equal, verify/equal, verify/less_equal, verify/less_than
verify the sign of difference of two objects
Calling Sequence
Parameters
Description
Examples
verify(expr1, expr2, greater_than)
verify(expr1, expr2, greater_equal)
verify(expr1, expr2, equal)
verify(expr1, expr2, less_equal)
verify(expr1, expr2, less_than)
expr1, expr2
-
anything, assumed to be of type algebraic
The verify(expr1, expr2, equal) function returns true if signum0,expr1−expr2,0=0 and false if the call to signum returns a numeric object. Otherwise, it returns FAIL.
The verify(expr1, expr2, greater_than) returns true if signum0,ℑexpr1,0=0, signum0,ℑexpr2,0=0, and signum0,expr1−expr2,0=−1, and false if either of the first two calls to signum return a nonzero numeric value or if the third returns 0 or 1. 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.
verify1,2,3,6,2,3,6,sublistless_than
true
Get all points in a list greater than Pi
selectverify,1,2,3,4,5,6,a,π,truefalsegreater_than
4,5,6
verifyexpx,0,greater_than
FAIL
verifyx2,0,greater_than
assumex,real
verifyx2,0,equal,greater_than
verifyx2,0,greater_equal
See Also
assume
signum
verify
Download Help Document