TY - JOUR
T1 - Computing transformation semigroups
AU - Linton, Stephen Alexander
AU - Pfeiffer, G
AU - Robertson, Edmund Frederick
AU - Ruskuc, Nikola
PY - 2002/2
Y1 - 2002/2
N2 - This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a now data structure for an R-class in terms of a group and an action. They provide for local computations, concerning a single R-class, without computing the whole semigroup, as well as for computing the global structure of the semigroup. The algorithms have been implemented in the share package MONOID within the GAP system for computational algebra. (C) 2002 Academic Press.
AB - This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a now data structure for an R-class in terms of a group and an action. They provide for local computations, concerning a single R-class, without computing the whole semigroup, as well as for computing the global structure of the semigroup. The algorithms have been implemented in the share package MONOID within the GAP system for computational algebra. (C) 2002 Academic Press.
UR - http://www.scopus.com/inward/record.url?scp=0036173880&partnerID=8YFLogxK
UR - http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6WM7-457MDSK-9-2&_cdi=6927&_user=1026342&_orig=browse&_coverDate=02%2F28%2F2002&_sk=999669997&view=c&wchp=dGLzVzz-zSkWA&md5=c0640278066faa719f49e1fc8590f507&ie=/sdarticle.pdf
U2 - 10.1006/jsco.2000.0406
DO - 10.1006/jsco.2000.0406
M3 - Article
SN - 0747-7171
VL - 33
SP - 145
EP - 162
JO - Journal of Symbolic Computation
JF - Journal of Symbolic Computation
IS - 2
ER -