explode-0.cc 9.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217
  1. // -*- mode: c++; coding: utf-8 -*-
  2. /// @file explode-0.cc
  3. /// @brief Tests for explode() and collapse().
  4. // (c) Daniel Llorens - 2013-2016
  5. // This library is free software; you can redistribute it and/or modify it under
  6. // the terms of the GNU Lesser General Public License as published by the Free
  7. // Software Foundation; either version 3 of the License, or (at your option) any
  8. // later version.
  9. #include <iostream>
  10. #include <iterator>
  11. #include <numeric>
  12. #include "ra/complex.hh"
  13. #include "ra/test.hh"
  14. #include "ra/ra.hh"
  15. #include "ra/mpdebug.hh"
  16. using std::cout, std::endl, std::flush, ra::TestRecorder;
  17. using real = double;
  18. using complex = std::complex<double>;
  19. int main()
  20. {
  21. TestRecorder tr(std::cout);
  22. tr.section("explode");
  23. {
  24. ra::Big<int, 2> A({2, 3}, ra::_0 - ra::_1);
  25. auto B = ra::explode<ra::Small<int, 3>>(A);
  26. tr.test_eq(3, size_s(B(0)));
  27. tr.test_eq(ra::Small<int, 3> {0, -1, -2}, B(0));
  28. tr.test_eq(ra::Small<int, 3> {1, 0, -1}, B(1));
  29. B(1) = 9;
  30. tr.test_eq(ra::Small<int, 3> {0, -1, -2}, B(0));
  31. tr.test_eq(ra::Small<int, 3> {9, 9, 9}, B(1));
  32. }
  33. // note that dynamic-rank operator() returns a rank 0 array (since the rank
  34. // cannot be known at compile time). So we have to peel that back.
  35. {
  36. ra::Big<int> A({2, 3}, ra::_0 - ra::_1);
  37. auto B = ra::explode<ra::Small<int, 3>>(A);
  38. tr.test_eq(3, size_s(*(B(0).data())));
  39. tr.test_eq(ra::scalar(ra::Small<int, 3> {0, -1, -2}), B(0));
  40. tr.test_eq(ra::scalar(ra::Small<int, 3> {1, 0, -1}), B(1));
  41. B(1) = 9;
  42. tr.test_eq(ra::scalar(ra::Small<int, 3> {0, -1, -2}), B(0));
  43. tr.test_eq(ra::scalar(ra::Small<int, 3> {9, 9, 9}), B(1));
  44. }
  45. tr.section("explode<complex>");
  46. {
  47. ra::Big<real, 3> A({2, 3, 2}, ra::_0 - ra::_1 + ra::_2);
  48. auto B = ra::explode<complex>(A);
  49. tr.test_eq(2, B.rank());
  50. tr.test_eq(ra::Small<real, 2, 3> {0, -1, -2, 1, 0, -1}, real_part(B));
  51. tr.test_eq(ra::Small<real, 2, 3> {1, 0, -1, 2, 1, 0}, imag_part(B));
  52. imag_part(B(1)) = 9;
  53. tr.test_eq(ra::Small<real, 2, 3> {0, -1, -2, 1, 0, -1}, A(ra::all, ra::all, 0));
  54. tr.test_eq(ra::Small<real, 2, 3> {1, 0, -1, 9, 9, 9}, A(ra::all, ra::all, 1));
  55. }
  56. {
  57. ra::Big<real> A({2, 3, 2}, ra::_0 - ra::_1 + ra::_2);
  58. auto B = ra::explode<complex>(A);
  59. tr.test_eq(2, B.rank());
  60. tr.test_eq(ra::Small<real, 2, 3> {0, -1, -2, 1, 0, -1}, real_part(B));
  61. tr.test_eq(ra::Small<real, 2, 3> {1, 0, -1, 2, 1, 0}, imag_part(B));
  62. imag_part(B(1)) = 9;
  63. tr.test_eq(ra::Small<real, 2, 3> {0, -1, -2, 1, 0, -1}, A(ra::all, ra::all, 0));
  64. tr.test_eq(ra::Small<real, 2, 3> {1, 0, -1, 9, 9, 9}, A(ra::all, ra::all, 1));
  65. }
  66. tr.section("collapse");
  67. {
  68. tr.section("sub is real to super complex");
  69. {
  70. auto test_sub_real = [&tr](auto && A)
  71. {
  72. A = ra::cast<double>(ra::_0)*complex(4, 1) + ra::cast<double>(ra::_1)*complex(1, 4);
  73. auto B = ra::collapse<double>(A);
  74. tr.test_eq(real_part(A), B(ra::all, ra::all, 0));
  75. tr.test_eq(imag_part(A), B(ra::all, ra::all, 1));
  76. };
  77. test_sub_real(ra::Unique<complex, 2>({4, 4}, ra::none));
  78. test_sub_real(ra::Unique<complex>({4, 4}, ra::none));
  79. }
  80. tr.section("sub is int to super Small of rank 1");
  81. {
  82. using r2 = ra::Small<int, 2>;
  83. auto test_sub_small2 = [&tr](auto && A)
  84. {
  85. A = map([](int i, int j) { return r2 {i+j, i-j}; }, ra::_0, ra::_1);
  86. auto B = ra::collapse<int>(A);
  87. tr.test_eq(B(ra::all, ra::all, 0), map([](auto && a) { return a(0); }, A));
  88. tr.test_eq(B(ra::all, ra::all, 1), map([](auto && a) { return a(1); }, A));
  89. };
  90. test_sub_small2(ra::Unique<r2, 2>({4, 4}, ra::none));
  91. test_sub_small2(ra::Unique<r2>({4, 4}, ra::none));
  92. }
  93. tr.section("sub is int to super Small of rank 2");
  94. {
  95. using super = ra::Small<int, 2, 3>;
  96. auto test_sub_small23 = [&tr](auto && A)
  97. {
  98. A = map([](int i, int j) { return super(i-j+ra::_0-ra::_1); }, ra::_0, ra::_1);
  99. auto B = ra::collapse<int>(A);
  100. for (int i=0; i<super::size(0); ++i) {
  101. for (int j=0; j<super::size(1); ++j) {
  102. tr.test_eq(B(ra::all, ra::all, i, j), map([i, j](auto && a) { return a(i, j); }, A));
  103. }
  104. }
  105. };
  106. test_sub_small23(ra::Unique<super, 2>({2, 2}, ra::none));
  107. test_sub_small23(ra::Unique<super>({2, 2}, ra::none));
  108. }
  109. tr.section("sub is Small of rank 1 to super Small of rank 2");
  110. {
  111. using super = ra::Small<int, 2, 3>;
  112. auto test_sub_small23 = [&tr](auto && A)
  113. {
  114. A = map([](int i, int j) { return super(i-j+ra::_0-ra::_1); }, ra::_0, ra::_1);
  115. using sub = ra::Small<int, 3>;
  116. auto B = ra::collapse<sub>(A);
  117. // TODO sub() is used to cover a problem with where() and SmallView/SmallArray, since they convert to each other
  118. tr.test_eq(B(ra::all, ra::all, 0), map([](auto && a) { return sub(a(0)); }, A));
  119. tr.test_eq(B(ra::all, ra::all, 1), map([](auto && a) { return sub(a(1)); }, A));
  120. };
  121. test_sub_small23(ra::Unique<super, 2>({2, 2}, ra::none));
  122. test_sub_small23(ra::Unique<super>({2, 2}, ra::none));
  123. }
  124. tr.section("sub is real to super complex Small of rank 2");
  125. {
  126. using super = ra::Small<complex, 2, 2>;
  127. auto test_sub_real = [&tr](auto && A)
  128. {
  129. A = map([](complex a) { return super { a, conj(a), -conj(a), -a }; },
  130. ra::cast<double>(ra::_0)*complex(4, 1) + ra::cast<double>(ra::_1)*complex(1, 4));
  131. auto B = ra::collapse<double>(A);
  132. for (int i=0; i<super::size(0); ++i) {
  133. for (int j=0; j<super::size(1); ++j) {
  134. tr.test_eq(B(ra::all, ra::all, i, j, 0), map([i, j](auto && a) { return real_part(a(i, j)); }, A));
  135. tr.test_eq(B(ra::all, ra::all, i, j, 1), map([i, j](auto && a) { return imag_part(a(i, j)); }, A));
  136. }
  137. }
  138. };
  139. test_sub_real(ra::Unique<super, 2>({4, 4}, ra::none));
  140. test_sub_real(ra::Unique<super>({4, 4}, ra::none));
  141. }
  142. }
  143. tr.section("old tests");
  144. {
  145. tr.section("super rank 1");
  146. {
  147. auto test = [&tr](auto && A)
  148. {
  149. using T = ra::Small<double, 2>;
  150. auto B = ra::explode<T>(A);
  151. for (int i=0; i<3; ++i) {
  152. tr.test_eq(i*2, ((T &)(B(i)))(0));
  153. tr.test_eq(i*2+1, ((T &)(B(i)))(1));
  154. }
  155. };
  156. test(ra::Unique<double, 2>({4, 2}, ra::_0*2 + ra::_1));
  157. test(ra::Unique<double>({4, 2}, ra::_0*2 + ra::_1));
  158. }
  159. tr.section("super rank 0");
  160. {
  161. #define TEST(CHECK_RANK_S) \
  162. [&tr](auto && A) \
  163. { \
  164. using T = complex; \
  165. auto convtest = [](T & x) -> T & { return x; }; \
  166. auto B = ra::explode_<T, 1>(A); \
  167. static_assert(rank_s(B)==CHECK_RANK_S, "bad static rank"); \
  168. cout << B << endl; \
  169. for (int i=0; i<3; ++i) { \
  170. tr.test_eq(i*2, real_part((T &)(B(i)))); \
  171. tr.test_eq(i*2+1, imag_part((T &)(B(i)))); \
  172. tr.test_eq(i*2, convtest(B(i)).real()); \
  173. tr.test_eq(i*2+1, convtest(B(i)).imag()); \
  174. } \
  175. }
  176. TEST(ra::RANK_ANY)(ra::Unique<double>({4, 2}, ra::_0*2 + ra::_1));
  177. TEST(1)(ra::Unique<double, 2>({4, 2}, ra::_0*2 + ra::_1));
  178. }
  179. tr.section("super rank 2");
  180. {
  181. auto test = [&tr](auto && A)
  182. {
  183. using T = ra::Small<double, 2, 2>;
  184. auto B = ra::explode<T>(A);
  185. tr.test_eq(1, B.rank());
  186. tr.test_eq(T { 0, 1, 2, 3 }, (T &)(B[0]));
  187. tr.test_eq(T { 4, 5, 6, 7 }, (T &)(B[1]));
  188. tr.test_eq(T { 8, 9, 10, 11 }, (T &)(B[2]));
  189. tr.test_eq(T { 12, 13, 14, 15}, (T &)(B[3]));
  190. };
  191. test(ra::Unique<double, 3>({4, 2, 2}, ra::_0*4 + ra::_1*2 + ra::_2));
  192. test(ra::Unique<double>({4, 2, 2}, ra::_0*4 + ra::_1*2 + ra::_2));
  193. }
  194. }
  195. tr.section("explode for Small");
  196. {
  197. ra::Small<double, 2, 3> a(ra::_0 + 10*ra::_1);
  198. auto c = ra::explode<ra::Small<double, 3>>(a);
  199. using sizes = std::decay_t<decltype(c)>::sizes;
  200. using strides = std::decay_t<decltype(c)>::strides;
  201. tr.info(mp::print_int_list<sizes> {}).test(std::is_same_v<mp::int_list<2>, sizes>);
  202. tr.info(mp::print_int_list<strides> {}).test(std::is_same_v<mp::int_list<1>, strides>);
  203. tr.test_eq(ra::scalar(a[0].data()), ra::scalar(c[0].data()));
  204. tr.test_eq(ra::scalar(a[1].data()), ra::scalar(c[1].data()));
  205. c[1] = { 3, 2, 1 };
  206. tr.test_eq(ra::Small<double, 3> { 0, 10, 20 }, c[0]);
  207. tr.test_eq(ra::Small<double, 3> { 0, 10, 20 }, a[0]);
  208. tr.test_eq(ra::Small<double, 3> { 3, 2, 1 }, a[1]);
  209. }
  210. return tr.summary();
  211. }