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, <sh...@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: sh...@iitg.ernet.in > Mob. no.: +91-9864221370 > > > > _______________________________________________ > Forum mailing list > Forum@mail.gap-system.org > http://mail.gap-system.org/mailman/listinfo/forum _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
