Manuals/calci/LTE

LTE (A,B)

• $A$ and $B$ any two 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.

All comparison functions ( LT, LTE, GT, GTE, EQ, NE, EQS, NES, FEQ) will assume B as 0, if not provided. So EQ(10) will be treated as EQ(10,0)

Examples

1. LTE(198,231) = true
2. LTE(7615,7610) = false
3. LTE(1000,1000) = true
4. LTE(-543,-900) = false

Related Videos

Lesser Than

See Also

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

References

Less Than

• List of Main Z Functions
• Z3 home