]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: fix the test for regularity of the zero element.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 30 Jul 2019 01:10:48 +0000 (21:10 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 30 Jul 2019 01:10:48 +0000 (21:10 -0400)
mjo/eja/eja_element.py

index 1b5e3149e8e804f410403c066cc7e483eaa42a61..a8594ca02688493355d9de5f867b3c0cfc1faf07 100644 (file)
@@ -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::