eja: fix the test for regularity of the zero element.

[sage.d.git] / mjo / eja / eja_element.py

diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py
index 1b5e3149e8e804f410403c066cc7e483eaa42a61..a8594ca02688493355d9de5f867b3c0cfc1faf07 100644 (file)
--- 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::