https://github.com/gap-packages/subsemi

GAP package for enumerating subsemigroups of semigroups by several different search algorithms.
https://github.com/gap-packages/subsemi

diagram-semigroups enumeration semigroup transformation-semigroups

Last synced: 5 months ago
JSON representation

GAP package for enumerating subsemigroups of semigroups by several different search algorithms.

• Host: GitHub
• URL: https://github.com/gap-packages/subsemi
• Owner: gap-packages
• License: gpl-2.0
• Created: 2015-06-26T01:10:12.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2025-03-11T21:44:48.000Z (about 1 year ago)
• Last Synced: 2025-03-11T22:28:30.324Z (about 1 year ago)
• Topics: diagram-semigroups, enumeration, semigroup, transformation-semigroups
• Language: GAP
• Homepage:
• Size: 1000 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog
  • License: LICENSE

Awesome Lists containing this project

README

          
# SubSemi

GAP package for enumerating subsemigroups of semigroup, deciding isomorphisms

and constructing embeddings. The algorithms assume that the elements of the

semigroups can be fully calculated, therefore their applicability is limited

to relatively small semigroups.

The original motivation for developing the package was the computational

enumeration of transformation semigroups up to degree 4. Instructions for

recomputing those results can be found in the data/T4 folder. 

The code is highly experimental with no user documentation,

only inline comments. The algorithms are described on a

high level in the preprint 'On Enumerating Transformation Semigroups'

http://arxiv.org/abs/1403.0274

The enumeration was extended to other diagram semigroups, see the data/SMALLDEGREE folder and the preprint http://arxiv.org/abs/1502.07150 'Finite Diagram Semigroups: Extending the Computational Horizon'. 

## Installation

Just cloning the repository under GAP/pkg/ and copying (and possibly editing) config_EXAMPLE.g to config.g.

Copyright (C) 2014 James East, Attila Egri-Nagy, James D. Mitchell

SubSemi is free software; you can redistribute it and/or modify it under

the terms of the GNU General Public License as published by the

Free Software Foundation; either version 2 of the License,

or (at your option) any later version.