Thomas Breuer

I do not catch the point. This issue just discusses whether we should try to achieve that implications affect also types which were created before the implication got installed. Thus...

@zickgraf Thanks. According to your list: 1. Yes, either the behaviour of `InstallTrueMethod` must be adjusted to the documentation, or the other way round. 2. `Objectify` just sets a gives...

Thanks @ahulpke. Yes, in general it is advisable to switch from a f. p. group to something better if one wants to do involved computations such as automorphism group or...

There is already a special treatment of mappings from polynomial rings where images of the indeterminates are prescribed; the filter `IsPolynomialRingDefaultGeneratorMapping` is set by `AlgebraGeneralMappingByImages`. This approach could be generalized...

One thought about the question whether any matrix must be a collection: Take the C-MeatAxe programs as an example. They deal with questions about permutation modules and natural modules for...

I think that the heuristic tests used by `make check-manuals` are not very useful. For example, several of the abovementioned messages of the form `uses Oper instead of Attr` are...

Good idea. What was the aim of these HTML pages, perhaps to give a first impression about the different aspects of developing a GAP package, shorter (and hence less deterrent)...

Thanks, @ahulpke. Thus we can decide that `GroupHomomorphismByFunction` sets `IsPreimagesByAsGroupGeneralMappingByImages` only if the range is a permutation group. I will make some experiments what the consequences of such a change...

Concerning the question of default methods for GAP's constructors (operations created with `DeclareConstructor`), I think this is really not possible. In a call to such a constructor, the first argument...

The "alternate version" looks to me as follows. `DeclareFilterBasedOperation("NewIdentityMatrix", ...)` initializes the `OBJ_MAP` for `NewIdentityMatrix` and inserts the given default method. If we do not restrict the scope to `MatrixObj`...