Manuals/calci/INCREASING

INCREASING()

• Argument is an array or set of any real numbers.

Description

• This function checks for the increasing order of numbers. If the order is increasing, then the function returns 'true'. Else returns 'false' as a result.
• In $INCREASING()$, argument has any real numbers.
• This function returns the result as NaN when the parameters are non-numeric.

Examples

1. INCREASING(3,6,7) = true
2. INCREASING(1..10) = true
3. INCREASING(455,105) = false
4. INCREASING(4.5,-23) = false
5. INCREASING(2/3,1/4) = false
6. INCREASING(33,56,12,30) = false

See Also

• INCREMENT
• DECREASING
• DECREMENT
• List of Main Z Functions
• Z3 home

References

• Addition

• List of Main Z Functions
• Z3 home