search

gap-packages / sgpdec

GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
https://gap-packages.github.io/sgpdec/
Other
18 stars 3 forks source link

Generator set for wreath product #5

Open egri-nagy opened 8 years ago

egri-nagy commented 8 years ago

Simple example shows that it is not enough to take ActionRepresentatives.

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

Example is from GAP Forum by Jan Philipp Wächter.

Quick fix: we take all points. Many more generators, but guaranteed result. Needs more investigation.