From fb62f0efeab4e93afcbdd5c1828f28d527ef3ddf Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 29 Jul 2019 21:10:48 -0400 Subject: [PATCH] eja: fix the test for regularity of the zero element. --- mjo/eja/eja_element.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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:: -- 2.43.2