writer
6,694
edits
Changes
Jump to navigation
Jump to search
Created page with "<div style="font-size:30px">'''NUB (Array)'''</div><br/> *<math>Array</math> is any set of values. ==Description== *This function used to remove duplicate from the given set..."
<div style="font-size:30px">'''NUB (Array)'''</div><br/>
*<math>Array</math> is any set of values.
==Description==
*This function used to remove duplicate from the given set of values.
*In <math>NUB (Array)</math>,<math>Array</math> 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==
# NUB(["good","bad","clever","good"]) = good bad clever
# NUB([12,14,12,45,12,19,12])= 12 14 19 45
==See Also==
*[[Manuals/calci/REMOVENUMBERS | REMOVENUMBERS ]]
*[[Manuals/calci/REMOVETEXT | REMOVETEXT ]]
*[[Manuals/calci/EXTRACTNUMBERS | EXTRACTNUMBERS ]]
==References==
*[https://www.haskell.org/hoogle/?hoogle=nub]
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]
*<math>Array</math> is any set of values.
==Description==
*This function used to remove duplicate from the given set of values.
*In <math>NUB (Array)</math>,<math>Array</math> 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==
# NUB(["good","bad","clever","good"]) = good bad clever
# NUB([12,14,12,45,12,19,12])= 12 14 19 45
==See Also==
*[[Manuals/calci/REMOVENUMBERS | REMOVENUMBERS ]]
*[[Manuals/calci/REMOVETEXT | REMOVETEXT ]]
*[[Manuals/calci/EXTRACTNUMBERS | EXTRACTNUMBERS ]]
==References==
*[https://www.haskell.org/hoogle/?hoogle=nub]
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]