X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=e7308ea34b9a36aef09a84069a1289e072487ec7;hb=987addc642a8e701b4212dedca40ffc196402339;hp=fb0f26cceaca91c1a2d7328abb26c0003dcebcee;hpb=707c1ace788819d3d0542e61dab0134eabea2159;p=sage.d.git diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py index fb0f26c..e7308ea 100644 --- 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: