Popularity
1.2
-
Activity
3.1
-
0
1
0

Monthly Downloads: 34
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Algebra     Math     Data    
Latest version: v0.1.0.0

involutive-semigroups alternatives and similar packages

Based on the "Algebra" category

Do you think we are missing an alternative of involutive-semigroups or a related project?

Add another 'Algebra' Package

README

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.