X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_operator.py;fp=mjo%2Feja%2Feja_operator.py;h=667e3d5acba051e08bf461e12aafd9ae2437cc74;hb=98da0ce1d1102057e34646889c10dfa01fa9faec;hp=ee33dbf53b36fd9851d31169d5699041f460328e;hpb=58ce52dbf3c4310e70020153873430a1043acb53;p=sage.d.git diff --git a/mjo/eja/eja_operator.py b/mjo/eja/eja_operator.py index ee33dbf..667e3d5 100644 --- a/mjo/eja/eja_operator.py +++ b/mjo/eja/eja_operator.py @@ -125,9 +125,9 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map): sage: J1 = JordanSpinEJA(3) sage: J2 = HadamardEJA(2) sage: J3 = RealSymmetricEJA(1) - sage: mat1 = matrix(QQ, [[1,2,3], + sage: mat1 = matrix(AA, [[1,2,3], ....: [4,5,6]]) - sage: mat2 = matrix(QQ, [[7,8]]) + sage: mat2 = matrix(AA, [[7,8]]) sage: g = FiniteDimensionalEuclideanJordanAlgebraOperator(J1, ....: J2, ....: mat1) @@ -139,9 +139,9 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map): algebras represented by the matrix: [39 54 69] Domain: Euclidean Jordan algebra of dimension 3 over - Rational Field + Algebraic Real Field Codomain: Euclidean Jordan algebra of dimension 1 over - Rational Field + Algebraic Real Field """ return FiniteDimensionalEuclideanJordanAlgebraOperator( @@ -341,9 +341,9 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map): [1 0] [0 1] Domain: Euclidean Jordan algebra of dimension 2 over - Rational Field + Algebraic Real Field Codomain: Euclidean Jordan algebra of dimension 2 over - Rational Field + Algebraic Real Field """ msg = ("Linear operator between finite-dimensional Euclidean Jordan " @@ -542,7 +542,7 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map): EXAMPLES:: - sage: J = RealSymmetricEJA(4,AA) + sage: J = RealSymmetricEJA(4) sage: x = sum(J.gens()) sage: A = x.subalgebra_generated_by(orthonormalize_basis=True) sage: L0x = A(x).operator()