finite-semigroups: Operations and classification for finite semigroups

[ library, math, mit ] [ Propose Tags ] [ Report a vulnerability ]

This provides means to construct finite semigroups and determine which (ordered) pseudovarieties they belong to. Some are predefined, but an arbitrary variety can be specified by equations.

Modules

[Index] [Quick Jump]

Data
- Representation
  - Data.Representation.FiniteSemigroup
    - Data.Representation.FiniteSemigroup.Base
    - Data.Representation.FiniteSemigroup.Classification
    - Data.Representation.FiniteSemigroup.Order
    - Data.Representation.FiniteSemigroup.Variety

Downloads

finite-semigroups-0.1.0.0.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

dakotah_lambert

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0.0
Change log	CHANGELOG.md
Dependencies	base (>=4.9.0.0 && <5.0), containers (>=0.5.0.0 && <0.8), safe (>=0.3 && <0.4) [details]
License	MIT
Copyright	Copyright (c) 2023 Dakotah Lambert
Author	Dakotah Lambert
Maintainer	dakotahlambert@acm.org
Revised	Revision 1 made by dakotah_lambert at 2023-10-29T12:30:18Z
Category	Math
Home page	https://github.com/vvulpes0/finite-semigroups
Source repo	head: git clone https://github.com/vvulpes0/finite-semigroups.git -b main
Uploaded	by dakotah_lambert at 2023-10-26T20:29:00Z
Distributions	NixOS:0.1.0.0
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	51 total (4 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2023-10-26 [all 1 reports]