Show 

                

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