Friedrich Rober
Friedrich Rober
Sure I will do it and let you know when I am finished
So I fixed the above error, I will do a draft pull request soon. But maybe I encountered another error that is more irritating because it seems to contradict the...
Okay, so I understood this part correctly. Indeed, I think it should be more lenient with the number of generators for the covering group. Are there any known bounds on...
Maybe a stupid question: Is it true, that the number of generators increases strictly in each layer? This would give at least a weak criterion to return fail and to...
because as far I understand, the number of generators `n` is always chosen such that the resulting quotient has order `p^n`
Hi, I will try to clean up in time, but can only start working on this on Monday.
@fingolfin @hulpke, I adjusted the documentation of the method. Since I am not an expert of this implementation, I would really appreciate if someone can proof-read this. As far as...
Oh my sincere apologies, I was swallowed in other work and forgot about it. > In how far is this a bug that needs "fixing"? I mean, it seems unhelpful...