Tommy Hofmann

> I must admit that I found the variant > > ``` > julia> Hecke.math_html(stdout, z+z^4) > -\zeta_{5}^{3} - \zeta_{5}^{2} - 1 > ``` > > nicer. We deliberately removed...

Yes, since one creates elements via `z(5)`, the last decision on this matter was to print it also as `z(5)` instead of `z_5`. Of course this is a bit odd...

I guess the MIME type is not part of the context? This would be the alternative.

Thanks. I intentionally did not update yet, waiting for you guys ironing out all the bugs first :)

> > Now If J is an ideal of S and we construct the quotient S/J, then this is automatically turned into R/(I+J). I understand that this is what is...

In case you need it, there is a (I think) nice example for what a ring should implement here: https://nemocas.github.io/AbstractAlgebra.jl/stable/ring_interface/#Minimal-example-of-ring-implementation. Also feel free to drop me a message on slack...

Hm, `S(mf)` does not feel right, since this might become illegal if `S` is changed, so does not really fit in our under-specified notion of "coercion". (For example, `hom(parent(data(f)), Sf)`...

I am sympathetic to this change, but it would mean fixing all `charpoly/characteristic_polynomial` calls with a single argument in Nemo/Hecke/Oscar (functions are not allowed to create cached objects). It becomes...

> I don't think we can do anything about `filter(..., partitions(3))`. From what I understand, `filter` works on collections but not on iterators. (If anyone knows better, please speak up!)...

> Indeed, meddling with Julia's own functions is probably unwise. The Julia doc about `filter` is not so clear to me: is says it can be applied to an "iterable...