ederc

Saturation with ordering

11

Adds a monomial ordering as optional parameter to saturation calls. This addresses #1487 , but needs to be generalized in the future when we allow different GB engines for computing...

msolve -> AlgebraicSolving

2

Introduces `AlgebraicSolving.jl`to Oscar. This package replaces the direct interface to `msolve` and will allow an easier deployment of upcoming features and algorithms based on `msolve`.

Sets poly ring caching to false for modules

5

See #2455. Again, some tests are failing due to different parent rings, thus I would like @jankoboehm and @HechtiDerLachs to have a look.

polynomial_ring cached=false for tropical geometry

4

See #2455. Tests need to be adjusted, maybe @YueRen can provide some help.

Sets poly ring caching to false for algebraic geometry

5

See #2455. Some tests needs adjustments, maybe @HechtiDerLachs can have a look.

Some tests have now problems with different parent rings, see discussion at #2455. Maybe @bschroter can help fixing the tests?

ModStd call

1

Adds `modStd` wrapper with number of cores and exactness as optional keyword arguments.

Modular Gröbner bases over Qt

2

Moves the experimental `ModStdQt` implementation to the Gröbner engine. There are still problems with bad primes, @fieker and I will further work on this, until then, this is just a...