GAP package Citrus

The Citrus package is a GAP package for computing with semigroups of transformations and partial permutations. Citrus contains more efficient methods than those available in the GAP library (and in many cases more efficient than any other software) for creating semigroups of transformations and partial permutations, calculating their Green's classes, size, elements, group of units, minimal ideal, small generating sets, testing membership, finding the inverses of a regular element, factorizing elements over the generators, and many more. It is also possible to test if a semigroup satisfies a particular property, such as if it is regular, simple, inverse, completely regular, and a variety of further properties. Several catalogues of examples are provided, such as generators for the endomorphism monoids of every connected graph with at most 8 vertices and generators for the endomorphism monoids of the non-abelian groups with order at most 64.

Version

Current version number 0.9999 (Released 06/07/2012)

Status

deposited

Dependencies

GAP version: >=4.5.4
Needed other packages: orb(>=4.2), io(>=4.1),
Suggested other packages: gapdoc(>=1.5.1), grape(>=4.5),

Online documentation

Citrus: [ HTML] version [ PDF] version

Download

[README] citrus-0.9999[.tar.gz (2.2MB)] [.tar.bz2 (2.1MB)] [-win.zip (2.2MB)] [.zip (2.2MB)]

Contact

J. D. Mitchell
Address:
Mathematical Institute, North Haugh, St Andrews, Fife, KY16 9SS, Scotland
WWW: http://tinyurl.com/jdmitchell
E-mail: jdm3@st-and.ac.uk