X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=92fd296b3003a06e7bafb79f9d9c37d9cb6b13cb;hb=843814d06f42e6a97e31079173266fa6165e8c6a;hp=024903c256f5af81e9567b77f29b92a4537f88f8;hpb=defc9fa490a8444f932dd6c9dfffadba6d0e7bb7;p=sage.d.git diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py index 024903c..92fd296 100644 --- a/mjo/eja/eja_subalgebra.py +++ b/mjo/eja/eja_subalgebra.py @@ -71,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 @@ -110,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] @@ -195,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)