README: rewrite it, it was rather out-of-date

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 82c49d53d883d40712b66897c115ed1e58fa430f..b0d5378fab6ed7c7c981aaf0fd9a044ca18a1b07 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -7,9 +7,14 @@
    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. 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. Add dimension bounds on any tests over AA that compute element
+4. Add dimension bounds on any tests over AA that compute element

    subalgebras.
    subalgebras.

+
+5. The rational_algebra() stuff doesn't really belong in classes that
+   don't derive from RationalBasisEJA or its as-yet-nonexistent
+   element class.
+
+6. Add special det/trace method overrides for the algebras where we
+   know them? The only reason this might be tricky is because the
+   obvious solution is to subclass EJAElement, but then we might
+   collide with e.g. the Cartesian product element subclass.