Manuals/calci/MOPWITHNE

NE(A,B)

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

Description

• This function checks if given two numbers are not equal.
• In $NE(A,B)$,$A$ and $B$are any real and Imaginary number.
• NE will return the result as "TRUE" when A is not equal to B.
• NE will return the result as "FALSE" when A is equal to B.
• NE compares both real and imaginary parts A and B.
• This function will check for alphabets and special characters also.

Examples

1. NE(145,145) = false
2. NE(-654,654) = true
3. NE(5.43, 5.43) = false
4. NE(2/3,6/9) = false
5. NE("june","june") = false

See Also

• MOPWITHGT
• MOPWITHGTE
• MOPWITHLT

References

Equal

• List of Main Z Functions

• Z3 home