Manuals/calci/UNITEQ

UNITEQ (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.

Descreiption

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

Examples

1. UNITEQ(28,28) = true
2. UNITEQ(-453,-453) = true
3. UNITEQ(14.23,14.02) = false
4. UNITEQ(2/3,6/9) = true

Related Videos

Equal

See Also

• EQ
• UNITEQS
• EQS
• List of Main Z Functions
• Z3 home

References

Equal

• List of Main Z Functions

• Z3 home