Manuals/calci/DECREASING

DECREASING ()

• Parameters are any 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

1. DECREASING(100,89,34,29,12) = true
2. DECREASING(10,12,18,20) = false
3. DECREASING(0.12,0.11,0.03,0.02) = true

See Also

• LCM
• GCD

References

Descending order

• List of Main Z Functions

• Z3 home