From c4b8297b7a7b3b3817b025c9241674f790aa0876 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 10 Nov 2019 09:10:43 -0500 Subject: [PATCH] eja: don't wait for a non-nilpotent element in trivial algebras. --- mjo/eja/eja_element.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 5b8bc1e..3491b69 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -1270,10 +1270,13 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(IndexedFreeModuleElement): sage: from mjo.eja.eja_algebra import random_eja - TESTS:: + TESTS: + + Ensure that we can find an idempotent in a non-trivial algebra + where there are non-nilpotent elements:: sage: set_random_seed() - sage: J = random_eja() + sage: J = random_eja(nontrivial=True) sage: x = J.random_element() sage: while x.is_nilpotent(): ....: x = J.random_element() -- 2.43.2