Manuals/calci/DIFFERENCE

DIFFERENCE(GivenSet1,GivenSet2)

• where $GivenSet1,GivenSet2$ are the arrays for which difference is to be found.

Description

• This function computes the difference of the two arrays.
• Function compares GivenSet1 array against GivenSet2 array and returns the values in GivenSet1 that are not present in the other array.
• DIFFERENCE function will consider text, numbers, or any special characters like @,&...
• Input other than numbers should be given in quotes.

Examples

1. DIFFERENCE([1,2,3,4,5,0],[5,6,7,1,"a",8]) = 2 3 4 0
2. DIFFERENCE(["@","&","*"],["@","&","*"]) =
3. DIFFERENCE([1,2,3,"a","@","&","*"],["@","&","*"]) = 1 2 3 a

See Also

• DISTINCT
• DISTINCTSET

References

• Difference
• List of Main Z Functions
• Z3 home