Manuals/calci/NONZEROVALUE

NONZEROVALUE(Value)

OR

NONZERO(Value)

• 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 Value} is any real number.

Description

• This function is the tester function of non zero values.
• 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 NONZEROVALUE (Value)} ,$Value$ is any real value or any complex number.
• A quantity which does not equal zero is said to be nonzero.
• A real nonzero number must be either positive or negative, and a complex nonzero number can have either real or imaginary part nonzero.
• When the given value is "0" then this function will return as FALSE.
• When the given value is any nonzero then this function will return as TRUE.

Examples

1. NONZEROVALUE(76) = true
2. NONZERO(-24) = true
3. NONZERO(0) = false
4. NONZERO(3/4) = true

See Also

• POSITIVE
• NEGATIVE
• ABS

References

• Sign

• List of Main Z Functions

• Z3 home