]> gitweb.michael.orlitzky.com - sage.d.git/blobdiff - mjo/eja/eja_subalgebra.py
eja: make AA the default field because everything cool requires it.
[sage.d.git] / mjo / eja / eja_subalgebra.py
index 0be85616678d4f7f7ffa276ddcd13ab907c6e116..ac77f22a691e7cc04138e34cae46f148909de0f8 100644 (file)
@@ -95,9 +95,9 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda
     matrices do not contain the superalgebra's identity element::
 
         sage: J = RealSymmetricEJA(2)
-        sage: E11 = matrix(QQ, [ [1,0],
+        sage: E11 = matrix(AA, [ [1,0],
         ....:                    [0,0] ])
-        sage: E22 = matrix(QQ, [ [0,0],
+        sage: E22 = matrix(AA, [ [0,0],
         ....:                    [0,1] ])
         sage: K1 = FiniteDimensionalEuclideanJordanSubalgebra(J, (J(E11),))
         sage: K1.one().natural_representation()
@@ -198,7 +198,7 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda
         EXAMPLES::
 
             sage: J = RealSymmetricEJA(3)
-            sage: X = matrix(QQ, [ [0,0,1],
+            sage: X = matrix(AA, [ [0,0,1],
             ....:                  [0,1,0],
             ....:                  [1,0,0] ])
             sage: x = J(X)
@@ -249,10 +249,10 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda
         EXAMPLES::
 
             sage: J = RealSymmetricEJA(3)
-            sage: E11 = matrix(QQ, [ [1,0,0],
+            sage: E11 = matrix(ZZ, [ [1,0,0],
             ....:                    [0,0,0],
             ....:                    [0,0,0] ])
-            sage: E22 = matrix(QQ, [ [0,0,0],
+            sage: E22 = matrix(ZZ, [ [0,0,0],
             ....:                    [0,1,0],
             ....:                    [0,0,0] ])
             sage: b1 = J(E11)