eja: ensure that we can construct quaternion matrices over AA and RR.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 98314cea72c13f0d58a54f2e16ad0067e740336b..51c2a33b542569c431d986a0d165d8774b0d49eb 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -18,6 +18,4 @@
    So long as we can decompose the operator (which is invariant
    under changes of basis), who cares?
 
    So long as we can decompose the operator (which is invariant
    under changes of basis), who cares?
 

-8. Ensure that we can construct all algebras over both AA and RR.
-
-9. Check that our field is a subring of RLF.
+8. Check that our field is a subring of RLF.