[GAP Forum] Listing idempotents in terms of generators

[James Mitchell]

Dear Shubh,

Do you mean you want to factorise the idempotents over the transformations
f and g? If so, then you can do this using the semigroups package as
follows:

S := Semigroup(f, g);
List(Idempotents(S), x -> Factorisation(S, x));

Best wishes,

James

On Fri, 14 Jul 2017 at 12:08 Shubh Narayan Singh (Assistant Professor,
Mathematics) <shubh at cub.ac.in> wrote:

> Let M be transformation monoid generated by two transformations f and g on
> the finite set.
>
> Please can someone tell the gap code, if exists, for listing all the
> idempotents in terms of the transformations f and g.
>
>
> Thank you in advance.
>
> \-Shubh
>
>
>
> *-----------------------------------------------------Shubh Narayan Singh,
> Ph.D.Assistant Professor *
>
>
>
> *Department of MathematicsCentral University of South BiharPatna - 800
> 014-----------------------------------------*
> *e-mail: shubh at cub.ac.in <shubh at cub.ac.in>*
> *Mob:   +91- 8404934146 <+91%2084049%2034146>*
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum
>