# 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...") |
|||

Line 3: | Line 3: | ||

==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 | + | *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== | ||

− | # | + | #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 |

==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 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 14: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

- 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