Manuals/calci/EQ

EQ (A,B)

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

Descreiption

• This function determines the equality of two numbers.
• In $EQ(A,B)$,$A$ and $B$are any real and Imaginary number.
• EQ will return the result as "TRUE" when A equals B.
• EQ will return the result as "FALSE" when A not equals B.
• EQ compares both real and imaginary parts A and B.
• This function will check for alphabets and special characters also.

All comparison functions ( LT, LTE, GT, GTE, EQ, NE, EQS, NES, FEQ) will assume B as 0, if not provided. So EQ(10) will be treated as EQ(10,0)

Examples

1. EQ(90,90) = true
2. EQ(-123,123) = false
3. EQ(14.23,14.02) = false
4. EQ(2/3,6/9) = true
5. EQ("june","june") = true

Related Videos

Equal

See Also

• FEQ
• MEQUAL
• EQS
• List of Main Z Functions
• Z3 home

References

Equality

Equal

• List of Main Z Functions

• Z3 home