Janko Boehm

It fixes the print function for complexes (so printout will change), introduces functions for map and object range, and to extract parts of the complex using map and object range,...

No it should not. We have to check, it can be that we have to do an update on the OSCAR side.

We will make the PR for OSCAR. Once everyhting is right there this one can be merged. Then the one in Oscar.

For modules we have a field default_ordering to handle this issue. If an ordering independent command (which hence should not have an ordering argument) like ideal or module operations is...

Then it depends on the command which of the two you should take and the command should do that accordingly. But typically that should not happen since the field is...

We will need the filtered case in various settings (singularities and lots more), so we should definitely keep it somehow. There also went quite some work into it in particular...

I agree with @thofma, @simonbrandhorst and @StevellM in what we should get mathematically. In fact for modules (ModuleFP) this is the case, we construct the direct_sum and get in addition...

I guess since you want both the projections and injections? But that is not what I would expect and also was suggested above (and is implemented for direct_sum and direct_product,...

As far as I remember there was somewhere the idea that the monomials command allows you to get the monomials in the right ordering, as a substitute of the polynomials...

As of discussion at Singular coding sprint, should be resolved to a sufficient level by PR #2535 and PR #2499.