X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=92fd296b3003a06e7bafb79f9d9c37d9cb6b13cb;hb=843814d06f42e6a97e31079173266fa6165e8c6a;hp=8a2a21407cbff4d9f8a852fab5a9635cc13c1c1d;hpb=35ecc332201ce37f6ad1f6ac05b696d8c73c9cb3;p=sage.d.git

diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py
index 8a2a214..92fd296 100644
--- a/mjo/eja/eja_subalgebra.py
+++ b/mjo/eja/eja_subalgebra.py
@@ -15,7 +15,8 @@ class FiniteDimensionalEJASubalgebraElement(FiniteDimensionalEJAElement):
     the same as its matrix representation in the superalgebra::
 
         sage: set_random_seed()
-        sage: A = random_eja().random_element().subalgebra_generated_by()
+        sage: x = random_eja(field=QQ,orthonormalize=False).random_element()
+        sage: A = x.subalgebra_generated_by(orthonormalize=False)
         sage: y = A.random_element()
         sage: actual = y.to_matrix()
         sage: expected = y.superalgebra_element().to_matrix()
@@ -28,7 +29,7 @@ class FiniteDimensionalEJASubalgebraElement(FiniteDimensionalEJAElement):
 
         sage: set_random_seed()
         sage: x = random_eja(field=AA).random_element()
-        sage: A = x.subalgebra_generated_by(orthonormalize_basis=True)
+        sage: A = x.subalgebra_generated_by(orthonormalize=True)
         sage: y = A.random_element()
         sage: y.operator()(A.one()) == y
         True
@@ -51,7 +52,7 @@ class FiniteDimensionalEJASubalgebraElement(FiniteDimensionalEJAElement):
             sage: x = sum(J.gens())
             sage: x
             e0 + e1 + e2 + e3 + e4 + e5
-            sage: A = x.subalgebra_generated_by()
+            sage: A = x.subalgebra_generated_by(orthonormalize=False)
             sage: A(x)
             f1
             sage: A(x).superalgebra_element()
@@ -59,7 +60,7 @@ class FiniteDimensionalEJASubalgebraElement(FiniteDimensionalEJAElement):
             sage: y = sum(A.gens())
             sage: y
             f0 + f1
-            sage: B = y.subalgebra_generated_by()
+            sage: B = y.subalgebra_generated_by(orthonormalize=False)
             sage: B(y)
             g1
             sage: B(y).superalgebra_element()
@@ -70,15 +71,15 @@ class FiniteDimensionalEJASubalgebraElement(FiniteDimensionalEJAElement):
         We can convert back and forth faithfully::
 
             sage: set_random_seed()
-            sage: J = random_eja()
+            sage: J = random_eja(field=QQ, orthonormalize=False)
             sage: x = J.random_element()
-            sage: A = x.subalgebra_generated_by()
+            sage: A = x.subalgebra_generated_by(orthonormalize=False)
             sage: A(x).superalgebra_element() == x
             True
             sage: y = A.random_element()
             sage: A(y.superalgebra_element()) == y
             True
-            sage: B = y.subalgebra_generated_by()
+            sage: B = y.subalgebra_generated_by(orthonormalize=False)
             sage: B(y).superalgebra_element() == y
             True
 
@@ -109,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]
@@ -169,6 +170,7 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
         super().__init__(matrix_basis,
                          jordan_product,
                          inner_product,
+                         field=field,
                          prefix=prefix,
                          **kwargs)
 
@@ -193,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)