Open kalmarek opened 7 years ago
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 notifications@github.com 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 https://github.com/Nemocas/Nemo.jl/issues/208, or mute the thread https://github.com/notifications/unsubscribe-auth/AAOzpohXLyO81gadLBNx3vS1EXHWvTjPks5sMy9mgaJpZM4OT4Ya .
We now have non-commutative rings, so I'm changing the title to reflect the original problem that was being raised.
Algorithms for matrix spaces over non-commutative rings:
One solution would be to add another abstract type
Group :> Ring :> CRing :> ...
and write algorithms forRings
without assuming commutativity, while those (simpler/faster??) assuming commutativity should dispatch afterCRings(Elems)
.