From: Michael Orlitzky Date: Thu, 25 Feb 2021 21:49:48 +0000 (-0500) Subject: eja: add another TODO I had forgotten. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=f8b068735ac7cb1d78c0166fbccdc3498f6b165a;p=sage.d.git eja: add another TODO I had forgotten. --- 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.