Manuals/calci/NUB

NUB (Array)

• $Array$ is any set of values.

Description

• This function used to remove duplicate from the given set of values.
• In $NUB(Array)$,$Array$ is any set of values.
• The Nub function removes duplicate elements from a list.
• The name NUB means "essence".
• In particular, it keeps only the first occurrence of each element.
• It is a special case to do the equality test.

Examples

1. NUB(["good","bad","clever","good"]) = good bad clever
2. NUB([12,14,12,45,12,19,12])= 12 14 19 45

See Also

• REMOVENUMBERS
• REMOVETEXT
• EXTRACTNUMBERS

References

• [1]

• List of Main Z Functions

• Z3 home