]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: test that left-mult matrices are symmetric.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 24 Jun 2019 16:06:12 +0000 (12:06 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 29 Jul 2019 03:12:09 +0000 (23:12 -0400)
mjo/eja/euclidean_jordan_algebra.py

index ce6f6e55e18b28aabea82c9118758c1dab061c28..0b6b15da68fd4404f69ce094f4f96d07ad2c6adc 100644 (file)
@@ -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):