X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;h=3491b69230b0d430fdfa936b3399ebfc88259988;hb=372770929343f5a75e8e8231894b466b3382dd9d;hp=5b8bc1e98a58ef03234e8a966a75eefd859c461c;hpb=d6d7353ccdcd1ab58c5f0e4621cb114e4a8c65ed;p=sage.d.git 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()