Manuals/calci/FEQ

FEQ (A,B)

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

Description

• This function is the test function of equal values.
• In $FEQ(A,B)$,$A$ and $B$ are any real numbers.
• When A and B are equal values then will return the result as TRUE.
• When A and B are not equal then return the result as FALSE.

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. FEQ(9,8) = false
2. FEQ(123,123) = true
3. FEQ(-19,19) = false

Related Videos

Equal Values

See Also

• POSITIVE
• NEGATIVE

References

• Perfect Number
• List of Main Z Functions

• Z3 home