Difference between revisions of "Manuals/calci/LT"

Latest revision as of 21:57, 21 March 2024

LT (A,B)

This function is the test for strictly less than for the given numbers.
In $LT(A,B)$ , $A$ and $B$ 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.

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)

@@ Line 1: / Line 1: @@
-lt
+<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.
+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==
+#LT(10,7) = false
+#LT(2981,3982) = true
+#LT(-90,-49) = true
+#LT(2cm,200m) = true
+==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 ]]