4.5 ImagesTransMonoid

ImagesTransMonoid( M )

ImagesTransMonoid returns the set of images of all elements of the transformation monoid M (see Image of a Transformation).

    gap> M:= Monoid( Transformation( [ 1, 4, 4, 2 ] ),    
    >       Transformation( [ 2, 4, 4, 4 ] ) );;   
    gap> ImagesTransMonoid(M);                                              
    [ [ 1, 2, 3, 4 ], [ 1, 2, 4 ], [ 2 ], [ 2, 4 ], [ 4 ] ] 

   
[Index]