the skeleton command fails for a transformation semigroup all of whose generators are the identity on the state set #30

Activity

1. nehaniv

   changed the title [-]the skeleton command fails for a semigroups all of whose generators are the identity on the state set[/-] [+]the skeleton command fails for a transformation semigroup all of whose generators are the identity on the state set[/+] on May 14, 2025
2. egri-nagy commented on Jun 20, 2025

   

   egri-nagy

   on Jun 20, 2025

   Contributor

   More actions

   The problem is that the identity has degree zero, messing with the skeleton algorithm.

   gap> DegreeOfTransformation(IdentityTransformation);
   0
   gap> List(FullTransformationSemigroup(3), DegreeOfTransformation);
   [ 3, 3, 2, 3, 3, 0, 3, 3, 3, 3, 3, 2, 3, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3 ]
   

   What is the use case? What would be the desired behaviour?