signed-multiset: Multisets with negative membership.

[ bsd3, data-structures, library ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.2, 0.2.0.1, 0.3, 0.3.0.1, 0.4, 0.5
Change log CHANGELOG
Dependencies base (>=4.5 && <4.6), containers (>=0.4.2 && <0.5) [details]
License BSD-3-Clause
Copyright (c) 2012 Stefan Holdermans
Author Stefan Holdermans
Maintainer stefan@vectorfabrics.com
Category Data Structures
Bug tracker mailto:stefan@vectorfabrics.com
Uploaded by StefanHoldermans at 2012-04-19T17:21:01Z
Distributions NixOS:0.5
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 4282 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]