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