-8. Add back the check_field=False and check_axioms=False parameters
- for the EJAs we've constructed ourselves.
+7. What the ever-loving fuck is this shit?
+
+ sage: O = Octonions(QQ)
+ sage: e0 = O.monomial(0)
+ sage: e0*[[[[]]]]
+ [[[[]]]]*e0
+
+8. In fact, could my octonion matrix algebra be generalized for any
+ 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...
+
+9. Add HurwitzMatrixAlgebra subclass between MatrixAlgebra and
+ OctonionMatrixAlgebra.