From 23ced4147cf68d9e5d7a00be958ad3c579436f50 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 6 Mar 2021 13:33:58 -0500 Subject: [PATCH] eja: add a randomly-failing test to the TODO. --- mjo/eja/TODO | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 2d93ffb..f34fc34 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -36,3 +36,11 @@ 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 9. Add HurwitzMatrixAlgebra subclass between MatrixAlgebra and OctonionMatrixAlgebra. + +10. Every once in a long while, the test + + sage: set_random_seed() + sage: x = random_eja().random_element() + sage: x.is_invertible() == (x.det() != 0) + + in eja_element.py returns False. -- 2.44.2