writer
6,694
edits
Changes
Jump to navigation
Jump to search
Line 3:
Line 3: − *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. − − − − + + + − + − + − + − + − + − + − + Line 29:
Line 24: + + + +
no edit summary
==Description==
==Description==
*This function is the test for strictly greater than for the given numbers.
*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.
*In <math>GT(A,B)</math>,<math>A</math and B 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.
==Examples==
==Examples==
#GTE(9,8) = true
#GT(12,8) = true
#GTE(-90,-75) = false
#GT(-65,-34) = false
#GTE(90.23,82.22) = true
#GT(123.34,132.43) = false
#GTE(90.23,82.22) = true
#GT(7/8,9/11) = true
#GTE("April","August") = false
#GT("April","August") = false
#GTE("may","December") = true
#GT("may","may") = false
==See Also==
==See Also==
*[[Manuals/calci/LARGE | LARGE ]]
*[[Manuals/calci/LARGE | LARGE ]]
*[[Manuals/calci/GT | GT ]]
*[[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 ]]
==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 ]]