Johannes Schmitt

Ah, great. Thank you!

I made a quick-and-dirty wrapper of the Singular functionality in #1438 . But this should certainly be better integrated for other users to find it (by a person who knows...

> @joschmitt If it is not urgent, I would wait with the renaming PR. No problem. I wasn't aware of a bigger issue behind this.

It makes it really hard to write "generic" code. I have a function that takes a (finite) matrix group and computes the abelianization and then turns it into a `GrpAbFinGen`....

One thing I would like to add is that there should be some "limit" how big the prints of substructures are allowed to be. For example, for a quotient ring...

Okay, so what I have here is probably not what we want (at least for the `MPolyIdeals`). But I think it would be good if there were a more compact...

Yes, I think this would be much better. I still find the way `MPolyIdeals` are printed, i.e. `ideal(x, y)`, quite awkward. I would prefer something like `Ideal generated by x,...

Just to record the state of this pull request: should NOT be merged. Once we reached a consensus regarding the discussion in #1540 , I'm happy to implement that solution...

I would like to open up this discussion again so we don't have to do it all on Friday. From what I can see, most people in this thread agree...

I guess this is (one of the many...) special cases of #2166. There is just one `show` function for `IdealGens` which basically does what is nowadays called "detailed mode".