Monoid Records and Semigroup Records) the record representing a transformation monoid M has a component
true. Moreover, such a record will (after a while) acquire the following components.
images[ k ]is the list of all different image sets of size k of the elements of M.
images. The image set
images[k][l]occurs in the orbit of the R class with index
imagePos[k][l]in the list
rClassReps[l]contains the complete list of representatives of the R classes with the same image orbit as the R class
lTrans[l][k]is a transformation alpha such that
lTrans[l][k] * rClassReps[l][k]is an element of the R class
kernels[l][k]is the common kernel of the elements in the R class of