login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:06:21-08:00 (17 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

It can be interesting to add a conjugateTranspose operation in MatrixCategory? RectangularMatrixCategory? and SquareMatrixCategory?. For example conjugateTranspose(a) * a will give a hermitian positive definite matrix.

fricas
(1) -> a:=matrix ([[%i,7],[6,3*%i]])

\label{eq1}\left[ 
\begin{array}{cc}
i & 7 
\
6 &{3 \  i}
(1)
Type: Matrix(Complex(Integer))
fricas
b := map(conjugate,transpose(a)) * a

\label{eq2}\left[ 
\begin{array}{cc}
{37}&{{11}\  i}
\
-{{11}\  i}&{58}
(2)
Type: Matrix(Complex(Integer))

Determinant and eigenvalues of this matrix are always real and positive. For example,

fricas
determinant(b)

\label{eq3}2025(3)
Type: Complex(Integer)




  Subject: (replying)   Be Bold !!
  ( 15 subscribers )  
Please rate this page: