ederc
ederc
[https://github.com/algebraic-solving/AlgebraicSolving.jl](https://github.com/algebraic-solving/AlgebraicSolving.jl)
To have some interface as @thofma suggested is something we are working on. Problem is (as I already commented on issue #1481) that we are still waiting for a rework...
@thofma In #1489 I have tried to implement an interface for `saturation` also taking care of monomial orderings as you suggested. As already mentioned, this needs to be generalized at...
@tthsqe12 I think 1) is what we wanted to get rid of moving from Singular to Oscar, I don't see this a to be possible solution. For 2) I think...
Having discussed this with @thofma I think this might be a good and more secure concept handling conversions.
Yes, let's wait for feedback from @wdecker.
In order to make the user interface consistent I have also updated `quotient` to allow a monomial ordering as an optional parameter.
@tthsqe12 Well, that's not easy to answer, I think there is no black and white. In some situation it might be a good idea to see what we have already...
I'm not sure I understand correctly but wouldn't it be more natural to have `base_ring(M) == R` and `coefficient_ring(M) == coefficient_ring(R)` ?
I see, alright.