Dear Jan Philip, With the development version of the SgpDec package, https://bitbucket.org/dersu/sgpdec, you can simply do
gap> S1 := Semigroup(Transformation([5,4,2,2,2]), Transformation([2,3,4,4,5])); <semigroup with 2 generators> gap> S2 := Semigroup(Transformation([6,5,4,2,2,2]), Transformation([6,2,3,4,4,5])); <semigroup with 2 generators> gap> S1wrS2 := SemigroupWreathProduct(S1,S2); <wreath product of semigroups> gap> Size(S1wrS2); 9143008 This gives the wreath product represented as the full cascade product, definitions here: http://arxiv.org/abs/1303.0091 However, you already heard the bad news: it is in the development version. Please let me know if you need help to set it up. best, attila On Fri, May 10, 2013 at 9:11 PM, Jan Philipp Wächter <waech...@studi.informatik.uni-stuttgart.de> wrote: > > Hi, > > WreathProduct only accepts groups as arguments. Is there a way to calculate > the wreath product of two (finite) monoids? > > Regards, > Jan Philipp > > > _______________________________________________ > 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
