algebra of matrices over the reals whose entries are not real? Then
we wouldn't need real embeddings at all. They might even be fricking
vector spaces if I did that...
+
+10. Add HurwitzMatrixAlgebra subclass between MatrixAlgebra and
+ OctonionMatrixAlgebra.