Manuals/calci/UNITGE

UNITGE (A,B)

• $A$ and $B$ are any two real numbers.

Description

• This function checks if the first number is greater than or equal to the second number.
• In $UNITGE(A,B)$,$A$ and $B$ are any two real numbers.
• If A is greater than or equal to B then it will return the result as TRUE.
• If A is less than B then it will return the result as FALSE.

Examples

1. UNITGE(45,18) = true
2. UNITGE(-90,-75) = false
3. UNITGE(210,210) = true
4. UNITGE(3.234, 1.42) = true

See Also

• GTE
• UNITLE
• List of Main Z Functions
• Z3 home

References

• LARGE NUMBERS

• List of Main Z Functions

• Z3 home