eja: expound on an existing TODO item.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 55a59a1c45a153c4de59bd8464a50c2fe404872d..a9158127e857ccea2b430dc60d91a0465b010480 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -1,5 +1,4 @@
-A. Make the subalgebra class work with any subalgebra (there's nothing
-   special except a_regular_element() in there).
+0. Add tests for orthogonality in the Peirce decomposition.
 
 1. Add CartesianProductEJA.
 
@@ -14,4 +13,6 @@ A. Make the subalgebra class work with any subalgebra (there's nothing
 
 6. Can we make the minimal and characteristic polynomial tests work
    for trivial algebras, too? Then we wouldn't need the "nontrivial"
-   argument to random_eja().
+   argument to random_eja(). This would also allow us to potentially
+   pass a "size" of zero to the other constructors in random_eja() --
+   a code path that is basically untested right now.