From 23ced4147cf68d9e5d7a00be958ad3c579436f50 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
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.43.2