Manuals/calci/EQS

EQS (A,B)

• Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} are any real numbers.

Description

• This function determines the equality of two numbers.
• In Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle EQS(A,B)} ,Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} are any real and Imaginary number.
• EQS will return the result as "TRUE" when A equals B.
• EQS will return the result as "FALSE" when A not equals B.
• EQS 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. EQS(23,23.3) = false
2. EQS(-65,-65) = true
3. EQS(7/8,21/24) = true
4. EQS("G","B") = false

Related Videos

Equal

See Also

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

References

Equality

Equal

• List of Main Z Functions

• Z3 home