eja: test the nonnegativity of trace() for squares.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 82c49d53d883d40712b66897c115ed1e58fa430f..f4b9515c4ed643bd1f9a13c6fc0d6cefa3d32879 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -7,9 +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). 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.