Tommy Hofmann
Tommy Hofmann
To all lovers of maps, there are some questions that came up during @ThomasBreuer recent cleanup of the julia GAP conversions. Suppose that `f` is a `Map` with proper domain...
Just a little heads-up. If no one objects I will change `MapFromFunc(f, [g], C, D)` to `MapFromFunc(C, D, f, [g])` . I don't expect this to be a controversial change....
At the moment one can throw everything into the function returned by `iso_oscar_gap` which has the correct type. But it is not checked whether the argument is in the domain....
I was looking at the matrix group example of @joschmitt & @ulthiel. I boiled it down to the following example for finite matrix groups: ```julia julia> k = GF(3) Galois...
So that I don't forget about it, here is a small feature request relating to some topic in *the* book: Given a finite group `G`, I would like to have...
I have a few question about the design of the automorphism groups. Assume I have a group `G` and do `A = automorphism_group(G)`. I am assuming that this is our...
In a recent PR #214 we had to disable the following tests to get everything passing: https://github.com/oscar-system/Oscar.jl/blob/b13dcebcac8fcfb824a21e191a2d38e499b0cbab/test/Examples/ModStdQt-test.jl#L10-L13 It seemed that the calls were hanging forever. Not sure if something got...
@tthsqe12 ```julia julia> A, t = PolynomialRing(QQ, ["t"]) (Multivariate Polynomial Ring in t over Rational Field, fmpq_mpoly[t]) julia> R, (x,y,z) = PolynomialRing(A, ["x", "y", "z"]) (Multivariate Polynomial Ring in x,...
I added `Deprecations.jl`, but did not want to move all of them in the otherwise unrelated PR. So here is just a reminder to add the following: - [ ]...
# The problem Currently, we have one method to print parent objects, which is used everywhere. This has a major drawback, since the julia printing system often expects that objects...