1.5 IsSemiGroup

IsSemiGroup( obj )

IsSemiGroup returns true if the object obj, which may be an object of an arbitrary type, is a semigroup, and false otherwise. It will signal an error if obj is an unbound variable.

    gap> IsSemiGroup( SemiGroup( Transformation( [ 1, 2, 1 ] ) ) );
    true
    gap> IsSemiGroup( Group( (2,3) ) ); 
    false 

   
[Index]