Show 

                

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.

Home > Special Math Functions_increasingEq