Max Horn
Max Horn
I regret that I did not remember to bring this up during the last GAP days. Anyway, I might whip up a PR which does not disable this, just prints...
@laurentbartholdi the motivation is discussed at length in this PR (which is marked as "DO NOT MERGE", don't worry at this time). If we ever again think making a bigger...
It seems to me that there are two separate issues here: 1. Whether we should make any guarantees as to what `PreImagesRepresentative(hom, x)` should do if `not x in Image(hom)`...
@fieker this issue explains some of the trouble we had with the direct product preimages: some of the morphisms will simply error, some return fail, and some lead to wrong...
The issue @fieker and me run into (well, or at least *one* of the issues...) is in the following method (from `lib/mapphomo.gi`, line 388): ```gap InstallMethod( PreImagesSet, "method for injective...
For attributes, there is `ConvertToAttribute` which takes care of the "upgrade" of an operation to an attribute. It is backed by the kernel functions `OPER_TO_ATTRIBUTE` resp. `OPER_TO_MUTABLE_ATTRIBUTE`, which call into...
This would be really nice; quite some packages now spend several minutes in their tests to download and compile GAP and some packages, only to run 30 seconds of actual...
I think to fix this, we either need to add some additional arguments to `OrbitishFO`, or do some clever interpretation of the `reqs` argument, because it turns out that different...
Building `nq` fails...
In my original issue description, I referred to a library function `AllRepresentations`, but I can't find any trace of that?!? Anyway, here is how one can compute a list of...