Johannes Schmitt

I ran the tests in `test/AlgebraicGeometry/Schemes/elliptic_surface.jl` a few times. It got stuck twice (out of ~30 attempts) in the testset `elliptic parameter`. By 'stuck' I mean that it took more...

More digging: after some attempts, `saturation` was called with an ideal with three generators in three variables of degrees 124, 126 and 38. I have a file with the generators...

Another occurence (on macOS): https://github.com/oscar-system/Oscar.jl/actions/runs/7585991305/job/20663114060?pr=3213

I added some description of the different ways 'caching' occurs in OSCAR (at least the ones I'm aware of), I hope you don't mind @aaruni96. This is just reflecting my...

> We went through great pains to not make orderings part of the polynomial ring and now we reintroduce it? We could have saved a lot of time and discussions....

> It's a bad name, what about `with_ordering(Ring, ordering) do` this would semantically not imply that we change any ring at all (that would be magic behind the scene) and...

What is the status? Does this need to be discussed further (if so, by whom)? Or is there a decision in either direction?

I added a backport label because this constitutes a bugfix. If this gets backported, then #3727 should also be backported.

One could easily extend the signature of the `det` method in `src/TropicalGeometry/matrix.jl` to also work for polynomials over a tropical semiring. Is that what we want?

The generic `minors` only needs a suitable `det` method. Since I have barely a vague idea about this tropical stuff: @YueRen does extending the signature of `det` as proposed https://github.com/oscar-system/Oscar.jl/issues/3714#issuecomment-2104274025...