Manuals/calci/NUMERICARRAY

NUMERICARRAY (Array)

• $Array$ is the set of values.
  • NUMERICARRAY () is the tester function of numeric values.

Description

NUMERICARRAY (Array)

• $Array$ is the set of values.
• Numeric are any real numbers.
• This function will return the result as TRUE when all the given entries are numeric values.
• Also this function will return the result as FALSE when any one of the entry is non numeric.

Examples

1. NUMERICARRAY([2,3,10,43]) = true
2. NUMERICARRAY([-4,8.3,2/9]) = true
3. NUMERICARRAY([67,"l",9]) = false
4. NUMERICARRAY([8/9,"%",2.3]) = false

See Also

• FOURTHOF
• HALFOF
• SEVENTHOF

References

• Numbers

• List of Main Z Functions
• Z3 home