Manuals/calci/NONZEROVALUE

NONZEROVALUE(Value)

OR

NONZERO(Value)

• $Value$ is any real number.

Description

• This function is the tester function of non zero values.
• In $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