Using QuaternionAlgebra, I can make and multiply matrices with quaternionic entries without difficulty. Using OctonionAlgebra, if I try to make a matrix I get a type error telling me that my algebra is not a ring. So far as I can track it down, Matrix_Spaces runs a test asking whether the algebra is in Rings. QuaternionAlgebras are; OctonionAlgebras are not.
Is there a reasonable way to work around this issue? Manually add my octonion algebra to Rings? Disable the type check in Matrix_Spaces?? Something else?
