X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=13b00ac6a3056eaf623ac5c2905be6c7d049706c;hp=900c31c4defccba0b8d2c2a3b83a835f447a81ef;hb=db1f7761ebf564221669137ae07476ea45d82a2c;hpb=a7092a728c3ec12b91afc0ad74d0831ae8153d02

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 900c31c..13b00ac 100644
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -28,10 +28,10 @@ sage: a0 = (1/4)*X[4]**2*X[6]**2 - (1/2)*X[2]*X[5]*X[6]**2 - (1/2)*X[3]*X[4]*X[6
        sage: e0*[[[[]]]]
        [[[[]]]]*e0
 
-8. Factor out a class for matrices with real embeddings (i.e. not the
-   octonions).
-
-9. In fact, could my octonion matrix algebra be generalized for any
+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.