]> gitweb.michael.orlitzky.com - sage.d.git/blobdiff - mjo/eja/eja_subalgebra.py
eja: use "b" as the default prefix.
[sage.d.git] / mjo / eja / eja_subalgebra.py
index 92fd296b3003a06e7bafb79f9d9c37d9cb6b13cb..1b86d236c390691939fd84cabb597e6b6159d406 100644 (file)
@@ -51,20 +51,20 @@ class FiniteDimensionalEJASubalgebraElement(FiniteDimensionalEJAElement):
             sage: J = RealSymmetricEJA(3)
             sage: x = sum(J.gens())
             sage: x
-            e0 + e1 + e2 + e3 + e4 + e5
+            b0 + b1 + b2 + b3 + b4 + b5
             sage: A = x.subalgebra_generated_by(orthonormalize=False)
             sage: A(x)
-            f1
+            c1
             sage: A(x).superalgebra_element()
-            e0 + e1 + e2 + e3 + e4 + e5
+            b0 + b1 + b2 + b3 + b4 + b5
             sage: y = sum(A.gens())
             sage: y
-            f0 + f1
+            c0 + c1
             sage: B = y.subalgebra_generated_by(orthonormalize=False)
             sage: B(y)
-            g1
+            d1
             sage: B(y).superalgebra_element()
-            f0 + f1
+            c0 + c1
 
         TESTS:
 
@@ -121,17 +121,18 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
 
     TESTS:
 
-    Ensure that our generator names don't conflict with the superalgebra::
+    Ensure that our generator names don't conflict with the
+    superalgebra::
 
         sage: J = JordanSpinEJA(3)
         sage: J.one().subalgebra_generated_by().gens()
-        (f0,)
+        (c0,)
         sage: J = JordanSpinEJA(3, prefix='f')
         sage: J.one().subalgebra_generated_by().gens()
         (g0,)
-        sage: J = JordanSpinEJA(3, prefix='b')
+        sage: J = JordanSpinEJA(3, prefix='a')
         sage: J.one().subalgebra_generated_by().gens()
-        (c0,)
+        (b0,)
 
     Ensure that we can find subalgebras of subalgebras::
 
@@ -139,7 +140,6 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
         sage: B = A.one().subalgebra_generated_by()
         sage: B.dimension()
         1
-
     """
     def __init__(self, superalgebra, basis, **kwargs):
         self._superalgebra = superalgebra
@@ -152,7 +152,7 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
         # try to "increment" the parent algebra's prefix, although
         # this idea goes out the window fast because some prefixen
         # are off-limits.
-        prefixen = [ 'f', 'g', 'h', 'a', 'b', 'c', 'd' ]
+        prefixen = ["b","c","d","e","f","g","h","l","m"]
         try:
             prefix = prefixen[prefixen.index(self._superalgebra.prefix()) + 1]
         except ValueError:
@@ -200,9 +200,9 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
             ....:                                    associative=True,
             ....:                                    orthonormalize=False)
             sage: K(J.one())
-            f1
+            c1
             sage: K(J.one() + x)
-            f0 + f1
+            c0 + c1
 
         ::