Manuals/calci/MOPWITHGT

GT (A,B)

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

Description

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

Examples

1. GT(12,8) = true
2. GT(-65,-34) = false
3. GT(123.34,132.43) = false
4. GT(7/8,9/11) = true
5. GT("April","August") = false
6. GT("may","may") = false

See Also

• MOPWITH
• MOPWITHGTE
• MOPWITHLT

References

• LARGE NUMBERS

• List of Main Z Functions

• Z3 home