eja: add TODON'T use Cramer's rule.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 207c06d9156b38ac485f2de3a4d836089aa68d0b..38aa85bfe7a5c5ecc4b97c880c05533e42b5ad69 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -1,5 +1,8 @@
 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.
 
 2. Check the axioms in the constructor when check != False?
@@ -14,3 +17,6 @@ A. Add tests for orthogonality in the Peirce decomposition.
 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.