Difference between revisions of "Manuals/calci/LTE"
Jump to navigation
Jump to search
(Created page with "lte") |
|||
| (2 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | <div style="font-size:30px">'''LTE (A,B)'''</div><br/> | |
| + | *<math>A</math> and <math>B</math> any two real numbers. | ||
| + | |||
| + | ==Description== | ||
| + | *This function is the test for lesser than or equal to the given two numbers. | ||
| + | *In <math>LTE(A,B)</math>, <math>A</math> and <math>B</math> 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 ( [[Manuals/calci/LT |LT]], [[Manuals/calci/LTE |LTE]], [[Manuals/calci/GT |GT]], [[Manuals/calci/GTE |GTE]], [[Manuals/calci/EQ |EQ]], [[Manuals/calci/NE |NE]], [[Manuals/calci/EQS |EQS]], [[Manuals/calci/NES |NES]], [[Manuals/calci/FEQ |FEQ]]) will assume B as 0, if not provided. So EQ(10) will be treated as EQ(10,0) | ||
| + | |||
| + | ==Examples== | ||
| + | #LTE(198,231) = true | ||
| + | #LTE(7615,7610) = false | ||
| + | #LTE(1000,1000) = true | ||
| + | #LTE(-543,-900) = false | ||
| + | |||
| + | ==Related Videos== | ||
| + | |||
| + | {{#ev:youtube|v=-WlA9u6MiO8|280|center|Lesser Than}} | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Manuals/calci/GE| GE]] | ||
| + | *[[Manuals/calci/GTE| GTE]] | ||
| + | *[[Manuals/calci/LE| LE]] | ||
| + | *[[Z_API_Functions | List of Main Z Functions]] | ||
| + | *[[ Z3 | Z3 home ]] | ||
| + | |||
| + | ==References== | ||
| + | [https://en.wikipedia.org/wiki/Less-than_sign Less Than] | ||
| + | *[[Z_API_Functions | List of Main Z Functions]] | ||
| + | *[[ Z3 | Z3 home ]] | ||
Latest revision as of 21:57, 21 March 2024
LTE (A,B)
- and any two real numbers.
and 
any two real numbers.Description
- This function is the test for lesser than or equal to the given two numbers.
- In , and 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
- LTE(198,231) = true
- LTE(7615,7610) = false
- LTE(1000,1000) = true
- LTE(-543,-900) = false