Tommy Hofmann
Tommy Hofmann
@tthsqe12 can you have a look? That would be great.
@joschmitt If it is not urgent, I would wait with the renaming PR.
Yes, I think this is also #975 and #976 :-(
Good question! I am afraid that we are not quite consistent, but there are many places where we do keek the raw input around: ```julia julia> Qx, (x,) = PolynomialRing(QQ,...
Is this still an issue? I forgot how to create an example. Please close if this is fixed.
I don't see the harm in `QQBar` and I can't think of other examples than `ZZ` and `QQ` fitting these criteria. So should the limit just be 2? Or we...
I don't understand the Oscar init file. If it is per user, it should go into `$JULIAHOME/startup.jl`. Otherwise it is just somewhere in Oscar.
I see. But I have some reservations about Oscar loading random files. I am also not sure what loading means. Load into which namespace? To move forward we can 1....
@joschmitt and myself have been extending them recently for applications in invariant theory. We only added what we needed. Which functionality do you need?