eja: tweak a zero test.

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index 8219c5b4ff32b7acdb55de21aac53f657a11b20f..ec692e4f93b8f015f8813eb2653e70a053b66dff 100644 (file)
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -2201,9 +2201,8 @@ class BilinearFormEJA(RationalBasisEuclideanJordanAlgebra):
         Return a random instance of this algebra.
         """
         n = ZZ.random_element(cls._max_random_instance_size() + 1)
-        if n == 0:
-            # Special case needed since we use (n-1) below.
-            B = matrix.identity(field, 0)
+        if n.is_zero():
+            B = matrix.identity(field, n)
             return cls(B, field, **kwargs)
 
         B11 = matrix.identity(field,1)