Manuals/calci/LE

LTE (A,B)

• $A$ and $B$ are any real numbers.

Description

• This function is the test for lesser than or equal to the given two numbers.
• In $LTE(A,B)$, $A$ and $B$ are any two real numbers.
• If A is lesser than or equal to B then will return the result as TRUE.
• If A is strictly less than B then will return the result as FALSE.

Examples

1. LE(10,17) = true
2. LE(32187,8724) = false
3. LTE(1982.34,1982.034) = false
4. LTE(12/17,13/15) = true

Related Videos

Less Than

See Also

• GE
• GTE
• List of Main Z Functions
• Z3 home

References

Less Than

• List of Main Z Functions
• Z3 home