[MONOiD]

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 

[Previous] [Up] [Next] 
[Index]

Version 2.4 (May 1998)

[MONOiD]