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