[MONOiD]

4.1 IsTransMonoid

IsTransMonoid( obj )

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

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

[Up] [Next] 
[Index]

Version 2.4 (May 1998)

[MONOiD]