Matrices over noncommutative rings

[kalmarek]

Algorithms for matrix spaces over non-commutative rings:

One solution would be to add another abstract type Group :> Ring :> CRing :> ... and write algorithms for Rings without assuming commutativity, while those (simpler/faster??) assuming commutativity should dispatch after CRings(Elems).

[wbhart]

This is indeed the right way to do it. But we lack the mathematics for some of the operations. Addition, multiplication and simple things like that should be possible to do without any problems.

…

On 11 July 2017 at 10:16, kalmarek ***@***.***> wrote: Algorithms for matrix spaces over non-commutative rings: One solution would be to add another abstract type Group :> Ring :> CRing :> ... and write algorithms for Rings without assuming commutativity, while those (simpler/faster??) assuming commutativity should dispatch after CRings(Elems). — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#208>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAOzpohXLyO81gadLBNx3vS1EXHWvTjPks5sMy9mgaJpZM4OT4Ya> .

[wbhart]

We now have non-commutative rings, so I'm changing the title to reflect the original problem that was being raised.