@hackage / finite-semigroups

Operations and classification for finite semigroups

Latest0.1.0.0

About

Metadata

  • Last updated , by dakotah_lambert
  • License MIT
  • Categories Mathematics
  • Maintained by: dakotahlambert@acm.org

  • Lottery factor: 0

Links

Installation

Readme

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.