Tommy Hofmann

Thanks for the report! I have looked a bit into it. The error persists even if Oscar is stripped down to ```julia module Oscar end ``` The error was gone...

You can do `embed(F, FF)`. This is safe to use.

This finite field infrastructure is currently worked on (revamping the embedding code is on my list, right after https://github.com/Nemocas/Nemo.jl/pull/1331) and I believe some things will change. So I would be...

> Places that say `compose(f,g) = f(g(x) = (x^g)^f`: > > * [`compose` for `PolyElem` in AA](https://oscar-system.github.io/Oscar.jl/dev/AbstractAlgebra/polynomial/#compose-Tuple%7BPolyElem,%20PolyElem%7D) > * [`compose` for `RelSeriesElem ` in AA](https://oscar-system.github.io/Oscar.jl/dev/AbstractAlgebra/series/#Composition) > * [`compose` for (GAP)...

The documentation says `compose(f, g)(x) = g(f(x))`. (It actually says `compose(g, f) = f(g(x))` but in the comparison in OP you have `f` as the first argument). The documentation says...

OK, let me try to remember. Under "Places that say `compose(f,g) = f(g(x) = (x^g)^f:`" you mention as the third item [compose for (GAP) groups in Oscar](https://oscar-system.github.io/Oscar.jl/dev/Groups/grouphom/#Operations-on-homomorphisms), which as the...

> If the representations are independent in the sense that the entries of the matrices of two different representations lie in different number fields then it is not possible to...

So, this PR here is not for comments on the code right? Because this draft here builds upon #1242? > Ok, that should be no problem. But this should better...

Due to its design, julia encourages composition over inheritance (this is not something julia specific, but inhertiance vs. composition is a more general discussion, see the "COMPOSITION VS INHERITANCE" section...

I am currently changing it such that the only groups leaking from Hecke into Oscar are the abelian ones. I will adjust them so that the functions use the same...