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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132

// Copyright 2018-2024 argmin developers
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://apache.org/licenses/LICENSE-2.0> or the MIT license <LICENSE-MIT or
// http://opensource.org/licenses/MIT>, at your option. This file may not be
// copied, modified, or distributed except according to those terms.

use crate::ArgminConj;
use num_complex::Complex;

macro_rules! make_conj {
    ($t:ty) => {
        impl ArgminConj for Vec<$t> {
            #[inline]
            fn conj(&self) -> Vec<$t> {
                self.iter().map(|a| <$t as ArgminConj>::conj(a)).collect()
            }
        }

        impl ArgminConj for Vec<Vec<$t>> {
            #[inline]
            fn conj(&self) -> Vec<Vec<$t>> {
                self.iter()
                    .map(|a| a.iter().map(|b| <$t as ArgminConj>::conj(b)).collect())
                    .collect()
            }
        }
    };
}

make_conj!(i8);
make_conj!(i16);
make_conj!(i32);
make_conj!(i64);
make_conj!(f32);
make_conj!(f64);
make_conj!(Complex<i8>);
make_conj!(Complex<i16>);
make_conj!(Complex<i32>);
make_conj!(Complex<i64>);
make_conj!(Complex<f32>);
make_conj!(Complex<f64>);

#[cfg(test)]
mod tests {
    use super::*;
    use paste::item;

    macro_rules! make_test {
        ($t:ty) => {
            item! {
                #[test]
                fn [<test_conj_complex_vec_ $t>]() {
                    let a = vec![
                        Complex::new(1 as $t, 2 as $t),
                        Complex::new(4 as $t, -3 as $t),
                        Complex::new(8 as $t, 0 as $t)
                    ];
                    let b = vec![
                        Complex::new(1 as $t, -2 as $t),
                        Complex::new(4 as $t, 3 as $t),
                        Complex::new(8 as $t, 0 as $t)
                    ];
                    let res = <Vec<Complex<$t>> as ArgminConj>::conj(&a);
                    for i in 0..3 {
                        let tmp = b[i] - res[i];
                        let norm = ((tmp.re * tmp.re + tmp.im * tmp.im) as f64).sqrt();
                        assert!(norm  < std::f64::EPSILON);
                    }
                }
            }

            item! {
                #[test]
                fn [<test_conj_vec_ $t>]() {
                    let a = vec![1 as $t, 4 as $t, 8 as $t];
                    let b = vec![1 as $t, 4 as $t, 8 as $t];
                    let res = <Vec<$t> as ArgminConj>::conj(&a);
                    for i in 0..3 {
                        let diff = (b[i] as f64 - res[i] as f64).abs();
                        assert!(diff  < std::f64::EPSILON);
                    }
                }
            }

            item! {
                #[test]
                fn [<test_conj_complex_vec_vec_ $t>]() {
                    let a = vec![
                        vec![
                            Complex::new(1 as $t, 2 as $t),
                            Complex::new(4 as $t, -3 as $t),
                            Complex::new(8 as $t, 0 as $t)
                        ],
                        vec![
                            Complex::new(1 as $t, -5 as $t),
                            Complex::new(4 as $t, 6 as $t),
                            Complex::new(8 as $t, 0 as $t)
                        ],
                    ];
                    let b = vec![
                        vec![
                            Complex::new(1 as $t, -2 as $t),
                            Complex::new(4 as $t, 3 as $t),
                            Complex::new(8 as $t, 0 as $t)
                        ],
                        vec![
                            Complex::new(1 as $t, 5 as $t),
                            Complex::new(4 as $t, -6 as $t),
                            Complex::new(8 as $t, 0 as $t)
                        ],
                    ];
                    let res = <Vec<Vec<Complex<$t>>> as ArgminConj>::conj(&a);
                    for i in 0..2 {
                        for j in 0..3 {
                            let tmp = b[i][j] - res[i][j];
                            let norm = ((tmp.re * tmp.re + tmp.im * tmp.im) as f64).sqrt();
                            assert!(norm  < std::f64::EPSILON);
                        }
                    }
                }
            }
        };
    }

    make_test!(i8);
    make_test!(i16);
    make_test!(i32);
    make_test!(i64);
    make_test!(f32);
    make_test!(f64);
}