Difference between revisions of "Manuals/calci/DECREASING"
Jump to navigation
Jump to search
| Line 21: | Line 21: | ||
| − | [[Z_API_Functions | List of Main Z Functions]] | + | *[[Z_API_Functions | List of Main Z Functions]] |
| − | [[ Z3 | Z3 home ]] | + | *[[ Z3 | Z3 home ]] |
Revision as of 00:00, 13 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