Difference between revisions of "Manuals/calci/UNITNE"
Jump to navigation
Jump to search
(Created page with "<div style="font-size:30px">'''UNITNE (A,B)'''</div><br/> *<math>A</math> and <math>B</math> are any real numbers. ==Descreiption== *This function determines the non-equality...") |
|||
| Line 18: | Line 18: | ||
==See Also== | ==See Also== | ||
| − | *[[Manuals/calci/ | + | *[[Manuals/calci/UNITNES | UNITNES]] |
*[[Manuals/calci/UNITEQ | UNITEQ]] | *[[Manuals/calci/UNITEQ | UNITEQ]] | ||
| − | *[[Manuals/calci/ | + | *[[Manuals/calci/EQ | EQ]] |
*[[Z_API_Functions | List of Main Z Functions]] | *[[Z_API_Functions | List of Main Z Functions]] | ||
*[[Z3 | Z3 home ]] | *[[Z3 | Z3 home ]] | ||
Revision as of 21:25, 4 April 2017
UNITNE (A,B)
- and are any real numbers.
and 
are any real numbers.Descreiption
- This function determines the non-equality of two numbers.
- In , and are any real numbers.
- UNITNE will return the result as "TRUE" when A is not equal to B.
- UNITNE will return the result as "FALSE" when A is equal to B.
- UNITNE compares both integer and fractional parts of A and B.
,
Examples
- UNITNE(28,28) = false
- UNITNE(-45,-41) = true
- UNITNE(14.23,14.02) = true
- UNITNE(2/3,6/9) = false
See Also
References