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