Tommy Hofmann

That is just the normal julia "no copy on construction" behavior which is unrelated to aliasing questions I believe. I am happy to review/discuss any proposal to have a consistent...

I think mathematically this would be the "total ring of fractions". I think it is a bit more delicate then just looking for impossible inverses. For example, at the moment...

What is the most generic way that you think of? Arbitrary module M and algebra structure defined by a bilinear map/linear map on M x M/M \otimes M? Are structure...

Do I understand correctly that this is a way to do traits without doing traits? One question I have is: Does this scale? If we put `exact/inexact` in there, what...

OK. (I was not aware that the lack of distinguishing exact and inexact is one of the two main things holding us back as a project.) I guess this will...

Yes, the linear algebra solving part needs some love. There will be a `can_solve` (something in that direction), which gives you both the bool and a solution. We have this...

The methods are in principle at https://github.com/thofma/Hecke.jl/blob/master/src/Misc/Matrix.jl#L1759-L1787, but as you/we noticed they are probably transposing too much :) It is a bit messy to get all the combinations of left/right...

I agree that we should add it. I started a discussion over at https://github.com/oscar-system/Oscar.jl/issues/1505, since it has to be coordinated with some other packages.

I think @fieker was playing with power series over padics? Something exotic if I remember correctly.

Yes, `Map{Group, Group}` can still be constructed. If we insist that `D` and `C` really are the types of the domain and codomain (which we should), I think believe the...