X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_operator.py;h=ee33dbf53b36fd9851d31169d5699041f460328e;hb=99ca9f8c24194ad6be7b8e325575e58b53429c2b;hp=c073bc41ad85d73fd942efe4e20f8e6f90bd1781;hpb=422c881c55305a0a6a3e72eb8f57ab6c644b4b0f;p=sage.d.git diff --git a/mjo/eja/eja_operator.py b/mjo/eja/eja_operator.py index c073bc4..ee33dbf 100644 --- a/mjo/eja/eja_operator.py +++ b/mjo/eja/eja_operator.py @@ -117,13 +117,13 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map): sage: from mjo.eja.eja_operator import FiniteDimensionalEuclideanJordanAlgebraOperator sage: from mjo.eja.eja_algebra import ( ....: JordanSpinEJA, - ....: RealCartesianProductEJA, + ....: HadamardEJA, ....: RealSymmetricEJA) EXAMPLES:: sage: J1 = JordanSpinEJA(3) - sage: J2 = RealCartesianProductEJA(2) + sage: J2 = HadamardEJA(2) sage: J3 = RealSymmetricEJA(1) sage: mat1 = matrix(QQ, [[1,2,3], ....: [4,5,6]]) @@ -438,7 +438,9 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map): SETUP:: - sage: from mjo.eja.eja_algebra import RealSymmetricEJA, random_eja + sage: from mjo.eja.eja_algebra import (RealSymmetricEJA, + ....: TrivialEJA, + ....: random_eja) EXAMPLES:: @@ -453,6 +455,12 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map): sage: x.operator().is_invertible() True + The zero operator is invertible in a trivial algebra:: + + sage: J = TrivialEJA() + sage: J.zero().operator().is_invertible() + True + TESTS: The identity operator is always invertible:: @@ -574,4 +582,4 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map): self.codomain(), mat) projectors.append(Pi) - return zip(eigenvalues, projectors) + return list(zip(eigenvalues, projectors))