X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;h=cf213a7a0f85d2e6eeb0edb13cba14b2bd8a49d6;hb=e32c1c6bffd4cc58b870a4471e2c0577941c2425;hp=0953b2f27d67d059e88588fc9adb1f3081fdecc6;hpb=4d0f89a814fe6ab91a17af023c35caefaada2893;p=sage.d.git 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