writer
2,661
edits
Changes
Created page with "<div style="font-size:30px">'''UNITLT (A,B)'''</div><br/> *<math>A</math> and <math>B</math> are any two real numbers. ==Description== *This function is the test for strictly..."
<div style="font-size:30px">'''UNITLT (A,B)'''</div><br/>
*<math>A</math> and <math>B</math> are any two real numbers.
==Description==
*This function is the test for strictly less than for the given numbers.
*In <math>UNITLT(A,B)</math>,<math>A</math> and <math>B</math> are any two real numbers.
*If A is strictly less than B then will return the result as TRUE.
*If A is equal to or not strictly less than B then will return the result as FALSE.
==Examples==
#UNITLT(2,12) = true
#UNITLT(222,48) = false
#UNITLT(-90,-49) = true
#UNITLT(1.25,1.25) = false
== See Also==
*[[Manuals/calci/UNITGT| UNITGT]]
*[[Manuals/calci/GT| GT]]
*[[Manuals/calci/GTE| GTE]]
*[[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 ]]
*<math>A</math> and <math>B</math> are any two real numbers.
==Description==
*This function is the test for strictly less than for the given numbers.
*In <math>UNITLT(A,B)</math>,<math>A</math> and <math>B</math> are any two real numbers.
*If A is strictly less than B then will return the result as TRUE.
*If A is equal to or not strictly less than B then will return the result as FALSE.
==Examples==
#UNITLT(2,12) = true
#UNITLT(222,48) = false
#UNITLT(-90,-49) = true
#UNITLT(1.25,1.25) = false
== See Also==
*[[Manuals/calci/UNITGT| UNITGT]]
*[[Manuals/calci/GT| GT]]
*[[Manuals/calci/GTE| GTE]]
*[[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 ]]