X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=1b86d236c390691939fd84cabb597e6b6159d406;hb=f98ab4d7afa92a853e7ddc75cdac803d2da4fcb9;hp=92fd296b3003a06e7bafb79f9d9c37d9cb6b13cb;hpb=843814d06f42e6a97e31079173266fa6165e8c6a;p=sage.d.git diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py index 92fd296..1b86d23 100644 --- a/mjo/eja/eja_subalgebra.py +++ b/mjo/eja/eja_subalgebra.py @@ -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 ::