Revision history [back]

Thanks for the report! That's a trivial not implemented feature: this abelian group should be in the finite group category. It would then take advantage of the "semigroup_genrators" implemented there which uses the fact that, for a finite group, the group generators are also semigroup generators.

I have made this #15140.

Thanks for the report! That's a trivial not implemented feature: this abelian group should be in the finite group category. It would then take advantage of the "semigroup_genrators" implemented there which uses the fact that, for a finite group, the group generators are also semigroup generators.

I have made this #15140.

ag2.semigroup_generators = ag2.group_generators
ag2.cayley_graph()