X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;h=a8594ca02688493355d9de5f867b3c0cfc1faf07;hb=fb62f0efeab4e93afcbdd5c1828f28d527ef3ddf;hp=1b5e3149e8e804f410403c066cc7e483eaa42a61;hpb=f9e1e977040c2c3b1019a0bcc5776384a13e96c4;p=sage.d.git diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 1b5e314..a8594ca 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -627,12 +627,13 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(FiniteDimensionalAlgebraEle TESTS: - The zero element should never be regular:: + The zero element should never be regular, unless the parent + algebra has dimension one:: sage: set_random_seed() sage: J = random_eja() - sage: J.zero().is_regular() - False + sage: J.dimension() == 1 or not J.zero().is_regular() + True The unit element isn't regular unless the algebra happens to consist of only its scalar multiples::