The signed-multiset package

[Tags:bsd3, library]

Multisets (or bags) are sets in which elements may occur more than once. The number of times an element occurs in a multiset is called its multiplicity.

This package provides an efficient implementation of so-called signed multisets (also known as hybrid sets or shadow sets), which generalise multisets by allowing for negative membership. That is, elements in a signed multiset can have negative multiplicities.

See also: Wayne D. Blizard. Negative membership. Notre Dame Journal of Formal Logic, 31(3):346--368, 1990.


Versions 0.1, 0.2,, 0.3,, 0.4
Change log CHANGELOG
Dependencies base (==4.5.*), containers (>=0.4.2 && <0.5) [details]
License BSD3
Copyright (c) 2012 Stefan Holdermans
Author Stefan Holdermans
Category Data Structures
Bug tracker
Uploaded Thu Apr 19 17:21:01 UTC 2012 by StefanHoldermans
Distributions NixOS:0.4
Downloads 1202 total (5 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees