The signed-multiset package
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.2.0.1, 0.3, 0.3.0.1, 0.4|
|Dependencies||base (==4.5.*), containers (>=0.4.2 && <0.5)|
|Copyright||(c) 2012 Stefan Holdermans|
|Uploaded||Wed Apr 25 12:40:16 UTC 2012 by StefanHoldermans|
|Downloads||550 total (45 in last 30 days)|
|Status||Docs uploaded by user|
Build status unknown [no reports yet]
- signed-multiset-0.3.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
For package maintainers and hackage trustees