involutive-semigroups: Semigroups with involution.

[ algebra, bsd3, data, library, math ] [ Propose Tags ] [ Report a vulnerability ]

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

[Skip to Readme]

Modules

[Index] [Quick Jump]

Data
- Semigroup
  - Data.Semigroup.Involutive

Downloads

involutive-semigroups-0.1.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

nosewings

For package maintainers and hackage trustees

edit package information

Candidates

0.1.0.0, 0.1.0.1

Versions [RSS]	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	263 total (3 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2020-07-30 [all 1 reports]

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.