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.

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index a1b28a20b8d7a8a487212e1e2da800b76c750edd..849243c81d56a2781a8b0abe5c9e6ae795f264eb 100644 (file)
--- 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()