From 6d4b7ff3cf1b285953f0f3d3c5797067c0f52587 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 24 Jun 2019 23:08:24 -0400 Subject: [PATCH] eja: remove symmetry test that don't work. I don't know why, but the multiplication table of a commutative algebra doesn't have to be symmetric. I'll think about this later. In the meantime, don't crash about it. Postscript (a month later): left-multiplication and right-multiplication are the same in the EJA, but not necessarily for the matrices that represent them. It was wrong to conflate the two concepts in the first place. --- mjo/eja/euclidean_jordan_algebra.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py index a1b28a2..849243c 100644 --- a/mjo/eja/euclidean_jordan_algebra.py +++ b/mjo/eja/euclidean_jordan_algebra.py @@ -27,10 +27,6 @@ class FiniteDimensionalEuclideanJordanAlgebra(FiniteDimensionalAlgebra): b.set_immutable() if not (is_Matrix(b) and b.dimensions() == (n, n)): raise ValueError("input is not a multiplication table") - if not (b.is_symmetric()): - # Euclidean jordan algebras are commutative, so left/right - # multiplication is the same. - raise ValueError("multiplication table must be symmetric") mult_table = tuple(mult_table) cat = MagmaticAlgebras(field).FiniteDimensional().WithBasis() -- 2.44.2