eja: use "dimension" instead of "degree" in EJA string representation.

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

diff --git a/mjo/eja/eja_operator.py b/mjo/eja/eja_operator.py
index 8973a951aa80f2275c527fd67d78b30259971866..7c3b2a6a4721848caaaf4d30cecbb08d0eab587f 100644 (file)
--- a/mjo/eja/eja_operator.py
+++ b/mjo/eja/eja_operator.py
@@ -81,8 +81,10 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map):
             [2 0 0]
             [0 2 0]
             [0 0 2]
-            Domain: Euclidean Jordan algebra of degree 3 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 3 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
 
         If you try to add two identical vector space operators but on
         different EJAs, that should blow up::
@@ -135,8 +137,10 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map):
             Linear operator between finite-dimensional Euclidean Jordan
             algebras represented by the matrix:
             [39 54 69]
-            Domain: Euclidean Jordan algebra of degree 3 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 1 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 1 over
+            Rational Field
 
         """
         return FiniteDimensionalEuclideanJordanAlgebraOperator(
@@ -175,8 +179,10 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map):
             [1 0 0]
             [0 1 0]
             [0 0 1]
-            Domain: Euclidean Jordan algebra of degree 3 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 3 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
 
         """
         return FiniteDimensionalEuclideanJordanAlgebraOperator(
@@ -212,16 +218,20 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map):
             [ 2  4  0]
             [ 2  9  2]
             [ 0  4 16]
-            Domain: Euclidean Jordan algebra of degree 3 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 3 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
             sage: x.operator()*(1/2)
             Linear operator between finite-dimensional Euclidean Jordan algebras
             represented by the matrix:
             [  1   2   0]
             [  1 9/2   1]
             [  0   2   8]
-            Domain: Euclidean Jordan algebra of degree 3 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 3 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
 
         """
         if other in self.codomain().base_ring():
@@ -256,8 +266,10 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map):
             [-1  0  0]
             [ 0 -1  0]
             [ 0  0 -1]
-            Domain: Euclidean Jordan algebra of degree 3 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 3 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
 
         """
         return FiniteDimensionalEuclideanJordanAlgebraOperator(
@@ -289,8 +301,10 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map):
             [3 0 0]
             [0 3 0]
             [0 0 3]
-            Domain: Euclidean Jordan algebra of degree 3 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 3 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
 
         """
         if (n == 1):
@@ -330,8 +344,10 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map):
             algebras represented by the matrix:
             [1 0]
             [0 1]
-            Domain: Euclidean Jordan algebra of degree 2 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 2 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 2 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 2 over
+            Rational Field
 
         """
         msg = ("Linear operator between finite-dimensional Euclidean Jordan "
@@ -364,8 +380,10 @@ class FiniteDimensionalEuclideanJordanAlgebraOperator(Map):
             [-1  0  0]
             [ 0 -1  0]
             [ 0  0 -1]
-            Domain: Euclidean Jordan algebra of degree 3 over Rational Field
-            Codomain: Euclidean Jordan algebra of degree 3 over Rational Field
+            Domain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
+            Codomain: Euclidean Jordan algebra of dimension 3 over
+            Rational Field
 
         """
         return (self + (-other))