X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;h=3491b69230b0d430fdfa936b3399ebfc88259988;hb=c4b8297b7a7b3b3817b025c9241674f790aa0876;hp=575c2a4754ae261f284c53de4d423011c9bf5418;hpb=c16c11d5b4cd015b6d7516a175a92f46e03bd2d7;p=sage.d.git diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 575c2a4..3491b69 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -9,7 +9,7 @@ from sage.modules.with_basis.indexed_element import IndexedFreeModuleElement # TODO: make this unnecessary somehow. from sage.misc.lazy_import import lazy_import lazy_import('mjo.eja.eja_algebra', 'FiniteDimensionalEuclideanJordanAlgebra') -lazy_import('mjo.eja.eja_subalgebra', +lazy_import('mjo.eja.eja_element_subalgebra', 'FiniteDimensionalEuclideanJordanElementSubalgebra') from mjo.eja.eja_operator import FiniteDimensionalEuclideanJordanAlgebraOperator from mjo.eja.eja_utils import _mat2vec @@ -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()