From 1bbade9f41ffbfe366b15d0db657f666bc1f025d Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 9 Mar 2021 16:52:57 -0500
Subject: [PATCH] eja: remove a completed TODO.

---
 mjo/eja/TODO | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 310e307..07c85b5 100644
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -24,11 +24,6 @@ sage: a0 = (1/4)*X[4]**2*X[6]**2 - (1/2)*X[2]*X[5]*X[6]**2 - (1/2)*X[3]*X[4]*X[6
        sage: e0*[[[[]]]]
        [[[[]]]]*e0
 
-6. Can we convert the complex/quaternion algebras to avoid real-
-   (un)embeddings? Quaternions would need their own
-   QuaternionMatrixAlgebra, since Sage matrices have to have entries
-   in a commutative ring.
-
 7. Every once in a long while, the test
 
        sage: set_random_seed()
-- 
2.43.2