increasing_eq |
(function for equations) |
Usage: |
increasing_eq (x1, x2, ... xn) |
Definition: |
(x2 ⋝ x1) && (x3 ⋝ x 2) && ... && (xn ⋝ xn-1) |
Required: |
xi are unrestricted reals |
Returns true iff each xi is greater or equal to the previous one.
If you wish it to be just greater than, use increasing.
See also greater_eq.