From: Michael Orlitzky Date: Tue, 30 Jul 2019 01:10:48 +0000 (-0400) Subject: eja: fix the test for regularity of the zero element. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=fb62f0efeab4e93afcbdd5c1828f28d527ef3ddf;p=sage.d.git eja: fix the test for regularity of the zero element. --- 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::