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.
Home > Special Math Functions_increasing