eja: begin adding OctonionHermitianEJA.

[sage.d.git] / mjo / eja / TODO

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 900c31c4defccba0b8d2c2a3b83a835f447a81ef..2d93ffb38a772f9409ecdff4153e975cb7c02c0b 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -19,7 +19,8 @@ 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
 6. Instead of storing a basis multiplication matrix, just make
    product_on_basis() a cached method and manually cache its
    entries. The cython cached method lookup should be faster than a
-   python-based matrix lookup anyway.
+   python-based matrix lookup anyway. NOTE: we should still be able
+   to recompute the table somehow. Is this worth it?
 
 7. What the ever-loving fuck is this shit?
 
@@ -28,10 +29,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.