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 fb89e5edc905cea8475fb2349b3318e4aad22947..a5e81b910c68f59edb9d306b391d6d6f4b521f2c 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -7,6 +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). This
-   should be used to fix the fact that det(x) is monstrously slow in
-   Cartesian product algebras, and thus randomly in the doctests.
+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.