From e5b0be0dcbe6cbce15e0b9974fcfb6626f4afda0 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 9 Mar 2021 00:37:13 -0500
Subject: [PATCH] eja: add a TODO for the morning.

---
 mjo/eja/TODO | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 310e307..39daf2a 100644
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -36,3 +36,7 @@ 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: x.is_invertible() == (x.det() != 0)
 
    in eja_element.py returns False.
+
+8. The definition of product_on_basis() and the element constructor
+   for MatrixAlgebra are totally wrong. There's no reason to expect
+   a product of monomials to again be plus/minus a monomial.
-- 
2.43.2