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=a339e89c225bb46379332ecb8b0c50b918d34ac6

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.