X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fhurwitz.py;h=6767fe12fcd2d433c3b3a12324d6aab302d1b57b;hb=3595f45fb1dd7e218c81e2ccb0b9f3473f7de681;hp=c213283099c2464316994a9d0fec7fef1f31c284;hpb=e0e9c70961b93516c9423e370aab735aa8ab90c1;p=sage.d.git diff --git a/mjo/hurwitz.py b/mjo/hurwitz.py index c213283..6767fe1 100644 --- a/mjo/hurwitz.py +++ b/mjo/hurwitz.py @@ -385,8 +385,9 @@ class HurwitzMatrixAlgebraElement(MatrixAlgebraElement): for j in range(self.ncols()) ) - def is_skew_hermitian(self): + def is_skew_symmetric(self): r""" + Return whether or not this matrix is skew-symmetric. SETUP:: @@ -398,15 +399,23 @@ class HurwitzMatrixAlgebraElement(MatrixAlgebraElement): sage: A = ComplexMatrixAlgebra(2, QQbar, ZZ) sage: M = A([ [ 0,I], ....: [-I,1] ]) - sage: M.is_skew_hermitian() + sage: M.is_skew_symmetric() False + :: + + sage: A = ComplexMatrixAlgebra(2, QQbar, ZZ) + sage: M = A([ [ 0, 1+I], + ....: [-1-I, 0] ]) + sage: M.is_skew_symmetric() + True + :: sage: A = HurwitzMatrixAlgebra(2, AA, QQ) sage: M = A([ [1, 1], ....: [1, 1] ]) - sage: M.is_skew_hermitian() + sage: M.is_skew_symmetric() False :: @@ -414,13 +423,13 @@ class HurwitzMatrixAlgebraElement(MatrixAlgebraElement): sage: A = ComplexMatrixAlgebra(2, QQbar, ZZ) sage: M = A([ [2*I , 1 + I], ....: [-1 + I, -2*I] ]) - sage: M.is_skew_hermitian() - True + sage: M.is_skew_symmetric() + False """ - # A tiny bit faster than checking equality with the conjugate - # transpose. - return all( self[i,j] == -self[j,i].conjugate() + # A tiny bit faster than checking equality with the negation + # of the transpose. + return all( self[i,j] == -self[j,i] for i in range(self.nrows()) for j in range(self.ncols()) )