eja: fix a busted operator inverse test.

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 30d04f4a352b7d553470bd456d18d224e2ec5428..35318e8a91d370726dac0b64c461444ca6ceccc6 100644 (file)
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -184,13 +184,17 @@ class FiniteDimensionalEuclideanJordanAlgebraMorphism(FiniteDimensionalAlgebraMo
             [   1    0    0]
             [-1/2    0  1/2]
 
-        TESTS::
+        TESTS:
+
+        Beware, ``x`` being invertible isn't sufficient for its operator
+        to be invertible below::
 
             sage: set_random_seed()
             sage: J = random_eja()
             sage: x = J.random_element()
-            sage: not x.is_invertible() or (
-            ....:   (~x.operator()).matrix() == x.operator_matrix().inverse() )
+            sage: id = J.Hom(J).one()
+            sage: not x.operator_matrix().is_invertible() or (
+            ....:     ~x.operator()*x.operator() == id )
             True
 
         """