X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;h=d99a7d873ab69e511186b7f0bc3ba3127a45c85a;hb=987addc642a8e701b4212dedca40ffc196402339;hp=9fa8176d112668d6fed446ba5c174c7ebf618fbc;hpb=9d365c6cf3b52024817cd2e97b1061216094e3df;p=sage.d.git diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 9fa8176..d99a7d8 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -227,9 +227,9 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(IndexedFreeModuleElement): Ditto for the quaternions:: - sage: J = QuaternionHermitianEJA(3) + sage: J = QuaternionHermitianEJA(2) sage: J.one().inner_product(J.one()) - 3 + 2 TESTS: @@ -408,9 +408,9 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(IndexedFreeModuleElement): :: sage: set_random_seed() - sage: J1 = ComplexHermitianEJA(3) - sage: J2 = ComplexHermitianEJA(3,field=QQ,orthonormalize=False) - sage: X = matrix.random(GaussianIntegers(),3) + sage: J1 = ComplexHermitianEJA(2) + sage: J2 = ComplexHermitianEJA(2,field=QQ,orthonormalize=False) + sage: X = matrix.random(GaussianIntegers(), 2) sage: X = X + X.H sage: expected = AA(X.det()) sage: actual1 = J1(J1.real_embed(X)).det() @@ -1035,22 +1035,19 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(IndexedFreeModuleElement): :: - sage: J = QuaternionHermitianEJA(3) + sage: J = QuaternionHermitianEJA(2) sage: J.one() - e0 + e5 + e14 + e0 + e5 sage: J.one().to_matrix() - [1 0 0 0 0 0 0 0 0 0 0 0] - [0 1 0 0 0 0 0 0 0 0 0 0] - [0 0 1 0 0 0 0 0 0 0 0 0] - [0 0 0 1 0 0 0 0 0 0 0 0] - [0 0 0 0 1 0 0 0 0 0 0 0] - [0 0 0 0 0 1 0 0 0 0 0 0] - [0 0 0 0 0 0 1 0 0 0 0 0] - [0 0 0 0 0 0 0 1 0 0 0 0] - [0 0 0 0 0 0 0 0 1 0 0 0] - [0 0 0 0 0 0 0 0 0 1 0 0] - [0 0 0 0 0 0 0 0 0 0 1 0] - [0 0 0 0 0 0 0 0 0 0 0 1] + [1 0 0 0 0 0 0 0] + [0 1 0 0 0 0 0 0] + [0 0 1 0 0 0 0 0] + [0 0 0 1 0 0 0 0] + [0 0 0 0 1 0 0 0] + [0 0 0 0 0 1 0 0] + [0 0 0 0 0 0 1 0] + [0 0 0 0 0 0 0 1] + """ B = self.parent().matrix_basis() W = self.parent().matrix_space()