Ulrich Thiel

> This PR now contains a lot of other changes not related to complex reflection groups. Could you try to rebase this onto a current master? I do not know...

I have no idea what all these changes are, I didn't change anything. I tried that rebase but it resulted in an error stopping somewhere in the middle of my...

Give me one last try. I didn't know about rebase --continue. Git noob.

Ok, is it better now? I have no idea what I just did. I had to resolve conflicts in Experimental.jl and oscar_references.bib several times. My tests passed and I could...

What I still want to do before a merge is the following: - [ ] Finish up documentation - [ ] Function to determine conjugacy classes of reflections and hyperplane...

> For me, the motivation is the discussion in [#3021 (comment)](https://github.com/oscar-system/Oscar.jl/pull/3021#discussion_r1399151945) and the subsequent discovery that we have at least three implementations of 'weak compositions of d in n parts'...

Oh, I see. I thought it would actually process it. (That's probably difficult when doing a "less" I suppose?)

Oh, I mentioned this long ago in #552 but forgot about it again...

I see, so let's summarize of what I want to do and then think about how generic this is. Take a Coxeter system (W,S). We don't have this yet, but...

Okay, maybe I create a BasedAlgebra structure by myself, maybe it's too special for AbstractAlgebra. For the future, is there a way to discuss such matters elsewhere? Opening an issue...