eja: add another TODO item.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 9edb3790ca89f859627c43e59db540b716fe5f16..82c49d53d883d40712b66897c115ed1e58fa430f 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -7,11 +7,9 @@
    the nontrivial factor. On the other hand, it's nice that we can
    test out some alternate code paths...
 
    the nontrivial factor. On the other hand, it's nice that we can
    test out some alternate code paths...
 

-4. Can we hit "x" with the deortho matrix and delegate to the
-   _rational_algebra to speed up minimal_polynomial?
+4. Conjecture: if x = (x1,x2), then det(x) = det(x1)det(x2). This
+   should be used to fix the fact that det(x) is monstrously slow in
+   Cartesian product algebras, and thus randomly in the doctests.

 
 

-5. In CartesianProductEJA we already know the multiplication table and
-   inner product matrix. Refactor things until it's no longer
-   necessary to duplicate that work.
-
-6. Figure out how to remove Unital() from subalgebras.
+5. Add dimension bounds on any tests over AA that compute element
+   subalgebras.