From: Michael Orlitzky <michael@orlitzky.com>
Date: Thu, 5 Nov 2020 00:02:31 +0000 (-0500)
Subject: eja: remove one use of nontrivial=True passed to random_eja().
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=e32c1c6bffd4cc58b870a4471e2c0577941c2425;p=sage.d.git

eja: remove one use of nontrivial=True passed to random_eja().
---

diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py
index 0953b2f..cf213a7 100644
--- a/mjo/eja/eja_element.py
+++ b/mjo/eja/eja_element.py
@@ -1318,12 +1318,13 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(IndexedFreeModuleElement):
         TESTS:
 
         Ensure that we can find an idempotent in a non-trivial algebra
-        where there are non-nilpotent elements::
+        where there are non-nilpotent elements, or that we get the dumb
+        solution in the trivial algebra::
 
             sage: set_random_seed()
-            sage: J = random_eja(nontrivial=True)
+            sage: J = random_eja()
             sage: x = J.random_element()
-            sage: while x.is_nilpotent():
+            sage: while x.is_nilpotent() and not J.is_trivial():
             ....:     x = J.random_element()
             sage: c = x.subalgebra_idempotent()
             sage: c^2 == c