eja: pass associative=True in some tests.

[sage.d.git] / mjo / eja / eja_subalgebra.py

diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py
index e2d12d26b01a0deaedeb190d450dfd14ede3c262..7ba8f7970a3e474a583684af8f9a5cb3dc4e7115 100644 (file)
--- a/mjo/eja/eja_subalgebra.py
+++ b/mjo/eja/eja_subalgebra.py
@@ -1,11 +1,7 @@
 from sage.matrix.constructor import matrix
 
-from sage.combinat.free_module import CombinatorialFreeModule_CartesianProduct
-
-from mjo.eja.eja_algebra import (CartesianProductEJA,
-                                 FiniteDimensionalEJA)
-from mjo.eja.eja_element import (CartesianProductEJAElement,
-                                 FiniteDimensionalEJAElement)
+from mjo.eja.eja_algebra import FiniteDimensionalEJA
+from mjo.eja.eja_element import FiniteDimensionalEJAElement
 
 class FiniteDimensionalEJASubalgebraElement(FiniteDimensionalEJAElement):
     """
@@ -114,11 +110,11 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
         ....:                    [0,0] ])
         sage: E22 = matrix(AA, [ [0,0],
         ....:                    [0,1] ])
-        sage: K1 = FiniteDimensionalEJASubalgebra(J, (J(E11),))
+        sage: K1 = FiniteDimensionalEJASubalgebra(J, (J(E11),), associative=True)
         sage: K1.one().to_matrix()
         [1 0]
         [0 0]
-        sage: K2 = FiniteDimensionalEJASubalgebra(J, (J(E22),))
+        sage: K2 = FiniteDimensionalEJASubalgebra(J, (J(E22),), associative=True)
         sage: K2.one().to_matrix()
         [0 0]
         [0 1]
@@ -174,6 +170,7 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
         super().__init__(matrix_basis,
                          jordan_product,
                          inner_product,
+                         field=field,
                          prefix=prefix,
                          **kwargs)
 
@@ -198,7 +195,10 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
             ....:                  [1,0,0] ])
             sage: x = J(X)
             sage: basis = ( x, x^2 ) # x^2 is the identity matrix
-            sage: K = FiniteDimensionalEJASubalgebra(J, basis, orthonormalize=False)
+            sage: K = FiniteDimensionalEJASubalgebra(J,
+            ....:                                    basis,
+            ....:                                    associative=True,
+            ....:                                    orthonormalize=False)
             sage: K(J.one())
             f1
             sage: K(J.one() + x)
@@ -234,24 +234,3 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
 
 
     Element = FiniteDimensionalEJASubalgebraElement
-
-
-
-class CartesianProductEJASubalgebraElement(CartesianProductEJAElement,
-                                           FiniteDimensionalEJASubalgebraElement):
-    pass
-
-class CartesianProductEJASubalgebra(CartesianProductEJA,
-                                    FiniteDimensionalEJASubalgebra):
-
-    def __init__(self, superalgebra, basis, **kwargs):
-        CombinatorialFreeModule_CartesianProduct.__init__(self,
-                                                          superalgebra.cartesian_factors())
-        FiniteDimensionalEJASubalgebra.__init__(self,
-                                                superalgebra,
-                                                basis,
-                                                cartesian_product=True,
-                                                **kwargs)
-
-
-    Element = CartesianProductEJASubalgebraElement