Difference between revisions of "Manuals/calci/DECREASING"
Jump to navigation
Jump to search
| Line 18: | Line 18: | ||
==References== | ==References== | ||
[https://www.mathsisfun.com/definitions/descending-order.html Descending order] | [https://www.mathsisfun.com/definitions/descending-order.html Descending order] | ||
| + | |||
| + | |||
| + | |||
| + | [[Z_API_Functions | List of Main Z Functions]] | ||
| + | |||
| + | [[ Z3 | Z3 home ]] | ||
Revision as of 05:01, 9 March 2017
DECREASING (array)
- is the set of numbers.
is the set of numbers.Description
- This function returns the logical value either true or false.For this function, we can give a set of values.
- This function returns True if the set of values are in descending order.
- And this function returns False if the set of values are not in descending order.
Examples
- DECREASING(100,89,34,29,12) = true
- DECREASING(10,12,18,20) = false
- DECREASING(0.12,0.11,0.03,0.02) = true
See Also
References