Difference between revisions of "Manuals/calci/GT"

From ZCubes Wiki
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...")
 
Line 3: Line 3:
  
 
==Description==
 
==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.
 
*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 ]]
Line 29: Line 24:
 
==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 ]]

Revision as of 13:02, 13 March 2017

GT (A,B)


  • and are any two real numbers.

Description

  • This function is the test for strictly greater than for the given numbers.
  • In ,<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

  1. GT(12,8) = true
  2. GT(-65,-34) = false
  3. GT(123.34,132.43) = false
  4. GT(7/8,9/11) = true
  5. GT("April","August") = false
  6. GT("may","may") = false

See Also

References