Difference between revisions of "Manuals/calci/GT"
Jump to navigation
Jump to search
(Created page with "<div style="font-size:30px">'''GT (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...") |
|||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 3: | Line 3: | ||
==Description== | ==Description== | ||
| − | *This function is the test for greater than | + | *This function is the test for strictly greater than for the given numbers. |
| − | *In <math> | + | *In <math>GT(A,B)</math>,<math>A</math> and <math>B</math> are any two real numbers. |
| − | *If A is greater than | + | *If A is strictly greater than to B then will return the result as TRUE. |
| − | *If A is less than B then will return the result as FALSE. | + | *If A is equal to or less than to B then will return the result as FALSE. |
| + | All comparison functions ( [[Manuals/calci/LT |LT]], [[Manuals/calci/LTE |LTE]], [[Manuals/calci/GT |GT]], [[Manuals/calci/GTE |GTE]], [[Manuals/calci/EQ |EQ]], [[Manuals/calci/NE |NE]], [[Manuals/calci/EQS |EQS]], [[Manuals/calci/NES |NES]], [[Manuals/calci/FEQ |FEQ]]) will assume B as 0, if not provided. So EQ(10) will be treated as EQ(10,0) | ||
| − | + | ==Examples== | |
| − | + | #GT(12,8) = true | |
| + | #GT(-65,-34) = false | ||
| + | #GT(123.34,132.43) = false | ||
| + | #GT(7/8,9/11) = true | ||
| + | #GT("April","August") = false | ||
| + | #GT("may","may") = false | ||
| + | #GT(2cm,200m) = false | ||
| + | |||
| + | ==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/GTE | GTE ]] |
*[[Z_API_Functions | List of Main Z Functions]] | *[[Z_API_Functions | List of Main Z Functions]] | ||
*[[ Z3 | Z3 home ]] | *[[ Z3 | Z3 home ]] | ||
| Line 29: | Line 32: | ||
==References== | ==References== | ||
*[http://en.wikipedia.org/wiki/Large_numbers LARGE NUMBERS] | *[http://en.wikipedia.org/wiki/Large_numbers LARGE NUMBERS] | ||
| + | |||
| + | *[[Z_API_Functions | List of Main Z Functions]] | ||
| + | |||
| + | *[[ Z3 | Z3 home ]] | ||
Latest revision as of 22:58, 21 March 2024
GT (A,B)
- and are any two real numbers.
and 
are any two real numbers.Description
- This function is the test for strictly greater than for the given numbers.
- In , and 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.
,
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
- GT(12,8) = true
- GT(-65,-34) = false
- GT(123.34,132.43) = false
- GT(7/8,9/11) = true
- GT("April","August") = false
- GT("may","may") = false
- GT(2cm,200m) = false