From 873a294d201e0d8120fade5accfee72d053e9ab8 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 5 Jul 2019 11:21:24 -0400 Subject: [PATCH] eja: don't test for element matrix() symmetry (I don't think it holds). --- mjo/eja/euclidean_jordan_algebra.py | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py index 802171f..96b62a3 100644 --- a/mjo/eja/euclidean_jordan_algebra.py +++ b/mjo/eja/euclidean_jordan_algebra.py @@ -80,19 +80,6 @@ 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: n = ZZ.random_element(1,10).abs() - sage: J = eja_rn(5) - sage: J.random_element().matrix().is_symmetric() - True - sage: J = eja_ln(5) - sage: J.random_element().matrix().is_symmetric() - True - """ def __pow__(self, n): -- 2.44.2