Johannes Schmitt

Closed via #1972 .

I just stumbled upon this and have the impression it can be closed? 1. Works by now. 2. Cannot be done better as far as I understand @thofma's comment. 3....

This has been fixed/became obsolete by the 'new' monomial orderings. The matrix orderings are documented here (with an example): https://docs.oscar-system.org/dev/CommutativeAlgebra/GroebnerBases/orderings/#Matrix-Orderings .

This is documented: https://github.com/oscar-system/Oscar.jl/blob/5b325bd343faabc9659f4a5d47c1d0ea094e7253/src/Groups/homomorphisms.jl#L746 There is just no chance to find it because the doc string is attached to a very weird signature as far as I can see.

The change to `minimal_primes` changes the ordering in one of the book tests. How do we handle this again? Otherwise I would like to have this in, so that the...

I adjusted the output of the failing book test.

I close this now since it's probably easier to start fresh for the new printing guidelines #2148 , see #2166 .

I really don't know this stuff, but I could reproduce the problem in locally build docs and got the following error message in the "developer tools" of firefox: ``` Uncaught...

@Lax202 I just pushed a commit to resolve the conflicts.

Here is a minimal "non-working" example that produces the error: ``` julia> F = GF(29); julia> R, (x, y, z) = F["x", "y", "z"]; julia> Q, _ = quo(R, ideal(R,...