GAP (Semigroups) - Chapter 1: The Semigroups package

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 Bib Ind
[Top of Book] [Contents] [Previous Chapter] [Next Chapter]

[MathJax on]

1 The Semigroups package
1.1 Introduction
1.2 Overview

### 1 The Semigroups package

#### 1.1 Introduction

This is the manual for the Semigroups package for GAP version 5.5.4. Semigroups 5.5.4 is a distant descendant of the Monoid package for GAP 3 by Goetz Pfeiffer, Steve A. Linton, Edmund F. Robertson, and Nik Ruskuc.

From Version 3.0.0, Semigroups includes a copy of the libsemigroups C++ library which contains implementations of the Froidure-Pin, Todd-Coxeter, and Knuth-Bendix algorithms (among others) that Semigroups utilises.

If you find a bug or an issue with the package, please visit the issue tracker.

#### 1.2 Overview

This manual is organised as follows:

Part I: elements

  the different types of elements that are introduced in Semigroups are described in Chapters 3, 4, and 5. These include `Bipartition` (3.2-1), `PBR` (4.2-1), and `Matrix` (5.1-5), which supplement those already defined in the GAP library, such as `Transformation` (Reference: Transformation for an image list) or `PartialPerm` (Reference: PartialPerm for a domain and image).

Part II: semigroups and monoids defined by generating sets

  functions and operations for creating semigroups and monoids defined by generating sets (of the type described in Part I) are described in Chapter 6.

Part III: standard examples and constructions

  standard examples of semigroups, such as `FullBooleanMatMonoid` (7.6-1) or `UniformBlockBijectionMonoid` (7.3-8), are described in Chapter 7, and standard constructions, such as `DirectProduct` (8.1-1) are given in Chapter 8.

Part IV: the structure of a semigroup or monoid

  the functionality for determining various structural properties of a given semigroup or monoid are described in Chapters 9, 10, 11, and 12.

Part V: congruences, quotients, and homomorphisms

  methods for creating and manipulating congruences and homomorphisms are described by Chapters 13 and 14.

Part VI: finitely presented semigroups and monoids

  methods for finitely presented semigroups and monoids, in particular, for Tietze transformations can be found in Chapters 15.

Part VII: utilities and helper functions

  functions for reading and writing semigroups and their elements, and for visualising semigroups, and some of their elements, can be found in Chapters 16 and 17.

[Top of Book] [Contents] [Previous Chapter] [Next Chapter]
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 Bib Ind

generated by GAPDoc2HTML