Manuals/calci/UNITEQS

UNITEQS(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 UNITEQS(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.
• UNITEQS will return the result as "TRUE" when a equals b.
• UNITEQS will return the result as "FALSE" when a not equals b.
• UNITEQS compares both integer and fractional parts of a and b.

Examples

1. UNITEQS(44,23.3) = false
2. UNITEQS(-65,-65) = true
3. UNITEQS(7/8,21/24) = true

Related Videos

Equality

See Also

• UNITEQ
• EQ
• List of Main Z Functions
• Z3 home

References

Equal

• List of Main Z Functions

• Z3 home