Manuals/calci/UNITLE

UNITLE (A,B)

• Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} 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 $UNITLE(A,B)$, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} 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

1. UNITLE(23,44) = true
2. UNITLE(888,888) = true
3. UNITLE(1.045,4.34) = true
4. UNITLE(13/15,12/17) = false
5. UNITLE(-2,-4) = false

See Also

• LE
• GE
• UNITGE
• List of Main Z Functions
• Z3 home

References

Less Than

• List of Main Z Functions
• Z3 home