MONOID 3.1.3 is an updated version of the package with the same name for GAP 3; see

for more information about the original MONOID package by Goetz Pfeiffer, Steve A. Linton, Edmund F. Robertson, and Nik Ruskuc.

MONOID 3.1.3 retains all the functionality of the original MONOID package. In particular, MONOID 3.1.3 contains more efficient methods than those available in the GAP library for computing orbits, calculating Green's classes, finding the size, the elements, and testing membership in transformation semigroups. After MONOID has been loaded many of these methods are automatically used in preference to those in the library and do not need to be called explicitly by the user.

In addition, there are new methods for testing if a semigroup satisfies a particular property, such as if it is regular, simple, inverse, or completely regular; computing the automorphism group of a transformation semigroup; homomorphisms and isomorphism between some types of semigroup; and functions to create some well-known transformation semigroups.

The MONOID package is written in GAP code only but relies on the GRAPE package in the methods for computing the automorphism group of a semigroup. The functions AutomorphismGroup, AutomorphismsSemigroupInGroup, RZMSGraph, RightTransStabAutoGroup, and IsomorphismSemigroups can only be used fully if GRAPE is fully installed in a UNIX environment. Installation of GRAPE is described in the README file of the GRAPE distribution and in the section entitled `Installing the GRAPE Package' of the GRAPE manual. See

or the main GAP webpages for more information.

Current version 3.1.3: download the current version of MONOID here: monoid3r1p3.tar.gz or monoid3r1p3.tar.bz2 (released Fri 7 Nov 2008 18:21:45 GMT).

Older versions: download any of the previous versions from the list below:

• 3.1.2: monoid3r1p2.tar.gz or monoid3r1p2.tar.bz2 (released Fri 11 Jul 2008 13:33:15 BST).
• 3.1.1: monoid3r1p1.tar.gz or monoid3r1p1.tar.bz2 (released Mon Jun 9 17:02:20 BST 2008)
• 3.1: monoid3r1.tar.gz or monoid3r1.tar.bz2 (released Fri May 2 17:42:56 BST 2008)

• from 3.1.2 to 3.1.3: the method for PreImagesRepresentative for a semigroup homomorphism by function now tests whether the homomorphism is bijective and total before trying to find preimages. Some other minor corrections were made to the documentation and webpages.
• from 3.1.1 to 3.1.2: the following new features were introduced: several new functions to create transformations, a new class of semigroup, for further details go here; and a bug relating to the semigroup of order preserving mappings was fixed.

• from 3.1 to 3.1.1: fixed a bug that produced an error when loading MONOID with the GRAPE package present but not fully installed.

The following steps should lead to a successful installation of the MONOID package:

• unpack the file (for example, by using typing `gunzip monoid3r1.tar.gz' and then `tar -xf monoid.tar' in UNIX).
• move the resultant directory MONOID into the `pkg' directory of your GAP directory (the directory containing the directories `lib', `doc', `pkg', and so on).
• if you want to make use of the methods for finding automorphism groups of semigroups, as mentioned above, make sure that the GRAPE package is fully installed in a UNIX environment.
• start GAP in the usual way.
• type `LoadPackage("monoid");'.

The following is an example of the above steps being successfully completed.

Presuming that the above steps can be completed successfully you will be running the MONOID package!

If you want to check that the package is working correctly, please go to the testing section of the MONOID manual.

• the manual in pdf format
• the manual in html format
• the README file
• the PackageInfo.g file.

If you use the MONOID package, I would really appreciate it if you would let me know by sending me an email. If you notice any features missing that you think are important or if you find a bug, I would very much appreciate it if you would let me know.

file created on Wed Apr 9 2008 by J. D. Mitchell.
last modified on Fri 7 Nov 2008 18:21:45 GMT by J. D. Mitchell.