eja: special subalgebra handling for Cartesian product EJAs.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 421e0e9450bd18bab8fc5b9f0c75c738df099080..a5e81b910c68f59edb9d306b391d6d6f4b521f2c 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -7,4 +7,11 @@
    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 derive from RationalBasisEJA or its as-yet-nonexistent
+   element class.
+
+6. Drop "FiniteDimensional" everywhere.