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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 1ba2a46..13b00ac 100644
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -28,13 +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...
 
-10. Add HurwitzMatrixAlgebra subclass between MatrixAlgebra and
-    OctonionMatrixAlgebra.
+9. Add HurwitzMatrixAlgebra subclass between MatrixAlgebra and
+   OctonionMatrixAlgebra.