Popularity
1.7
Declining
Activity
0.0
Stable
0
3
0

Monthly Downloads: 11
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.
Alternatively, view involutive-semigroups alternatives based on common mentions on social networks and blogs.

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.