signed-multiset: Multisets with negative membership.
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 [RSS]||0.1, 0.2, 0.2.0.1, 0.3, 0.3.0.1, 0.4, 0.5|
|Dependencies||base (>=4.7 && <5), containers [details]|
|Copyright||(c) 2012-2023 Stefan Holdermans|
|Author||Stefan Holdermans, Johannes Riecken|
|Uploaded||by StefanHoldermans at 2023-01-13T21:38:19Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||4226 total (2 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2023-01-13 [all 1 reports]