Difference between revisions of "Manuals/calci/NUB"
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...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 13: | Line 13: | ||
# NUB(["good","bad","clever","good"]) = good bad clever | # NUB(["good","bad","clever","good"]) = good bad clever | ||
# NUB([12,14,12,45,12,19,12])= 12 14 19 45 | # NUB([12,14,12,45,12,19,12])= 12 14 19 45 | ||
| + | |||
| + | ==Related Videos== | ||
| + | |||
| + | {{#ev:youtube|v=gf7vdIin0dk|280|center|Numbers}} | ||
==See Also== | ==See Also== | ||
| Line 20: | Line 24: | ||
==References== | ==References== | ||
| − | *[https://www.haskell.org/hoogle/?hoogle=nub] | + | *[https://www.haskell.org/hoogle/?hoogle=nub Nub] |
*[[Z_API_Functions | List of Main Z Functions]] | *[[Z_API_Functions | List of Main Z Functions]] | ||
*[[ Z3 | Z3 home ]] | *[[ Z3 | Z3 home ]] | ||
Latest revision as of 13:20, 4 April 2019
NUB (Array)
- is any set of values.
is any set of values.Description
- This function used to remove duplicate from the given set of values.
- In , 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