eja: add "check" parameter to check if our field is real.

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

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 51c2a33b542569c431d986a0d165d8774b0d49eb..b2495b59f3264e5d638a59f6630daa77214cdb50 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -17,5 +17,3 @@
 7. Do we really need to orthonormalize the basis in a subalgebra?
    So long as we can decompose the operator (which is invariant
    under changes of basis), who cares?
-
-8. Check that our field is a subring of RLF.