From 4b1bdeb8c097e6c162cb0a32c07ba2740d89b1e5 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 24 Jun 2019 12:06:12 -0400 Subject: [PATCH] eja: test that left-mult matrices are symmetric. --- mjo/eja/euclidean_jordan_algebra.py | 9 +++++++++ 1 file changed, 9 insertions(+) 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): -- 2.44.2