[GAP Forum] congruences filter of semigroups

[Andreas Distler]

Dear João,

 João Cruz wrote:
> 1. i want gap composer of semigroups with 5 elements
>
>   
You can download the latest version of  'smallsemi' at
http://www-history.mcs.st-and.ac.uk/~jamesm/smallsemi/

After loading the package call
gap> AllSmallSemigroups(5);
to get the semigroups with 5 elements up to equivalence.

Be aware though that this is a development version and not everything 
will be documented or even functional.

Moreover, the package does currently not work under Windows. If this is 
a problem for you I could as an alternative send you a file containing 
the multiplication tables of the semigroups.
> 2. i want a gap congruences filter to identify the congruences in the semigroup 
>
>   
As far as I know there is no GAP function that computes the congruences 
of a semigroup. For the semigroups of order 5 you might be successful 
using a brute force approach.


Best wishes,

   Andreas
>  
>
> thanks
>
>  
>
> JR
>
> _________________________________________________________________
> Mais do que mensagens – conheça todo o Windows Live™.
> http://www.microsoft.com/windows/windowslive/_______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum
>
>