involutive-semigroups: Semigroups with involution.

[ algebra, bsd3, data, library, math ] [ Propose Tags ]

Provides a typeclass for semigroups with "inverse-like" operations.


[Skip to Readme]
Versions [faq] 0.1.0.0
Change log CHANGELOG.md
Dependencies base (>=4.12.0.0 && <4.15), bytestring (>=0.10.8.0 && <0.11), containers (>=0.5.7.1 && <0.7), text (>=1.2.3.0 && <1.3), vector (>=0.12.0.1 && <0.13) [details]
License BSD-3-Clause
Copyright 2020 Nicholas Coltharp
Author Nicholas Coltharp
Maintainer coltharp@pdx.edu
Category Algebra, Data, Math
Bug tracker https://github.com/nosewings/involutive-semigroups/issues
Source repo head: git clone https://github.com/nosewings/involutive-semigroups
Uploaded by nosewings at 2020-07-30T06:42:58Z
Distributions
Downloads 34 total (34 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-07-30 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for involutive-semigroups-0.1.0.0

[back to package description]

A semigroup S is said to be with involution if it comes equipped with an "inverse-like" operation rev. Specifically, the following must hold for all x y : S:

  • rev (rev x) = x
  • rev (x <> y) = rev y <> rev x.

reverse is the prototypical example. Any group inverse automatically satisfies these laws.