Manuals/calci/UNITEQS

UNITEQS(A,B)

• $A$ and $B$ are any real numbers.

Description

• This function determines the equality of two numbers.
• In $UNITEQS(A,B)$,$A$ and $B$are any real numbers.
• UNITEQS will return the result as "TRUE" when A equals B.
• UNITEQS will return the result as "FALSE" when A not equals B.
• UNITEQS compares both integer and fractional parts of A and B.

Examples

1. UNITEQS(44,23.3) = false
2. UNITEQS(-65,-65) = true
3. UNITEQS(7/8,21/24) = true

See Also

• UNITEQ
• EQ
• List of Main Z Functions
• Z3 home

References

Equal

• List of Main Z Functions

• Z3 home