The domain Multiset(R) is similar to Set(R) except that multiplicities (counts of duplications) are maintained and displayed. Use the operation multisetmultisetMultiset to create multisets from lists. All the standard operations from sets are available for multisets. An element with multiplicity greater than one has the multiplicity displayed first, then a colon, and then the element.
Create a multiset of integers.
The operation insert! adds an element to a multiset.
Use remove! to remove an element. If a third argument is present, it specifies how many instances to remove. Otherwise all instances of the element are removed. Display the resulting multiset.
The operation count returns the number of copies of a given value.
A second multiset.
The union of two multisets is additive.
The intersect operation gives the elements that are in common, with additive multiplicity.
The difference of s and t consists of the elements that s has but t does not. Elements are regarded as indistinguishable, so that if s and t have any element in common, the difference does not contain that element.
The symmetricDifference is the union of difference(s, t) and difference(t, s).
Check that the union of the symmetricDifference and the intersect equals the union of the elements.
Check some inclusion relations.