[GAP Forum] Representation in terms of Generators

[Attila Egri-Nagy]

This code I tried in GAP 4.5.2, but it should work in GAP 4.4.12 as well.

S := Semigroup([Transformation([5,4,3,2,1]), Transformation([1,3,1,1,1])]);

o := Orb(S, IdentityTransformation(5), \*, rec(schreier:=true,
orbitgraph:=true));

Enumerate(o);

TraceSchreierTreeForward(o, Position(o, Transformation([1,1,1,3,1])));

The last command gives [ 1, 2 ] meaning f*g

However, your h is not in this semigroup.

best wishes,
Attila


On Mon, Jan 30, 2012 at 3:50 PM,  <shubh at iitg.ernet.in> wrote:
> Dear Sir,
> I have a finite transformation monoid M generated by two transformations
> f:=[2,3,4,5,1] and g:=[1,3,1,1,1]. Also I know that h:=[1,3,3,3,3] is in M
> with the help of GAP. I want a representation of h in terms of f and g.
>
> I have been using GAP4, Version: 4.4.12 and installed "orb package" as you
> told me. But I could not know how to give an input in GAP to get a
> representation of h in terms of f and g.
>
> Please explain by giving one such example.
>
> I would be very grateful to you.
>
> With regards,
> Shubh
>
> --
> Shubh N. Singh
> Research Scholar
> Department of Mathematics
> IIT Guwahati - 781039
> Email: shubh at iitg.ernet.in
> Mob. no.: +91-9864221370
>
>
>
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum