non-unital comm (semi)ring

Stream: Is there code for X?

[Jireh Loreaux]

I guess we don't have non_unital_comm_semiring or non_unital_comm_ring, right? We'll need these to, for example, talk about C₀(α, ℂ) as a non-unital commutative C∗-algebra. Is there a good reason why comm is not a mixin? Or is just a historical accident?

[Eric Wieser]

Well, we have docs#is_commutative

[Eric Wieser]

But the refactor it was introduced as part of was abandoned

[Jireh Loreaux]

Okay, I am planning on not defining non_unital_non_assoc_comm_(semi)ring, because (a) I can't think of any specific instances where it's applicable, and (b) who in the world ever uses a commutative but non-associative multiplication in a ring?

[Junyan Xu]

https://en.m.wikipedia.org/wiki/Jordan_algebra
https://en.m.wikipedia.org/wiki/Mutation_(Jordan_algebra)

[Eric Wieser]

docs#jordan_ring

[Eric Wieser]

Ah, I guess the PR is still open