X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;h=1c12a81bed5727b58e58980e41fd678b8334e9f3;hb=ec0cbae9fc7a437c2632abfa6f76f1ce5ae45674;hp=16e15e5d081447d9b5c046e88a02edfdf678f21c;hpb=046d2b5d664f7b6794e81e7ebf0fb224c0c3d52c;p=sage.d.git diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 16e15e5..1c12a81 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -131,7 +131,8 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): SETUP:: - sage: from mjo.eja.eja_algebra import HadamardEJA + sage: from mjo.eja.eja_algebra import (random_eja, + ....: HadamardEJA) EXAMPLES: @@ -156,10 +157,10 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): to zero on that element:: sage: set_random_seed() - sage: x = HadamardEJA(3).random_element() + sage: x = random_eja().random_element() sage: p = x.characteristic_polynomial() - sage: x.apply_univariate_polynomial(p) - 0 + sage: x.apply_univariate_polynomial(p).is_zero() + True The characteristic polynomials of the zero and unit elements should be what we think they are in a subalgebra, too:: @@ -1020,7 +1021,8 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): sage: set_random_seed() sage: d_max = RealSymmetricEJA._max_random_instance_dimension() - sage: n = ZZ.random_element(1, d_max) + sage: d = ZZ.random_element(1, d_max) + sage: n = RealSymmetricEJA._max_random_instance_size(d) sage: J1 = RealSymmetricEJA(n) sage: J2 = RealSymmetricEJA(n,orthonormalize=False) sage: X = random_matrix(AA,n) @@ -1373,7 +1375,7 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): sage: (J0, J5, J1) = J.peirce_decomposition(c1) sage: (f0, f1, f2) = J1.gens() sage: f0.spectral_decomposition() - [(0, c2), (1, c0)] + [(0, 1.000000000000000?*c2), (1, 1.000000000000000?*c0)] """ A = self.subalgebra_generated_by(orthonormalize=True)