Manuals/calci/UNIQUE

UNIQUE ()

Description

• This function returns Unique value from the given set of numbers.
• In $UNIQUE()$, in the parameter the set of non distinct values.
• This function shows the Unique values and removing duplicate values .
• So it is showing a list of unique values.
• Also the displayed unique values in its ascending order.

Examples

1. UNIQUE([2,4,8,3,2,10,9,3,5,7,2]) = 2 3 4 5 7 8 9 10
2. UNIQUE([10,10.01,10.001,10,10.01,10,10.001,10.01]) = 10 10.01 10.001
3. UNIQUE([9,4,-9,-4,6,2,-2,-6,9,4,6]) = 2 4 6 9 -9 -4 -2 -6

See Also

• DISTINCT
• DIFFERENCE

References

• Unique set

• List of Main Z Functions
• Z3 home