Friedrich Rober

Results 8 comments of 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...