123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202 |
- // -*- mode: c++; coding: utf-8 -*-
- // ra-ra/examples - Indirect indexing
- // Daniel Llorens - 2015
- // Adapted from blitz++/examples/indirect.cpp
- // The point of this example in Blitz++ seems to be to show off the compact
- // notation. ra:: doesn't support special sparse selectors like Blitz++ does,
- // and the alternatves look more verbose, but I don't want to clog every expr
- // type with additional variants of operator() or operator[] (which on C++17
- // still need to be members). The sparse selectors should be better defined as
- // standalone functions with separate names depending on the kind of indexing
- // they do.
- #include "ra/ra.hh"
- #include <vector>
- #include <iostream>
- using std::cout, std::endl;
- using ra::sqr;
- void
- example1()
- {
- // Indirection using a list of coordinates
- ra::Big<int, 2> A({4, 4}, 0), B({4, 4}, 10*ra::_0 + ra::_1);
- using coord = ra::Small<int, 2>;
- ra::Big<coord, 1> I = { {1, 1}, {2, 2} };
- // Blitz++ had A[I] = B.
- // In ra::, both sides of = must agree in shape. E.g. if A has rank 1, then I and B must agree in shape (not A and B).
- // Also, the selector () is outer product (to index two axes, you need two arguments). The 'coord' selector is at().
- // So this is the most direct translation. Note the -> decltype(auto) to construct a reference expr.
- map([&A](auto && c) -> decltype(auto) { return A.at(c); }, I)
- = map([&B](auto && c) { return B.at(c); }, I);
- // More reasonably
- for_each([&A, &B](auto && c) { A.at(c) = B.at(c); }, I);
- // There is an array op for at(). See also example5 below.
- at(A, I) = at(B, I);
- cout << "B = " << B << endl << "A = " << A << endl;
- // B = 4 x 4
- // 0 1 2 3
- // 10 11 12 13
- // 20 21 22 23
- // 30 31 32 33
- // A = 4 x 4
- // 0 0 0 0
- // 0 11 0 0
- // 0 0 22 0
- // 0 0 0 0
- }
- void
- example2()
- {
- // Cartesian-product indirection
- ra::Big<int, 2> A({6, 6}, 0), B({6, 6}, 10*ra::_0 + ra::_1);
- ra::Big<int, 1> I { 1, 2, 4 }, J { 2, 0, 5 };
- // The normal selector () already has Cartesian-product behavior. As before, both sides must agree in shape.
- A(I, J) = B(I, J);
- cout << "B = " << B << endl << "A = " << A << endl;
- // B = 6 x 6
- // 0 1 2 3 4 5
- // 10 11 12 13 14 15
- // 20 21 22 23 24 25
- // 30 31 32 33 34 35
- // 40 41 42 43 44 45
- // 50 51 52 53 54 55
- // A = 6 x 6
- // 0 0 0 0 0 0
- // 10 0 12 0 0 15
- // 20 0 22 0 0 25
- // 0 0 0 0 0 0
- // 40 0 42 0 0 45
- // 0 0 0 0 0 0
- }
- void
- example3()
- {
- // Simple 1-D indirection, using a STL container of int
- ra::Big<int, 1> A({5}, 0), B({ 1, 2, 3, 4, 5 });
- ra::Big<int, 1> I {2, 4, 1};
- // As before, both sides must agree in shape.
- A(I) = B(I);
- cout << "B = " << B << endl << "A = " << A << endl;
- // B = [ 1 2 3 4 5 ]
- // A = [ 0 2 3 0 5 ]
- }
- void
- example4()
- {
- // Indirection using a list of rect domains (RectDomain<N> objects in Blitz++).
- // ra:: doesn't have those, so we fake it.
- int const N = 7;
- ra::Big<int, 2> A({N, N}, 0.), B({N, N}, 1.);
- double centre_i = (N-1)/2.0;
- double centre_j = (N-1)/2.0;
- double radius = 0.8 * N/2.0;
- // circle will contain a list of strips which represent a circular subdomain.
- ra::Big<std::tuple<int, int, int>, 1> circle; // [y x0 x1; ...]
- for (int i=0; i < N; ++i) {
- double jdist2 = sqr(radius) - sqr(i-centre_i);
- if (jdist2 < 0.0)
- continue;
- int jdist = int(sqrt(jdist2));
- int j0 = int(centre_j - jdist);
- int j1 = int(centre_j + jdist);
- circle.push_back(std::make_tuple(i, j0, j1));
- }
- // Set only those points in the circle subdomain to 1
- map([&A](auto && c) -> decltype(auto) { auto [i, j0, j1] = c; return A(i, ra::iota(j1-j0+1, j0)); }, circle)
- = map([&B](auto && c) { auto [i, j0, j1] = c; return B(i, ra::iota(j1-j0+1, j0)); }, circle);
- // or more reasonably
- for_each([&A, &B](auto && c) { auto [i, j0, j1] = c; auto j = ra::iota(j1-j0+1, j0); A(i, j) = B(i, j); },
- circle);
- // but it would be easier to just do
- A = 0.;
- B = 1.;
- A = where(sqr(ra::_0-centre_i)+sqr(ra::_1-centre_j)<sqr(radius), B, A);
- cout << "A = " << A << endl;
- // A = 7 x 7
- // 0 0 0 0 0 0 0
- // 0 0 1 1 1 0 0
- // 0 1 1 1 1 1 0
- // 0 1 1 1 1 1 0
- // 0 1 1 1 1 1 0
- // 0 0 1 1 1 0 0
- // 0 0 0 0 0 0 0
- }
- void
- example5()
- {
- // suppose you have the x coordinates in one array and the y coordinates in another array.
- ra::Big<int, 2> x({4, 4}, {0, 1, 2, 0, /* */ 0, 1, 2, 0, /* */ 0, 1, 2, 0, /* */ 0, 1, 2, 0});
- ra::Big<int, 2> y({4, 4}, {1, 2, 0, 1, /* */ 1, 2, 0, 1, /* */ 1, 2, 0, 1, /* */ 1, 2, 0, 1});
- cout << "coordinates: " << format_array(ra::pack<ra::Small<int, 2>>(x, y), { .sep0="|" }) << endl;
- // you can use these for indirect access without creating temporaries.
- ra::Big<int, 2> a({3, 3}, {0, 1, 2, 3, 4, 5, 6, 7, 8});
- ra::Big<int, 2> b = at(a, ra::pack<ra::Small<int, 2>>(x, y));
- cout << "sampling of a using coordinates: " << b << endl;
- // cf the default selection operator, which creates an outer product a(x(i, j), y(k, l)) (a 4x4x4x4 array).
- cout << "outer product selection: " << a(x, y) << endl;
- }
- void
- example6()
- {
- ra::Big<int, 1> v = { 1, 3, 4, 9, 15, 12, 0, 1, 15, 12, 0, 3, 4, 8 };
- constexpr char chmap[] = "0123456789ABCDEF";
- cout << format_array(map(ra::Big<char, 1>(chmap), v), { .sep0="" }) << endl; // FIXME make ra::start(chmap) work
- }
- // from the manual on ra::iota()
- void
- example7()
- {
- ra::Big<int, 1> a = {1, 2, 3, 4, 5, 6};
- ra::Big<int, 1> b = {1, 2, 3};
- cout << (b + a(ra::iota())) << endl; // a(iota()) has undefined length
- }
- int main()
- {
- example1();
- example2();
- example3();
- example4();
- example5();
- example6();
- example7();
- }
|