From e32c1c6bffd4cc58b870a4471e2c0577941c2425 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Wed, 4 Nov 2020 19:02:31 -0500 Subject: [PATCH] eja: remove one use of nontrivial=True passed to random_eja(). --- mjo/eja/eja_element.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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 -- 2.43.2