eja: add more TODOs, which are thankfully getting easier.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 421e0e9450bd18bab8fc5b9f0c75c738df099080..dc987dfe1b6dd3158b3caeb39ec777b7f8f4c7e9 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -7,4 +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. Conjecture: if x = (x1,x2), then det(x) = det(x1)det(x2).
+4. Add dimension bounds on any tests over AA that compute element
+   subalgebras.
+
+5. The rational_algebra() stuff doesn't really belong in classes that
+   don't dervice from RationalBasisEJA or its as-yet-nonexistent
+   element class.