Difference between revisions of "Manuals/calci/GE"
Jump to navigation
Jump to search
(Created page with "GE") |
|||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | GE | + | <div style="font-size:30px">'''GE (A,B)'''</div><br/> |
| + | <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 than or equal to the given numbers. | ||
| + | *In <math>GE(A,B)</math>,<math>A</math> and <math> B</math> 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 function will assume B as 0, if not provided. So EQ(10) will be treated as EQ(10,0) | ||
| + | |||
| + | ==Examples== | ||
| + | #GE(90,89) = true | ||
| + | #GE(44,44.01) = False | ||
| + | #GE(-30,-39) = true | ||
| + | #GE(1/2,2/3) = False | ||
| + | |||
| + | ==Related Videos== | ||
| + | |||
| + | {{#ev:youtube|v=-WlA9u6MiO8|280|center|Greater Than}} | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Manuals/calci/LARGE | LARGE ]] | ||
| + | *[[Manuals/calci/LT | LT ]] | ||
| + | *[[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 ]] | ||
Latest revision as of 21:51, 21 March 2024
GE (A,B)
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.
All comparison function will assume B as 0, if not provided. So EQ(10) will be treated as EQ(10,0)
Examples
- GE(90,89) = true
- GE(44,44.01) = False
- GE(-30,-39) = true
- GE(1/2,2/3) = False