Christian Maeder
"Bag" and "MultiSet" are synonyms.
Okay. I was trying to look for a reasonable terminology/distinction where they weren't. If they are defined to be the same, that makes it a bit pointless.
However, putting different but equivalent elements into a set would change the Bag property as also strongly equal elements should contribute to a higher multiplicity.
Yes, of course. I meant a MultiSet.
If you have a map with counts you may consider to use bags instead (and trust in a stable and efficient implementation)!
Right. At the time, it seemed simpler to use a FM (which I know has a stable and efficient implementation, and which happened to be available). Anyway, thanks for the clarifications! -kzm -- If I haven't seen further, it is by standing in the footprints of giants