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

How to use the DotCascade() method to visualise a holonomy decomposition #29

Open thelinuxmaniac opened 5 days ago

thelinuxmaniac commented 5 days ago

I am using GAP version 4.13.1 and sgpdec 1.1.0 package on a x86_64 machine running Debian 12 operating system. I want to generate the cascade diagram similar to Figure 2 and Figure 3 as shown in this paper written by the authors of the sgpdec package. I think I need to use the DotCascade() function. However, I do not know how the generate the cascade that is required by this function.

Here is an example of what I am doing.

gap> T := FullTransformationSemigroup(3);
<full transformation monoid of degree 3>
gap> h := HolonomyCascadeSemigroup(Skeleton(T));
<cascade semigroup with 3 generators, 2 levels with (3, 2) pts>
gap> DisplayHolonomyComponents(Skeleton(T));
1: (3,S3)
2: (2,C2)
gap> DotCascade( ??? ); # What should I provide in order to generate the cascade diagram?

I would really appreciate any tips or advice.