Manuals/calci/NE

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.

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. NE(55,55) = false
2. NE(-123,123) = true
3. NE(5.43, 5.43) = false
4. NE(2/3,6/9) = false
5. NE("june","june") = false

Related Videos

Not Equal

See Also

• EQ
• MEQUAL
• EQS

References

Equal

• List of Main Z Functions

• Z3 home