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())
}
}