Alexander Hulpke

That should be changed in the documentation (i.e. behavior is undefined if the element is not in the image). Testing for membership would give a very significant performance penalty in...

The problem in handling case 2 cleanly is where the error is triggered, and how the method knows that that the element is not in the image. If we can...

Does this mean we should have two functions, one that works for any situation, and takes the pre-image of Image\cap Set, and another (possibly faster) one that assumes without check...

Given the pain it causes and the limited cleverness it provides, is it actually worth to keep the `OrbitishFO` setup, or would it be worth to simply go back to...

Since this is already fixed in master, I close

There is `PseudoRandom`, though for matrix groups over the integers this often produces entries with 100000s of digits. What I have been doing in such situations is to use `PseudoRandom`...

Basically the question is on the purpose of `ImmutableMatrix`. My interpretation, since (e.g.) `Group` or `GModuleByMats` call it, was that it was to bring matrices into a good representation for...

The only thing I noted is that the special code for the symmetric group reduces nicely to conjugacy in a (much smaller) group of degree 375. Then that smaller backtrack...

Just as brief note on the deg 31 example: This is purely a backtrack issue, as the groups are doubly transitive of degree 31. I suspect that no reduction strategy...

@DominikBernhardt I would not recommend it as a general method, unless your groups are very similar, but it might be worth a try. (What is missing is a way to...