eja: drop "FiniteDimensional" prefix everywhere.

[sage.d.git] / mjo / eja / eja_operator.py

diff --git a/mjo/eja/eja_operator.py b/mjo/eja/eja_operator.py
index a8beed662e1a700f2146f1dc9f0940857b9339ec..689b7ecec26c09a8423ca440ee6b00429d50073b 100644 (file)
--- a/mjo/eja/eja_operator.py
+++ b/mjo/eja/eja_operator.py
@@ -2,14 +2,14 @@ from sage.matrix.constructor import matrix
 from sage.categories.all import FreeModules
 from sage.categories.map import Map
 
-class FiniteDimensionalEJAOperator(Map):
+class EJAOperator(Map):
     r"""
     An operator between two finite-dimensional Euclidean Jordan algebras.
 
     SETUP::
 
         sage: from mjo.eja.eja_algebra import HadamardEJA
-        sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+        sage: from mjo.eja.eja_operator import EJAOperator
 
     EXAMPLES:
 
@@ -19,12 +19,12 @@ class FiniteDimensionalEJAOperator(Map):
         sage: J = HadamardEJA(3)
         sage: V = VectorSpace(J.base_ring(), 3)
         sage: M = matrix.identity(J.base_ring(), 3)
-        sage: FiniteDimensionalEJAOperator(V,J,M)
+        sage: EJAOperator(V,J,M)
         Traceback (most recent call last):
         ...
         TypeError: domain must be a finite-dimensional Euclidean
         Jordan algebra
-        sage: FiniteDimensionalEJAOperator(J,V,M)
+        sage: EJAOperator(J,V,M)
         Traceback (most recent call last):
         ...
         TypeError: codomain must be a finite-dimensional Euclidean
@@ -33,14 +33,14 @@ class FiniteDimensionalEJAOperator(Map):
     """
 
     def __init__(self, domain_eja, codomain_eja, mat):
-        from mjo.eja.eja_algebra import FiniteDimensionalEJA
+        from mjo.eja.eja_algebra import EJA
 
         # I guess we should check this, because otherwise you could
         # pass in pretty much anything algebraish.
-        if not isinstance(domain_eja, FiniteDimensionalEJA):
+        if not isinstance(domain_eja, EJA):
             raise TypeError('domain must be a finite-dimensional '
                             'Euclidean Jordan algebra')
-        if not isinstance(codomain_eja, FiniteDimensionalEJA):
+        if not isinstance(codomain_eja, EJA):
             raise TypeError('codomain must be a finite-dimensional '
                             'Euclidean Jordan algebra')
 
@@ -76,7 +76,7 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import JordanSpinEJA
 
         EXAMPLES::
@@ -84,7 +84,7 @@ class FiniteDimensionalEJAOperator(Map):
             sage: J = JordanSpinEJA(3)
             sage: x = J.linear_combination(zip(J.gens(),range(len(J.gens()))))
             sage: id = identity_matrix(J.base_ring(), J.dimension())
-            sage: f = FiniteDimensionalEJAOperator(J,J,id)
+            sage: f = EJAOperator(J,J,id)
             sage: f(x) == x
             True
 
@@ -98,7 +98,7 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import (
             ....:   JordanSpinEJA,
             ....:   RealSymmetricEJA )
@@ -109,8 +109,8 @@ class FiniteDimensionalEJAOperator(Map):
 
             sage: J = RealSymmetricEJA(2)
             sage: id = identity_matrix(J.base_ring(), J.dimension())
-            sage: f = FiniteDimensionalEJAOperator(J,J,id)
-            sage: g = FiniteDimensionalEJAOperator(J,J,id)
+            sage: f = EJAOperator(J,J,id)
+            sage: g = EJAOperator(J,J,id)
             sage: f + g
             Linear operator between finite-dimensional Euclidean Jordan
             algebras represented by the matrix:
@@ -127,15 +127,15 @@ class FiniteDimensionalEJAOperator(Map):
             sage: id1 = identity_matrix(J1.base_ring(), 3)
             sage: J2 = JordanSpinEJA(3)
             sage: id2 = identity_matrix(J2.base_ring(), 3)
-            sage: f = FiniteDimensionalEJAOperator(J1,J1,id1)
-            sage: g = FiniteDimensionalEJAOperator(J2,J2,id2)
+            sage: f = EJAOperator(J1,J1,id1)
+            sage: g = EJAOperator(J2,J2,id2)
             sage: f + g
             Traceback (most recent call last):
             ...
             TypeError: unsupported operand parent(s) for +: ...
 
         """
-        return FiniteDimensionalEJAOperator(
+        return EJAOperator(
                 self.domain(),
                 self.codomain(),
                 self.matrix() + other.matrix())
@@ -148,7 +148,7 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import (
             ....:   JordanSpinEJA,
             ....:   HadamardEJA,
@@ -162,8 +162,8 @@ class FiniteDimensionalEJAOperator(Map):
             sage: mat1 = matrix(AA, [[1,2,3],
             ....:                    [4,5,6]])
             sage: mat2 = matrix(AA, [[7,8]])
-            sage: g = FiniteDimensionalEJAOperator(J1, J2, mat1)
-            sage: f = FiniteDimensionalEJAOperator(J2, J3, mat2)
+            sage: g = EJAOperator(J1, J2, mat1)
+            sage: f = EJAOperator(J2, J3, mat2)
             sage: f*g
             Linear operator between finite-dimensional Euclidean Jordan
             algebras represented by the matrix:
@@ -174,7 +174,7 @@ class FiniteDimensionalEJAOperator(Map):
             Algebraic Real Field
 
         """
-        return FiniteDimensionalEJAOperator(
+        return EJAOperator(
           other.domain(),
           self.codomain(),
           self.matrix()*other.matrix())
@@ -196,14 +196,14 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import RealSymmetricEJA
 
         EXAMPLES::
 
             sage: J = RealSymmetricEJA(2)
             sage: id = identity_matrix(J.base_ring(), J.dimension())
-            sage: f = FiniteDimensionalEJAOperator(J,J,id)
+            sage: f = EJAOperator(J,J,id)
             sage: ~f
             Linear operator between finite-dimensional Euclidean Jordan
             algebras represented by the matrix:
@@ -214,7 +214,7 @@ class FiniteDimensionalEJAOperator(Map):
             Codomain: Euclidean Jordan algebra of dimension 3 over...
 
         """
-        return FiniteDimensionalEJAOperator(
+        return EJAOperator(
                 self.codomain(),
                 self.domain(),
                 ~self.matrix())
@@ -231,7 +231,7 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import RealSymmetricEJA
 
         EXAMPLES:
@@ -261,7 +261,7 @@ class FiniteDimensionalEJAOperator(Map):
         """
         try:
             if other in self.codomain().base_ring():
-                return FiniteDimensionalEJAOperator(
+                return EJAOperator(
                     self.domain(),
                     self.codomain(),
                     self.matrix()*other)
@@ -281,14 +281,14 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import RealSymmetricEJA
 
         EXAMPLES::
 
             sage: J = RealSymmetricEJA(2)
             sage: id = identity_matrix(J.base_ring(), J.dimension())
-            sage: f = FiniteDimensionalEJAOperator(J,J,id)
+            sage: f = EJAOperator(J,J,id)
             sage: -f
             Linear operator between finite-dimensional Euclidean Jordan
             algebras represented by the matrix:
@@ -299,7 +299,7 @@ class FiniteDimensionalEJAOperator(Map):
             Codomain: Euclidean Jordan algebra of dimension 3 over...
 
         """
-        return FiniteDimensionalEJAOperator(
+        return EJAOperator(
                 self.domain(),
                 self.codomain(),
                 -self.matrix())
@@ -311,7 +311,7 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import RealSymmetricEJA
 
         TESTS:
@@ -321,7 +321,7 @@ class FiniteDimensionalEJAOperator(Map):
 
             sage: J = RealSymmetricEJA(2)
             sage: id = identity_matrix(J.base_ring(), J.dimension())
-            sage: f = FiniteDimensionalEJAOperator(J,J,id)
+            sage: f = EJAOperator(J,J,id)
             sage: f^0 + f^1 + f^2
             Linear operator between finite-dimensional Euclidean Jordan
             algebras represented by the matrix:
@@ -343,7 +343,7 @@ class FiniteDimensionalEJAOperator(Map):
         else:
             mat = self.matrix()**n
 
-        return FiniteDimensionalEJAOperator(
+        return EJAOperator(
                  self.domain(),
                  self.codomain(),
                  mat)
@@ -357,14 +357,14 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import JordanSpinEJA
 
         EXAMPLES::
 
             sage: J = JordanSpinEJA(2)
             sage: id = identity_matrix(J.base_ring(), J.dimension())
-            sage: FiniteDimensionalEJAOperator(J,J,id)
+            sage: EJAOperator(J,J,id)
             Linear operator between finite-dimensional Euclidean Jordan
             algebras represented by the matrix:
             [1 0]
@@ -391,14 +391,14 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import RealSymmetricEJA
 
         EXAMPLES::
 
             sage: J = RealSymmetricEJA(2)
             sage: id = identity_matrix(J.base_ring(),J.dimension())
-            sage: f = FiniteDimensionalEJAOperator(J,J,id)
+            sage: f = EJAOperator(J,J,id)
             sage: f - (f*2)
             Linear operator between finite-dimensional Euclidean Jordan
             algebras represented by the matrix:
@@ -442,7 +442,7 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import (random_eja,
             ....:                                  JordanSpinEJA,
             ....:                                  RealSymmetricEJA)
@@ -455,13 +455,13 @@ class FiniteDimensionalEJAOperator(Map):
             sage: M = matrix(R, [ [0, 0],
             ....:                 [0, 0],
             ....:                 [0, 0] ])
-            sage: L = FiniteDimensionalEJAOperator(J1,J2,M)
+            sage: L = EJAOperator(J1,J2,M)
             sage: L.is_zero()
             True
             sage: M = matrix(R, [ [0, 0],
             ....:                 [0, 1],
             ....:                 [0, 0] ])
-            sage: L = FiniteDimensionalEJAOperator(J1,J2,M)
+            sage: L = EJAOperator(J1,J2,M)
             sage: L.is_zero()
             False
 
@@ -579,14 +579,14 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import RealSymmetricEJA
 
         EXAMPLES::
 
             sage: J = RealSymmetricEJA(2)
             sage: mat = matrix(J.base_ring(), J.dimension(), range(9))
-            sage: f = FiniteDimensionalEJAOperator(J,J,mat)
+            sage: f = EJAOperator(J,J,mat)
             sage: f.matrix()
             [0 1 2]
             [3 4 5]
@@ -603,7 +603,7 @@ class FiniteDimensionalEJAOperator(Map):
 
         SETUP::
 
-            sage: from mjo.eja.eja_operator import FiniteDimensionalEJAOperator
+            sage: from mjo.eja.eja_operator import EJAOperator
             sage: from mjo.eja.eja_algebra import RealSymmetricEJA
 
         EXAMPLES::
@@ -668,7 +668,7 @@ class FiniteDimensionalEJAOperator(Map):
             # for the spectral theorem to work.
             us[i] = us[i]/us[i].norm()
             mat = us[i].column()*us[i].row()
-            Pi = FiniteDimensionalEJAOperator(
+            Pi = EJAOperator(
                    self.domain(),
                    self.codomain(),
                    mat)