writer
6,694
edits
Changes
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..."
<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 or equal to the given numbers.
*In <math>GTE(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.
*This function is the test for strictly greater than for the given numbers.
*In <math>GT(A,B)</math>,<math>A</math and B are any two real numbers.If A is strictly less than to B then will return the result as TRUE. If A is equal to or not strictly less than to 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
==See Also==
*[[Manuals/calci/LARGE | LARGE ]]
*[[Manuals/calci/GT | GT ]]
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]
==References==
*[http://en.wikipedia.org/wiki/Large_numbers LARGE NUMBERS]
*<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>GTE(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.
*This function is the test for strictly greater than for the given numbers.
*In <math>GT(A,B)</math>,<math>A</math and B are any two real numbers.If A is strictly less than to B then will return the result as TRUE. If A is equal to or not strictly less than to 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
==See Also==
*[[Manuals/calci/LARGE | LARGE ]]
*[[Manuals/calci/GT | GT ]]
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]
==References==
*[http://en.wikipedia.org/wiki/Large_numbers LARGE NUMBERS]