X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=38aa85bfe7a5c5ecc4b97c880c05533e42b5ad69;hb=4d0f89a814fe6ab91a17af023c35caefaada2893;hp=55a59a1c45a153c4de59bd8464a50c2fe404872d;hpb=5b62defe6caa66d0167214d557a2c3480393ad9e;p=sage.d.git

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 55a59a1..38aa85b 100644
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -1,5 +1,7 @@
-A. Make the subalgebra class work with any subalgebra (there's nothing
-   special except a_regular_element() in there).
+A. Add tests for orthogonality in the Peirce decomposition.
+
+B. Add support for a symmetric positive-definite bilinear form in
+   the JordanSpinEJA.
 
 1. Add CartesianProductEJA.
 
@@ -15,3 +17,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().
+
+7. Solve the charpoly system with A_of_x.solve_right(x_powers[r])
+   rather than dumbass Cramer's rule.