From f8b068735ac7cb1d78c0166fbccdc3498f6b165a Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 25 Feb 2021 16:49:48 -0500 Subject: [PATCH] eja: add another TODO I had forgotten. --- mjo/eja/TODO | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 90a49d3..0d6edf2 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -14,3 +14,9 @@ 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 5. Profile the construction of "large" matrix algebras (like the 15-dimensional QuaternionHermitianAlgebra(3)) to find out why they're so slow. + +6. We should compute whether or not the algebra is associative if it + is unknown. I guess the "associative" argument should be ternary + (True, False, None)? We should also figure out the correct + True/False values for the example classes, and of course add an + _is_associative() method. -- 2.43.2