Thomas Breuer
Thomas Breuer
Yes, I will make a proposal for that. What about the idea to omit `Elements` (`Enumerator`) from the list of "nice monomorphism supported" operations, such that the generic method gets...
Yes. The point is that `abelian_group(PcGroup, [8])` would have to create a `PcGroup` whose generators correspond to the given element orders, in this case `[8]`; GAP's PcGroup objects do not...
Ah, and concerning the obvious question why `abelian_group(PcGroup, [8])` does not create an Oscar group with only one generators such that the underlying GAP group may have three generators: There...
@thofma The documentation of `abelian_group` says > The `gens` value of the returned group corresponds to `v`, that is, the number > of generators is equal to `length(v)` and the...
I had made the experiment to switch completely to `IsPcpGroup` groups as underlying groups on the GAP side, but we ran into GAP errors in our test examples. There is...
> Isn't the reverse function just `map_word`? The question refers to the (undocumented) method of `map_word` that takes a description of the word in question as its first argument (the...
@fieker What I wanted to say in the last sentence of my comment: For the case that the generator images are words, one can in principle provide a method that...
Since the question is about avoiding misunderstandings, `minimal_size_generating_set` is good from my point of view. I do not think that there is a general consensus in the literature about the...
@frankluebeck and I have discussed this yesterday, and it turned out that it is indeed possible to match class representatives of the natural alternating group with the class parameters of...