Manuals/calci/GTE

GTE (A,B)

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

Description

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

All comparison functions ( LT, LTE, GT, GTE, EQ, NE, EQS, NES, FEQ) will assume B as 0, if not provided. So EQ(10) will be treated as EQ(10,0)

Examples

1. GTE(9,8) = true
2. GTE(-90,-75) = false
3. GTE(90.23,82.22) = true
4. GTE(90.23,82.22) = true
5. GTE("April","August") = false
6. GTE("may","December") = true

Related Videos

Greater Than

See Also

• LARGE
• GT
• List of Main Z Functions
• Z3 home

References

• LARGE NUMBERS

• List of Main Z Functions

• Z3 home