]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: remove one use of nontrivial=True passed to random_eja().
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 5 Nov 2020 00:02:31 +0000 (19:02 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 5 Nov 2020 00:02:31 +0000 (19:02 -0500)
mjo/eja/eja_element.py

index 0953b2f27d67d059e88588fc9adb1f3081fdecc6..cf213a7a0f85d2e6eeb0edb13cba14b2bd8a49d6 100644 (file)
@@ -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