From: Michael Orlitzky Date: Tue, 25 Jun 2019 03:08:24 +0000 (-0400) Subject: eja/euclidean_jordan_algebra.py: remove symmetry test that don't work. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=03e10c604439fb14dfe7010e3d69b0340987c9cb;p=sage.d.git eja/euclidean_jordan_algebra.py: 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. --- 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()