X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element_subalgebra.py;h=7fbd0609d9578406cb3ce9a8683fc6e46c8a95e4;hb=2ce97eef3264e148f8a394c18b50db99d4619999;hp=c058613e1b650a3c3007ad8700d1c36d0b2567c9;hpb=f9690e43873907af4da7a9ccd6d74c6937b7cdf8;p=sage.d.git diff --git a/mjo/eja/eja_element_subalgebra.py b/mjo/eja/eja_element_subalgebra.py index c058613..7fbd060 100644 --- a/mjo/eja/eja_element_subalgebra.py +++ b/mjo/eja/eja_element_subalgebra.py @@ -100,12 +100,12 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide SETUP:: - sage: from mjo.eja.eja_algebra import (RealCartesianProductEJA, + sage: from mjo.eja.eja_algebra import (HadamardEJA, ....: random_eja) EXAMPLES:: - sage: J = RealCartesianProductEJA(5) + sage: J = HadamardEJA(5) sage: J.one() e0 + e1 + e2 + e3 + e4 sage: x = sum(J.gens()) @@ -120,7 +120,7 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide The identity element acts like the identity over the rationals:: sage: set_random_seed() - sage: x = random_eja().random_element() + sage: x = random_eja(field=QQ).random_element() sage: A = x.subalgebra_generated_by() sage: x = A.random_element() sage: A.one()*x == x and x*A.one() == x @@ -130,7 +130,7 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide reals with an orthonormal basis:: sage: set_random_seed() - sage: x = random_eja(AA).random_element() + sage: x = random_eja().random_element() sage: A = x.subalgebra_generated_by(orthonormalize_basis=True) sage: x = A.random_element() sage: A.one()*x == x and x*A.one() == x @@ -140,7 +140,7 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide the rationals:: sage: set_random_seed() - sage: x = random_eja().random_element() + sage: x = random_eja(field=QQ).random_element() sage: A = x.subalgebra_generated_by() sage: actual = A.one().operator().matrix() sage: expected = matrix.identity(A.base_ring(), A.dimension()) @@ -151,7 +151,7 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide the algebraic reals with an orthonormal basis:: sage: set_random_seed() - sage: x = random_eja(AA).random_element() + sage: x = random_eja().random_element() sage: A = x.subalgebra_generated_by(orthonormalize_basis=True) sage: actual = A.one().operator().matrix() sage: expected = matrix.identity(A.base_ring(), A.dimension())