X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;h=c98d9a2b64651562928a6489ef88e03fdd2b0dc9;hp=6a48309499bce637cd039d4c8631ce451f890ff1;hb=bc02bf48592e22d034310cfffef8fb2a062c0a43;hpb=1bbade9f41ffbfe366b15d0db657f666bc1f025d diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 6a48309..c98d9a2 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -389,7 +389,7 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): sage: (x*y).det() == x.det()*y.det() True - The determinant in matrix algebras is just the usual determinant:: + The determinant in real matrix algebras is the usual determinant:: sage: set_random_seed() sage: X = matrix.random(QQ,3) @@ -404,21 +404,6 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): sage: actual2 == expected True - :: - - sage: set_random_seed() - 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() - sage: actual2 = J2(J2.real_embed(X)).det() - sage: expected == actual1 - True - sage: expected == actual2 - True - """ P = self.parent() r = P.rank() @@ -1098,12 +1083,13 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): sage: J.one() b0 + b3 + b8 sage: J.one().to_matrix() - [1 0 0 0 0 0] - [0 1 0 0 0 0] - [0 0 1 0 0 0] - [0 0 0 1 0 0] - [0 0 0 0 1 0] - [0 0 0 0 0 1] + +---+---+---+ + | 1 | 0 | 0 | + +---+---+---+ + | 0 | 1 | 0 | + +---+---+---+ + | 0 | 0 | 1 | + +---+---+---+ ::