Manuals/calci/UNITEQ

UNITEQ (a,b)

• $a$ and $b$ are any real numbers.

Descreiption

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

Examples

1. UNITEQ(28,28) = true
2. UNITEQ(-453,-453) = true
3. UNITEQ(14.23,14.02) = false
4. UNITEQ(2/3,6/9) = true

See Also

• EQ
• UNITEQS
• EQS
• List of Main Z Functions
• Z3 home

References

Equal

• List of Main Z Functions

• Z3 home