Semigroups, Monoids, and other Generalisations of Groups

• functions for calculating with transformations,
  
  
• functions for investigating semigroups, in particular transformation semigroups, monoids, and finitely presented semigroups and monoids,
  
  
• sets of basic functions for magmas and additive magmas,
  
  
• a package with some special algorithms for commutative semigroups,
  
  
• a package SONATA for investigating small semigroups and near rings,
  
  
• a package XMod for crossed modules and cat-1 groups,
  
  
• a package GPD for computation of finite groupoids, and
  
  
• a package Loops for various types of loops.