Manuals/calci/UNITGT

UNITGT (A,B)

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

Description

• This function is the test for strictly greater number out of the two given numbers.
• In $UNITGT(A,B)$,$A$ and $B$ are any two real numbers.
• If A is strictly greater than B then will return the result as TRUE.
• If A is equal to or less than B then will return the result as FALSE.

Examples

1. UNITGT(99,30) = true
2. UNITGT(-65,-34) = false
3. UNITGT(300,300) = false
4. UNITGT(1.222, 4.34) = false
5. UNITGT(7/8,9/11) = true

See Also

• UNITLT
• LT
• GTE
• List of Main Z Functions
• Z3 home

References

• LARGE NUMBERS

• List of Main Z Functions

• Z3 home