Thomas Breuer

@ChrisJefferson > With regards the meaning of '\c', can you point me to where it is documented? I couldn't find it anywhere. See the Reference Manual section on "Special Characters":...

Concerning the example `Matrix(Integers, [[1, 1], [2, E(8)]])`, this input must yield either an error or `fail`, and the documentation of `Matrix` must state what happens in such cases. Currently...

Are we sure that removing the method in question from `lib/arith.gi` will not break some users' code? (I agree that this method is likely to do something that is not...

@james-d-mitchell Thanks. Yes, eventually this PR should be merged, but for the moment merging just #4767 is safer.

@fingolfin No, I thought that `EpimorphismPQuotient` should take the same arguments as `PQuotient` but return the epimorphism that is constructed by `EpimorphismQuotientSystem`. Concerning `PQuotient` vs. `Pq`, already cross-references in the...

@ahulpke I think that the current names can be kept without problems, since they are not wrong or misleading. My idea is that once we have a consistent list of...

It is fine to have two functions for the two purposes of property declarations. The main point is that GAP can detect (on startup or when a package gets loaded)...

Concerning the idea to replace also `SUM` by `\+` etc., there are situations where names involving backslashes are not supported. For example in the GAP-Julia integration, we can write `GAP.Globals.SUM`,...

@hulpke I interpret your comment as the proposal to introduce an attribute `MonomorphismPermGroup`, and to recommend using this instead of `IsomorphismPermGroup`, at least in situations where one works with several...

@hulpke Thanks. I understand your step 1 as follows: Copy the existing methods for `PreImagesRepresentative`, install them for a new operation `PreImagesRepresentativeNC`, and document this new operation such that the...