Manuals/calci/LISTUNIQUE

LISTUNIQUE (Items,Column)

• $Items$ is the set of values.
• $Column$ is any integer.

Description

• This function list the unique specified values from the given set of values.
• In $LISTUNIQUE(Items,Column)$,$items$ is the set of values.
• $Column$ is the entry number to display.
• This function is used to list the specified entry values from the given set of values.

Examples

1. LISTUNIQUE([[1,2,3,4,5],[6,7,8,9,10],[11,12,13,14,15]],4) = 4 9 14
2. LISTUNIQUE([[-2,-9,-10,3.2,9,7,5],[5,2,9.3,3.2,7.1,2.3]],6) = 7 2.3
3. LISTUNIQUE([[4,3,9.2,4.3,7.2,1.2,9.7,3.4,1.2,2.3],[52,32,13,54,7.2,-8.4,1/2,4/9,3/2]],7) = 9.7 0.5

See Also

• DEGREESLIST
• LISTPRIMES
• LISTCOLUMNLABELS

References

• List of Main Z Functions

• Z3 home