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