SETUP::
- sage: from mjo.hurwitz import HurwitzMatrixAlgebra
+ sage: from mjo.hurwitz import ComplexMatrixAlgebra
EXAMPLES::
- sage: A = HurwitzMatrixAlgebra(2, QQbar, ZZ)
+ sage: A = ComplexMatrixAlgebra(2, QQbar, ZZ)
sage: M = A([ [ I, 2*I],
....: [ 3*I, 4*I] ])
sage: M.conjugate_transpose()
+------+------+
- | -1*I | -3*I |
+ | -I | -3*I |
+------+------+
| -2*I | -4*I |
+------+------+
+ sage: M.conjugate_transpose().to_vector()
+ (0, -1, 0, -3, 0, -2, 0, -4)
"""
entries = [ [ self[j,i].conjugate()
SETUP::
- sage: from mjo.hurwitz import HurwitzMatrixAlgebra
+ sage: from mjo.hurwitz import (ComplexMatrixAlgebra,
+ ....: HurwitzMatrixAlgebra)
EXAMPLES::
- sage: A = HurwitzMatrixAlgebra(2, QQbar, ZZ)
+ sage: A = ComplexMatrixAlgebra(2, QQbar, ZZ)
sage: M = A([ [ 0,I],
....: [-I,0] ])
sage: M.is_hermitian()
True
+ ::
+
+ sage: A = HurwitzMatrixAlgebra(2, AA, QQ)
+ sage: M = A([ [1, 1],
+ ....: [1, 1] ])
+ sage: M.is_hermitian()
+ True
+
"""
# A tiny bit faster than checking equality with the conjugate
# transpose.
(0, 0, 0, 1)
"""
- from sage.modules.free_module import VectorSpace
+ from sage.modules.free_module import FreeModule
d = len(self.entry_algebra_gens())
- V = VectorSpace(self.entry_algebra().base_ring(), d)
+ V = FreeModule(self.entry_algebra().base_ring(), d)
return V(entry.coefficient_tuple())
class ComplexMatrixAlgebra(HurwitzMatrixAlgebra):
sage: (I,) = A.entry_algebra().gens()
sage: A([ [1+I, 1],
....: [-1, -I] ])
- +-------+----+
- | I + 1 | 1 |
- +-------+----+
- | -1 | -I |
- +-------+----+
+ +---------+------+
+ | 1 + 1*I | 1 |
+ +---------+------+
+ | -1 | -1*I |
+ +---------+------+
::
(0, 1)
"""
- from sage.modules.free_module import VectorSpace
+ from sage.modules.free_module import FreeModule
d = len(self.entry_algebra_gens())
- V = VectorSpace(self.entry_algebra().base_ring(), d)
+ V = FreeModule(self.entry_algebra().base_ring(), d)
return V((entry.real(), entry.imag()))