]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja/euclidean_jordan_algebra.py: remove symmetry test that don't work.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 25 Jun 2019 03:08:24 +0000 (23:08 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 25 Jun 2019 03:08:24 +0000 (23:08 -0400)
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.

mjo/eja/euclidean_jordan_algebra.py

index a1b28a20b8d7a8a487212e1e2da800b76c750edd..849243c81d56a2781a8b0abe5c9e6ae795f264eb 100644 (file)
@@ -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()