From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 27 Jul 2019 12:54:31 +0000 (-0400)
Subject: eja: fix a busted operator inverse test.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=bbd022d622d9536dba19fd9ad0eabd7f0a693d2f;p=sage.d.git

eja: fix a busted operator inverse test.
---

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 30d04f4..35318e8 100644
--- 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
 
         """