DData revision /Bags
robertw at stud.tu-ilmenau.de
Fri Mar 19 09:44:11 EST 2004
On Wed, 17 Mar 2004, Christian Maeder wrote:
> Bags are something between Lists and Sets. Lists become sets by
> changing "++" to "union" being commutative, associative and idempotent,
> Lists become only Bags, when idempotency is omitted. Thus the order of
> elements does not matter as for Sets, but for Bags the multiplicity is
Ah! An Abstract Algebra...
> So either an implemtation as a "Map elem Int"
> or as a sorted list are possible.
Better: ordered balanced trees (easy if you one has abstract balanced
trees to reuse).
More information about the Libraries