1.16 DClass

DClass( M, s )

DClass returns the D class of the element s in the monoid M.

    gap> M:= Monoid( Transformation( [ 2, 1, 2 ] ),
    > Transformation( [ 1, 2, 2 ] ) );;
    gap> M.name:= "M";;
    gap> DClass( M, Transformation( [ 1, 2, 2 ] ) );
    DClass( M, Transformation( [ 1, 2, 2 ] ) ) 

The D class of s in M is the set of all elements of M which generate the same ideal in M, i.e., the set of all m in M with <M> <s> <M> = <M> m <M>.

   
[Index]