Tommy Hofmann
Tommy Hofmann
There is no easy way to get the maximal/prime ideal from a residue field map. We should add a method to do this. @simonbrandhorst suggested `kernel`. So that ``` F,...
Don't use `atexit`, since it runs before all objects finalizers.
At least they don't crash in the intialization. We should check whether they are working fully now.
Do this once https://github.com/JuliaLang/julia/pull/33284 is merged.
Currently `u = canonical_unit(r); r = mul!(r, r, u)` does not work generically, since for polynomials the canonical unit is an element of the base ring. We can either 1)...
We are still using this quite heavily in Oscar land, but after playing around with https://github.com/JuliaTesting/Aqua.jl (which helps detecting method ambiguities), I noticed that RandomExtensions.jl leads to a lot of...
- `pmaximal_overorder` requires a prime - since we don't want to factor, we compute a tame overorder @fieker: I think the code is still correct, but maybe you want to...
Looking at https://docs.oscar-system.org/dev/references/, it seems that for the link of an item the anchor (the thing I can click on) is either the title (maybe for books and things in...