# Difference between revisions of "Manuals/calci/GTE"

Jump to navigation
Jump to search

(Created page with "<div style="font-size:30px">'''GTE (A,B)'''</div><br/> *<math>A</math> and <math>B</math> are any two real numbers. ==Description== *This function is the test for greater tha...") |
|||

(One intermediate revision by the same user not shown) | |||

Line 15: | Line 15: | ||

#GTE("April","August") = false | #GTE("April","August") = false | ||

#GTE("may","December") = true | #GTE("may","December") = true | ||

+ | |||

+ | ==Related Videos== | ||

+ | |||

+ | {{#ev:youtube|v=-WlA9u6MiO8|280|center|Greater Than}} | ||

==See Also== | ==See Also== | ||

*[[Manuals/calci/LARGE | LARGE ]] | *[[Manuals/calci/LARGE | LARGE ]] | ||

− | *[[Manuals/calci/ | + | *[[Manuals/calci/GT | GT ]] |

*[[Z_API_Functions | List of Main Z Functions]] | *[[Z_API_Functions | List of Main Z Functions]] | ||

+ | *[[ Z3 | Z3 home ]] | ||

+ | |||

+ | ==References== | ||

+ | *[http://en.wikipedia.org/wiki/Large_numbers LARGE NUMBERS] | ||

+ | |||

+ | *[[Z_API_Functions | List of Main Z Functions]] | ||

+ | |||

*[[ Z3 | Z3 home ]] | *[[ Z3 | Z3 home ]] |

## Latest revision as of 17:59, 11 January 2019

**GTE (A,B)**

- and are any two real numbers.

## Description

- This function is the test for greater than or equal to the given numbers.
- In , and 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.

## Examples

- GTE(9,8) = true
- GTE(-90,-75) = false
- GTE(90.23,82.22) = true
- GTE(90.23,82.22) = true
- GTE("April","August") = false
- GTE("may","December") = true