1.7 IsMonoid

IsMonoid( obj )

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

    gap> IsMonoid( Monoid( Transformation( [ 1, 2, 1 ] ) ) );
    true
    gap> IsMonoid( Group( (2,3) ) ); 
    false 

   
[Index]