eja: move the "field" argument to (usually passed through) kwargs.

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

diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py
index fb0f26cceaca91c1a2d7328abb26c0003dcebcee..e7308ea34b9a36aef09a84069a1289e072487ec7 100644 (file)
--- a/mjo/eja/eja_subalgebra.py
+++ b/mjo/eja/eja_subalgebra.py
@@ -27,7 +27,7 @@ class FiniteDimensionalEuclideanJordanSubalgebraElement(FiniteDimensionalEuclide
     our basis::
 
         sage: set_random_seed()
-        sage: x = random_eja(AA).random_element()
+        sage: x = random_eja(field=AA).random_element()
         sage: A = x.subalgebra_generated_by(orthonormalize_basis=True)
         sage: y = A.random_element()
         sage: y.operator()(A.one()) == y
@@ -173,7 +173,8 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda
         # If our superalgebra is a subalgebra of something else, then
         # these vectors won't have the right coordinates for
         # V.span_of_basis() unless we use V.from_vector() on them.
-        W = V.span_of_basis( V.from_vector(b.to_vector()) for b in basis )
+        W = V.span_of_basis( (V.from_vector(b.to_vector()) for b in basis),
+                             check=check_axioms)
 
         n = len(basis)
         if check_axioms: