Changes
http://page.axiom-developer.org/zope/mathaction/195AddAConjugateTransposeOperationInMatrixCategory/diff
--
??changed:
-For example conjugateTranspose(a) * a will give a hermitian matrix.
For example conjugateTranspose(a) * a will give a hermitian positive definite
matrix.
??changed:
-De
Changes
http://page.axiom-developer.org/zope/mathaction/195AddAConjugateTransposeOperationInMatrixCategory/diff
--
??changed:
-Determinant and eigenvalues of a complex hermitian matrix are always real and
positive.
Determinant and eigenvalues of a this complex hermitian matrix are always real
a
Changes
http://page.axiom-developer.org/zope/mathaction/195AddAConjugateTransposeOperationInMatrixCategory/diff
--
??changed:
-For example conjugateTranspose(a) * a will give a positive definite Matrix.
-
For example conjugateTranspose(a) * a will give a hermitian matrix.
??changed:
-Determinant
Changes
http://page.axiom-developer.org/zope/mathaction/195AddAConjugateTransposeOperationInMatrixCategory/diff
--
It can be interesting to add a conjugateTranspose operation in MatrixCategory
RectangularMatrixCategory and SquareMatrixCategory.
For example conjugateTranspose(a) * a will give a po
Changes
http://page.axiom-developer.org/zope/mathaction/195AddAConjugateTransposeOperationInMatrixCategory/diff
--
\begin{axiom}
a:=matrix ([[%i,7],[6,3*%i]])
b := map(conjugate,transpose(a)) * a
\end{axiom}
Determinant and eigenvalues of a complex positive definite matrix are always
real and pos
