Tommy Hofmann
Tommy Hofmann
The Oscar Singular translation works by translating the coefficient field/ring. Translating a single ideal in an ad hoc fashion does not really fit into this setup.
Hm, `isomorphism(MatrixGroup, W)` should do something mathematical, that is, finding (implicitly) one faithful matrix representation (over what field exactly?). This might not be the matrix group that you want. What...
Yes, I think I understand what you mean. What I mean is that the description of what `isomorphism(MatrixGroup, W)` does should not involve `GAP.Globals.IsMatrixGroup`. It should fit into the following...
This is the same as `isomorphism(MatrixGroup, W)`, see the docstring lines that I did not paste: ``` isomorphism(::Type{T}, G::GAPGroup) where T
We can try to cook something up (after certain deadlines have passed), but I am not sure what to address exactly. Is the existence of caching surprising or the non-existence?...
Conclusion of the meeting: The request is to have a table of functions which support caching and some explanation.
I guess we should assert that `phi(f)`is indeed in the codomain. In case the coefficient ring map is specified by an arbitrary (julia) function, there is not much else we...
> It seems like it could be really costly to check that `phi(x)` is in the codomain every time the map was invoked. I am not sure about other types,...
Just add the check `parent(phi(x)) ==` unconditionally.
@ederc or @jankoboehm: Is there a way to set a universal Gröbner basis of an ideal (see the comment in the code)?