X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;fp=mjo%2Feja%2Feja_element.py;h=bc253d48653c40bddb3180e083daf6b61e9f3dac;hp=85ec494e53beaf05c788dbd5b04a23a18c0952d6;hb=0994b65cf76ca376d07d5c3e4c80fc378a3aead7;hpb=a7b393c90d9ad22641185e3b959ab17fc6e1e9d8 diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 85ec494..bc253d4 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -375,7 +375,8 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): Ensure that the determinant is multiplicative on an associative subalgebra as in Faraut and Korányi's Proposition II.2.2:: - sage: J = random_eja().random_element().subalgebra_generated_by() + sage: x0 = random_eja().random_element() + sage: J = x0.subalgebra_generated_by(orthonormalize=False) sage: x,y = J.random_elements(2) sage: (x*y).det() == x.det()*y.det() True @@ -1376,7 +1377,7 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): This subalgebra, being composed of only powers, is associative:: sage: x0 = random_eja().random_element() - sage: A = x0.subalgebra_generated_by() + sage: A = x0.subalgebra_generated_by(orthonormalize=False) sage: x,y,z = A.random_elements(3) sage: (x*y)*z == x*(y*z) True @@ -1385,7 +1386,7 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): the superalgebra:: sage: x = random_eja().random_element() - sage: A = x.subalgebra_generated_by() + sage: A = x.subalgebra_generated_by(orthonormalize=False) sage: A(x^2) == A(x)*A(x) True