eja: make all tests work in trivial algebras.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 535ee9c94013ee4ca06d449a446292bb72df4a29..a9158127e857ccea2b430dc60d91a0465b010480 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -1,3 +1,5 @@
+0. Add tests for orthogonality in the Peirce decomposition.
+

 1. Add CartesianProductEJA.
 
 2. Check the axioms in the constructor when check != False?
 1. Add CartesianProductEJA.
 
 2. Check the axioms in the constructor when check != False?


@@ -11,4 +13,6 @@
 
 6. Can we make the minimal and characteristic polynomial tests work
    for trivial algebras, too? Then we wouldn't need the "nontrivial"
 
 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.