|
6 | 6 |
|
7 | 7 | rng = MersenneTwister(1234) |
8 | 8 |
|
9 | | - @testset begin |
10 | | - @test_throws AssertionError StandardBasisVector(0, 1) |
11 | | - @test_throws AssertionError StandardBasisVector(-10, 1) |
12 | | - @test_throws AssertionError StandardBasisVector(10, 11) |
13 | | - @test_throws AssertionError StandardBasisVector(10, -2) |
14 | | - |
15 | | - for T in (Int, Float64, Float32) |
16 | | - r = rand(rng, T) |
17 | | - e = StandardBasisVector(2, 1, r) |
18 | | - @test eltype(e) === T |
19 | | - @test e[1] === r |
20 | | - @test e[2] === zero(r) |
21 | | - end |
| 9 | + @test_throws AssertionError StandardBasisVector(0, 1) |
| 10 | + @test_throws AssertionError StandardBasisVector(-10, 1) |
| 11 | + @test_throws AssertionError StandardBasisVector(10, 11) |
| 12 | + @test_throws AssertionError StandardBasisVector(10, -2) |
| 13 | + |
| 14 | + for T in (Int, Float64, Float32) |
| 15 | + r = rand(rng, T) |
| 16 | + e = StandardBasisVector(2, 1, r) |
| 17 | + @test eltype(e) === T |
| 18 | + @test e[1] === r |
| 19 | + @test e[2] === zero(r) |
22 | 20 | end |
23 | 21 |
|
24 | 22 | # Same sizes |
25 | | - @testset begin |
26 | | - for N in 1:8 |
27 | | - for I in 1:N |
28 | | - for T in (Int, Float64, Float32) |
29 | | - scale = rand(rng, T) |
30 | | - e = StandardBasisVector(N, I, scale) |
31 | | - e_c = zeros(T, N) |
32 | | - e_c[I] = scale |
33 | | - |
34 | | - m = rand(rng, T) |
35 | | - v = rand(rng, T, N) |
36 | | - A = rand(rng, T, N, N) |
37 | | - a = rand(rng, T, N, 1) |
38 | | - |
39 | | - @test m * e == m * e_c |
40 | | - @test m * e' == m * e_c' |
41 | | - @test e * m == e_c * m |
42 | | - @test e' * m == e_c' * m |
43 | | - |
44 | | - for A in (A, Diagonal(diag(A)), A') |
45 | | - @test (A * e) == (A * e_c) |
46 | | - @test (A' * e) == (A' * e_c) |
47 | | - @test (e * e') == (e_c * e_c') |
48 | | - @test (e' * e) == (e_c' * e_c) |
49 | | - @test (v' * e) == (v' * e_c) |
50 | | - @test (e' * v) == (e_c' * v) |
51 | | - @test (e' * v) == (e_c' * v) |
52 | | - @test (a' * e) == (a' * e_c) |
53 | | - @test (a * e') == (a * e_c') |
54 | | - |
55 | | - t = rand(rng, T) |
56 | | - |
57 | | - @test ReactiveMP.v_a_vT(e, t) ≈ ReactiveMP.v_a_vT(e_c, t) |
58 | | - @test ReactiveMP.v_a_vT(e, t, e) ≈ ReactiveMP.v_a_vT(e_c, t, e_c) |
59 | | - |
60 | | - @test dot(e, A, e) === dot(e_c, A, e_c) |
61 | | - @test dot(e, e) === dot(e_c, e_c) |
62 | | - @test dot(e, e_c) === dot(e_c, e_c) |
63 | | - @test dot(e_c, e) === dot(e_c, e_c) |
64 | | - @test dot(v, e) === dot(v, e_c) |
65 | | - @test dot(e, v) === dot(e_c, v) |
66 | | - @test dot(v, e') === dot(v, e_c') |
67 | | - @test dot(e', v) === dot(e_c', v) |
68 | | - @test dot(v', e) === dot(v', e_c) |
69 | | - @test dot(e, v') === dot(e_c, v') |
70 | | - @test dot(v', e') === dot(v', e_c') |
71 | | - @test dot(e', v') === dot(e_c', v') |
72 | | - end |
| 23 | + for N in 1:8 |
| 24 | + for I in 1:N |
| 25 | + for T in (Int, Float64, Float32) |
| 26 | + scale = rand(rng, T) |
| 27 | + e = StandardBasisVector(N, I, scale) |
| 28 | + e_c = zeros(T, N) |
| 29 | + e_c[I] = scale |
| 30 | + |
| 31 | + m = rand(rng, T) |
| 32 | + v = rand(rng, T, N) |
| 33 | + A = rand(rng, T, N, N) |
| 34 | + a = rand(rng, T, N, 1) |
| 35 | + |
| 36 | + @test m * e == m * e_c |
| 37 | + @test m * e' == m * e_c' |
| 38 | + @test e * m == e_c * m |
| 39 | + @test e' * m == e_c' * m |
| 40 | + |
| 41 | + for A in (A, Diagonal(diag(A)), A') |
| 42 | + @test (A * e) == (A * e_c) |
| 43 | + @test (A' * e) == (A' * e_c) |
| 44 | + @test (e * e') == (e_c * e_c') |
| 45 | + @test (e' * e) == (e_c' * e_c) |
| 46 | + @test (v' * e) == (v' * e_c) |
| 47 | + @test (e' * v) == (e_c' * v) |
| 48 | + @test (e' * v) == (e_c' * v) |
| 49 | + @test (a' * e) == (a' * e_c) |
| 50 | + @test (a * e') == (a * e_c') |
| 51 | + |
| 52 | + t = rand(rng, T) |
| 53 | + |
| 54 | + @test ReactiveMP.v_a_vT(e, t) ≈ ReactiveMP.v_a_vT(e_c, t) |
| 55 | + @test ReactiveMP.v_a_vT(e, t, e) ≈ ReactiveMP.v_a_vT(e_c, t, e_c) |
| 56 | + |
| 57 | + @test dot(e, A, e) === dot(e_c, A, e_c) |
| 58 | + @test dot(e, e) === dot(e_c, e_c) |
| 59 | + @test dot(e, e_c) === dot(e_c, e_c) |
| 60 | + @test dot(e_c, e) === dot(e_c, e_c) |
| 61 | + @test dot(v, e) === dot(v, e_c) |
| 62 | + @test dot(e, v) === dot(e_c, v) |
| 63 | + @test dot(v, e') === dot(v, e_c') |
| 64 | + @test dot(e', v) === dot(e_c', v) |
| 65 | + @test dot(v', e) === dot(v', e_c) |
| 66 | + @test dot(e, v') === dot(e_c, v') |
| 67 | + @test dot(v', e') === dot(v', e_c') |
| 68 | + @test dot(e', v') === dot(e_c', v') |
73 | 69 | end |
74 | 70 | end |
75 | 71 | end |
76 | 72 | end |
| 73 | + |
77 | 74 | # Different sizes |
78 | | - @testset begin |
79 | | - for N1 in 1:4, N2 in 1:4 |
80 | | - if N1 !== N2 |
81 | | - for I1 in 1:N1, I2 in 1:N2 |
82 | | - for T in (Int, Float64, Float32) |
83 | | - scale1 = rand(rng, T) |
84 | | - scale2 = rand(rng, T) |
85 | | - e1 = StandardBasisVector(N1, I1, scale1) |
86 | | - e2 = StandardBasisVector(N2, I2, scale2) |
87 | | - e_c1 = zeros(T, N1) |
88 | | - e_c1[I1] = scale1 |
89 | | - e_c2 = zeros(T, N2) |
90 | | - e_c2[I2] = scale2 |
91 | | - |
92 | | - @test_throws AssertionError dot(e1, e2) |
93 | | - @test_throws AssertionError dot(e_c1, e2) |
94 | | - @test_throws AssertionError dot(e1, e_c2) |
95 | | - @test_throws AssertionError dot(e2, e1) |
96 | | - @test_throws AssertionError dot(e_c2, e1) |
97 | | - @test_throws AssertionError dot(e2, e_c1) |
98 | | - |
99 | | - @test e1 * e2' == e_c1 * e_c2' |
100 | | - @test e2 * e1' == e_c2 * e_c1' |
101 | | - @test e_c1 * e2' == e_c1 * e_c2' |
102 | | - @test e_c2 * e1' == e_c2 * e_c1' |
103 | | - @test e1 * e_c2' == e_c1 * e_c2' |
104 | | - @test e2 * e_c1' == e_c2 * e_c1' |
105 | | - @test_throws AssertionError e1' * e2 |
106 | | - @test_throws AssertionError e1' * e_c2 |
107 | | - @test_throws AssertionError e2' * e1 |
108 | | - @test_throws AssertionError e2' * e_c1 |
109 | | - end |
| 75 | + for N1 in 1:4, N2 in 1:4 |
| 76 | + if N1 !== N2 |
| 77 | + for I1 in 1:N1, I2 in 1:N2 |
| 78 | + for T in (Int, Float64, Float32) |
| 79 | + scale1 = rand(rng, T) |
| 80 | + scale2 = rand(rng, T) |
| 81 | + e1 = StandardBasisVector(N1, I1, scale1) |
| 82 | + e2 = StandardBasisVector(N2, I2, scale2) |
| 83 | + e_c1 = zeros(T, N1) |
| 84 | + e_c1[I1] = scale1 |
| 85 | + e_c2 = zeros(T, N2) |
| 86 | + e_c2[I2] = scale2 |
| 87 | + |
| 88 | + @test_throws AssertionError dot(e1, e2) |
| 89 | + @test_throws AssertionError dot(e_c1, e2) |
| 90 | + @test_throws AssertionError dot(e1, e_c2) |
| 91 | + @test_throws AssertionError dot(e2, e1) |
| 92 | + @test_throws AssertionError dot(e_c2, e1) |
| 93 | + @test_throws AssertionError dot(e2, e_c1) |
| 94 | + |
| 95 | + @test e1 * e2' == e_c1 * e_c2' |
| 96 | + @test e2 * e1' == e_c2 * e_c1' |
| 97 | + @test e_c1 * e2' == e_c1 * e_c2' |
| 98 | + @test e_c2 * e1' == e_c2 * e_c1' |
| 99 | + @test e1 * e_c2' == e_c1 * e_c2' |
| 100 | + @test e2 * e_c1' == e_c2 * e_c1' |
| 101 | + @test_throws AssertionError e1' * e2 |
| 102 | + @test_throws AssertionError e1' * e_c2 |
| 103 | + @test_throws AssertionError e2' * e1 |
| 104 | + @test_throws AssertionError e2' * e_c1 |
110 | 105 | end |
111 | 106 | end |
112 | 107 | end |
113 | 108 | end |
114 | 109 |
|
115 | | - @testset begin |
116 | | - import ReactiveMP: v_a_vT |
| 110 | + import ReactiveMP: v_a_vT |
117 | 111 |
|
118 | | - for i in 2:5, j in 1:i, scale in (1.0, 2.0), a in rand(5) |
119 | | - e1 = StandardBasisVector(i, j, scale) |
120 | | - v1 = collect(e1) |
121 | | - @test v_a_vT(e1, a) ≈ v_a_vT(v1, a) |
| 112 | + for i in 2:5, j in 1:i, scale in (1.0, 2.0), a in rand(5) |
| 113 | + e1 = StandardBasisVector(i, j, scale) |
| 114 | + v1 = collect(e1) |
| 115 | + @test v_a_vT(e1, a) ≈ v_a_vT(v1, a) |
122 | 116 |
|
123 | | - e2 = StandardBasisVector(i, i - j + 1, scale) |
124 | | - v2 = collect(e2) |
| 117 | + e2 = StandardBasisVector(i, i - j + 1, scale) |
| 118 | + v2 = collect(e2) |
125 | 119 |
|
126 | | - @test v_a_vT(e1, a, e2) ≈ v_a_vT(v1, a, v2) |
127 | | - @test v_a_vT(e1, a, v2) ≈ v_a_vT(v1, a, v2) |
128 | | - @test v_a_vT(v1, a, e2) ≈ v_a_vT(v1, a, v2) |
129 | | - end |
| 120 | + @test v_a_vT(e1, a, e2) ≈ v_a_vT(v1, a, v2) |
| 121 | + @test v_a_vT(e1, a, v2) ≈ v_a_vT(v1, a, v2) |
| 122 | + @test v_a_vT(v1, a, e2) ≈ v_a_vT(v1, a, v2) |
130 | 123 | end |
131 | 124 | end |
0 commit comments