From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 6 Mar 2021 18:33:58 +0000 (-0500)
Subject: eja: add a randomly-failing test to the TODO.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=23ced4147cf68d9e5d7a00be958ad3c579436f50;p=sage.d.git

eja: add a randomly-failing test to the TODO.
---

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.