1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
use num_complex::{Complex};
use num_traits::Float;

use crate::{matrix_init, Matrix};

pub trait Herm: Matrix
where
    Self::Output: Matrix
{
    type Output;
    
    /// Returns the Hermitian complex-conjugate transposed matrix
    /// 
    /// Aᴴ = (A*)ᵀ
    /// 
    /// # Examples
    /// 
    /// ```rust
    /// let a = [
    ///     [Complex::new(1.0, 1.0), Complex::new(2.0, -1.0)],
    ///     [Complex::new(3.0, 1.0), Complex::new(4.0, -1.0)]
    /// ];
    /// let ah = [
    ///     [a[0][0].conj(), a[1][0].conj()],
    ///     [a[0][1].conj(), a[1][1].conj()]
    /// ];
    /// assert_eq!(a.herm(), ah);
    /// ```
    fn herm(&self) -> Self::Output;
}

impl<F: Float, const L: usize, const H: usize> Herm for [[Complex<F>; L]; H]
where
    Self: Matrix,
    [[Complex<F>; H]; L]: Matrix
{
    type Output = [[Complex<F>; H]; L];
    fn herm(&self) -> Self::Output
    {
        matrix_init(|r, c| self[c][r].conj())
    }
}