Difference between revisions of "Manuals/calci/LT"
Jump to navigation
Jump to search
(Created page with "lt") |
|||
| Line 1: | Line 1: | ||
| − | + | <div style="font-size:30px">'''LT (A,B)'''</div><br/> | |
| + | *<math>A</math> and <math>B</math> any two real numbers. | ||
| + | |||
| + | ==Description== | ||
| + | *This function is the test for strictly less than for the given numbers. | ||
| + | *In <math>LT(A,B)</math>,<math>A</math> and <math>B</math> are any two real numbers. | ||
| + | *If A is strictly less than to B then will return the result as TRUE. | ||
| + | *If A is equal to or not strictly less than to B then will return the result as FALSE. | ||
| + | |||
| + | ==Examples== | ||
| + | #LT(10,7) = false | ||
| + | #LT(2981,3982) = true | ||
| + | #LT(-90,-49) = true | ||
| + | |||
| + | == See Also== | ||
| + | *[[Manuals/calci/GE| GE]] | ||
| + | *[[Manuals/calci/GTE| GTE]] | ||
| + | *[[Manuals/calci/LT| LT]] | ||
| + | *[[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 ]] | ||
Revision as of 12:37, 4 April 2017
LT (A,B)
- and any two real numbers.
and 
any two real numbers.Description
- This function is the test for strictly less than for the given numbers.
- In , and are any two real numbers.
- If A is strictly less than to B then will return the result as TRUE.
- If A is equal to or not strictly less than to B then will return the result as FALSE.
,Examples
- LT(10,7) = false
- LT(2981,3982) = true
- LT(-90,-49) = true