X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feuclidean_jordan_algebra.py;h=0b6b15da68fd4404f69ce094f4f96d07ad2c6adc;hb=4b1bdeb8c097e6c162cb0a32c07ba2740d89b1e5;hp=ce6f6e55e18b28aabea82c9118758c1dab061c28;hpb=3cee3d24af1c7606b4c2f30c16a7f6f3e51fd1bd;p=sage.d.git

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index ce6f6e5..0b6b15d 100644
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -39,6 +39,15 @@ class FiniteDimensionalEuclideanJordanAlgebra(FiniteDimensionalAlgebra):
     class Element(FiniteDimensionalAlgebraElement):
         """
         An element of a Euclidean Jordan algebra.
+
+        Since EJAs are commutative, the "right multiplication" matrix is
+        also the left multiplication matrix and must be symmetric::
+
+            sage: set_random_seed()
+            sage: J = eja_ln(5)
+            sage: J.random_element().matrix().is_symmetric()
+            True
+
         """
 
         def __pow__(self, n):