writer
2,661
edits
Changes
Jump to navigation
Jump to search
Created page with "<div style="font-size:30px">'''UNITLE (A,B)'''</div><br/> *<math>A</math> and <math>B</math> are any real numbers. ==Description== *This function is the test to check if the ..."
<div style="font-size:30px">'''UNITLE (A,B)'''</div><br/>
*<math>A</math> and <math>B</math> are any real numbers.
==Description==
*This function is the test to check if the first number is lesser than or equal to the second number.
*In <math>UNITLE(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 it will return the result as TRUE.
*If A is strictly less than B then it will return the result as FALSE.
==Examples==
#UNITLE(23,44) = true
#UNITLE(888,888) = true
#UNITLE(1.045,4.34) = true
#UNITLE(13/15,12/17) = false
#UNITLE(-2,-4) = false
==See Also==
*[[Manuals/calci/LE| LE]]
*[[Manuals/calci/GE| GE]]
*[[Manuals/calci/UNITGE| UNITGE]]
*[[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 real numbers.
==Description==
*This function is the test to check if the first number is lesser than or equal to the second number.
*In <math>UNITLE(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 it will return the result as TRUE.
*If A is strictly less than B then it will return the result as FALSE.
==Examples==
#UNITLE(23,44) = true
#UNITLE(888,888) = true
#UNITLE(1.045,4.34) = true
#UNITLE(13/15,12/17) = false
#UNITLE(-2,-4) = false
==See Also==
*[[Manuals/calci/LE| LE]]
*[[Manuals/calci/GE| GE]]
*[[Manuals/calci/UNITGE| UNITGE]]
*[[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 ]]