Manuals/calci/MOPWITHFEQ

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.

Examples

1. FEQ(90,45) = false
2. FEQ(19,19) = true
3. FEQ(-1/9,19) = false

See Also

• MOPWITH
• MOPWITHEQ

References

• Perfect Number
• List of Main Z Functions

• Z3 home