Semigroups, Monoids, and other Generalisations of Groups
These include
- functions for calculating withtransformations,
- functions for investigatingsemigroups, in particular transformation semigroups,monoids, andfinitely presented semigroups and monoids,
- sets of basic functions formagmas andadditive magmas,
- a package SONATA for investigating near rings,
- a package XMod for crossed modules and cat-1 groups,
- a package GPD for computation of finite groupoids,
- a package Loops for various types of loops,
- a package Semigroups (former Citrus) for computing with semigroups of transformations and partial permutations, or subsemigroups of regular Rees 0-matrix semigroups, and also with free inverse semigroups,
- a package Smallsemi, providing a data library of all semigroups with at most 8 elements,
- a package NumericalSgps for computations with numerical semigroups, and
- a package SgpViz for semigroup visualization.