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, 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.


Properties

Versions0.1, 0.2, 0.2.0.1, 0.3, 0.3.0.1, 0.4
Dependenciesbase (==4.*), containers (>=0.4)
LicenseBSD3
Copyright(c) 2012 Stefan Holdermans
AuthorStefan Holdermans
Maintainerstefan@vectorfabrics.com
Stabilityprovisional
CategoryData Structures
Bug trackermailto:stefan@vectorfabrics.com
Upload dateTue Apr 17 21:14:37 UTC 2012
Uploaded byStefanHoldermans
Downloads457 total (53 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees