|
increasing |
(function for equations) |
|
Usage: |
increasing (x1, x2, ... xn) |
|
Definition: |
(x2 > x1) && (x3 > x2) && ... && (xn > xn-1) |
|
Required: |
xi are unrestricted reals |
Returns true iff each xi is greater than the previous one.
If you wish the test to be “greater than or equals”, use increasing_eq.
See also greater.