2
0
mirror of https://github.com/boostorg/ublas.git synced 2026-01-20 05:02:42 +00:00
Files
ublas/test/tensor/test_multiplication.cpp
Amit Singh e68819c645 Phase 1: adding static extents and static strides
fix macro for MSVC

adding noexcept

fixing test and making changes

adding comparison test and adding resolving issue

changing extents API

fixing MSVC errors

fixing MSVC error

adding static prod function and adding std::array to static extents and static strides

fixing get_number_list

refactoring meta_function into type_traits and adding staic_traits for static_extents

fixing extents_result_type_outer_prod and combining static_functions and functions

removing unnecessary code and header file

removing unnecessary forward declaration

private member resize and adding removed constructors for matrix and vector

changing size_t to std::size_t and fixing stride_t

adding is_resizable type trait for tensor resizing

improve documenting of is_resizable

refactoring code

changing msvc version in .yml

changing toolset msvc-14.1 to msvc-14.16 and adding VSCLCOMPILER

changing toolset msvc-14.2 and image to VS 2019

refactoring code and adding new matrix to appveyor

adding VS 2019 with msvc-14.1 and disabling VS 2019 with msvc-14.2 and c++2a

adding VS 2019 with msvc-14.2 and changing flag to latest

removing VS 2019 with msvc-14.2 and c++17 and adding timeout to travis.yml

travis_wait workaround

removing VS 2017 from appveyor and refactoring code

adding clang support for c++17 and c++20 and refactoring code

changing dist to bionic and adding source link to clang 10

fixing travis, bugs and adding new examples

fixing example bugs for msvc

updating licence and adding test_expression to jamfile

adding new tests, refactoring code and fixing bugs

fix for msvc c++20

fixing memory problem due to BOOST_AUTO_TEST_SUITE macro defining after fixture

removing const from tests and enabling test_tensor.cpp

removing const from test_fixed_rank_expression_evaluation.cpp

fixing msvc bug

fixing msvc-14.2 bug for c++ latest where it cannot properly capture variables in lambda func

disintegrating tests into smaller units

reducing test_types for testing

reducing tests

reducing test_types for testing in operator arithmetic

improving msvc warinings and separating test_function.cpp into it's own module
2020-04-14 21:17:13 +05:30

493 lines
13 KiB
C++

//
// Copyright (c) 2018-2020, Cem Bassoy, cem.bassoy@gmail.com
// Copyright (c) 2019-2020, Amit Singh, amitsingh19975@gmail.com
//
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
// The authors gratefully acknowledge the support of
// Google and Fraunhofer IOSB, Ettlingen, Germany
//
#include <iostream>
#include <algorithm>
#include <vector>
#include <boost/numeric/ublas/tensor/multiplication.hpp>
#include <boost/numeric/ublas/tensor/extents.hpp>
#include <boost/numeric/ublas/tensor/strides.hpp>
#include "utility.hpp"
#include <boost/test/unit_test.hpp>
BOOST_AUTO_TEST_SUITE (test_tensor_contraction)
using test_types = zip<int,float,std::complex<float>>::with_t<boost::numeric::ublas::first_order, boost::numeric::ublas::last_order>;
//using test_types = zip<int>::with_t<boost::numeric::ublas::first_order>;
struct fixture
{
using extents_type = boost::numeric::ublas::dynamic_extents<>;
fixture()
: extents {
extents_type{1,1}, // 1
extents_type{1,2}, // 2
extents_type{2,1}, // 3
extents_type{2,3}, // 4
extents_type{5,4}, // 5
extents_type{2,3,1}, // 6
extents_type{4,1,3}, // 7
extents_type{1,2,3}, // 8
extents_type{4,2,3}, // 9
extents_type{4,2,3,5}} // 10
{
}
std::vector<extents_type> extents;
};
BOOST_FIXTURE_TEST_CASE_TEMPLATE(test_tensor_mtv, value, test_types, fixture )
{
using namespace boost::numeric;
using value_type = typename value::first_type;
using layout_type = typename value::second_type;
using vector_type = std::vector<value_type>;
using extents_type = ublas::dynamic_extents<>;
using strides_type = ublas::strides_t<extents_type,layout_type>;
using extents_type_base = typename extents_type::base_type;
using size_type = typename extents_type_base::value_type;
for(auto const& na : extents) {
if(na.size() > 2)
continue;
auto a = vector_type(product(na), value_type{2});
auto wa = strides_type(na);
for(auto m = 0u; m < na.size(); ++m){
auto nb = extents_type {na[m],1};
auto wb = strides_type (nb);
auto b = vector_type (product(nb), value_type{1} );
auto nc_base = extents_type_base(std::max(na.size()-1, size_type{2}), 1);
for(auto i = 0u, j = 0u; i < na.size(); ++i)
if(i != m)
nc_base[j++] = na[i];
auto nc = extents_type (nc_base);
auto wc = strides_type (nc);
auto c = vector_type (product(nc), value_type{0});
ublas::detail::recursive::mtv(
size_type(m),
c.data(), nc.data(), wc.data(),
a.data(), na.data(), wa.data(),
b.data());
for(auto i = 0u; i < c.size(); ++i)
BOOST_CHECK_EQUAL( c[i] , value_type( static_cast< inner_type_t<value_type> >(na[m]) ) * a[i] );
}
}
}
BOOST_FIXTURE_TEST_CASE_TEMPLATE( test_tensor_mtm, value, test_types, fixture )
{
using namespace boost::numeric;
using value_type = typename value::first_type;
using layout_type = typename value::second_type;
using vector_type = std::vector<value_type>;
using extents_type = ublas::dynamic_extents<>;
using strides_type = ublas::strides_t<extents_type,layout_type>;
// using extents_type_base = typename extents_type::base_type;
for(auto const& na : extents) {
if(na.size() != 2)
continue;
auto a = vector_type (product(na), value_type{2});
auto wa = strides_type (na);
auto nb = extents_type {na[1],na[0]};
auto wb = strides_type (nb);
auto b = vector_type (product(nb), value_type{1} );
auto nc = extents_type {na[0],nb[1]};
auto wc = strides_type (nc);
auto c = vector_type (product(nc));
ublas::detail::recursive::mtm(
c.data(), nc.data(), wc.data(),
a.data(), na.data(), wa.data(),
b.data(), nb.data(), wb.data());
for(auto i = 0u; i < c.size(); ++i)
BOOST_CHECK_EQUAL( c[i] , value_type( static_cast< inner_type_t<value_type> >(na[1]) ) * a[0] );
}
}
BOOST_FIXTURE_TEST_CASE_TEMPLATE( test_tensor_ttv, value, test_types, fixture )
{
using namespace boost::numeric;
using value_type = typename value::first_type;
using layout_type = typename value::second_type;
using vector_type = std::vector<value_type>;
using extents_type = ublas::dynamic_extents<>;
using strides_type = ublas::strides_t<extents_type,layout_type>;
using extents_type_base = typename extents_type::base_type;
using size_type = typename extents_type_base::value_type;
for(auto const& na : extents) {
auto a = vector_type(product(na), value_type{2});
auto wa = strides_type(na);
for(auto m = 0u; m < na.size(); ++m){
auto b = vector_type (na[m], value_type{1} );
auto nb = extents_type {na[m],1};
auto wb = strides_type (nb);
auto nc_base = extents_type_base(std::max(na.size()-1, size_type(2)),1);
for(auto i = 0ul, j = 0ul; i < na.size(); ++i)
if(i != m)
nc_base[j++] = na[i];
auto nc = extents_type (nc_base);
auto wc = strides_type (nc);
auto c = vector_type (product(nc), value_type{0});
ublas::ttv(size_type(m+1), na.size(),
c.data(), nc.data(), wc.data(),
a.data(), na.data(), wa.data(),
b.data(), nb.data(), wb.data());
for(auto i = 0u; i < c.size(); ++i)
BOOST_CHECK_EQUAL( c[i] , value_type(na[m]) * a[i] );
}
}
}
BOOST_FIXTURE_TEST_CASE_TEMPLATE( test_tensor_ttm, value, test_types, fixture )
{
using namespace boost::numeric;
using value_type = typename value::first_type;
using layout_type = typename value::second_type;
using vector_type = std::vector<value_type>;
using extents_type = ublas::dynamic_extents<>;
using strides_type = ublas::strides_t<extents_type,layout_type>;
using size_type = typename extents_type::value_type;
for(auto const& na : extents) {
auto a = vector_type(product(na), value_type{2});
auto wa = strides_type(na);
for(auto m = 0u; m < na.size(); ++m){
auto nb = extents_type {na[m], na[m] };
auto b = vector_type (product(nb), value_type{1} );
auto wb = strides_type (nb);
auto nc = na;
auto wc = strides_type (nc);
auto c = vector_type (product(nc), value_type{0});
ublas::ttm(size_type(m+1), na.size(),
c.data(), nc.data(), wc.data(),
a.data(), na.data(), wa.data(),
b.data(), nb.data(), wb.data());
for(auto i = 0u; i < c.size(); ++i)
BOOST_CHECK_EQUAL( c[i] , value_type( static_cast< inner_type_t<value_type> >(na[m]) ) * a[i] );
}
}
}
BOOST_FIXTURE_TEST_CASE_TEMPLATE( test_tensor_ttt_permutation, value, test_types, fixture )
{
using namespace boost::numeric;
using value_type = typename value::first_type;
using layout_type = typename value::second_type;
using vector_type = std::vector<value_type>;
using extents_type = ublas::dynamic_extents<>;
using strides_type = ublas::strides_t<extents_type,layout_type>;
using size_type = typename strides_type::value_type;
auto compute_factorial = [](auto const& p){
auto f = 1ul;
for(auto i = 1u; i <= p; ++i)
f *= i;
return f;
};
auto compute_inverse_permutation = [](auto const& pi){
auto pi_inv = pi;
for(auto j = 0u; j < pi.size(); ++j)
pi_inv[pi[j]-1] = j+1;
return pi_inv;
};
auto permute_extents = [](auto const& pi, auto const& na){
auto nb = na;
assert(pi.size() == na.size());
for(auto j = 0u; j < pi.size(); ++j)
nb[j] = na[pi[j]-1];
return nb;
};
// left-hand and right-hand side have the
// the same number of elements
// computing the inner product with
// different permutation tuples for
// right-hand side
for(auto const& na : extents) {
auto wa = strides_type(na);
auto a = vector_type(product(na), value_type{2});
auto pa = na.size();
auto pia = std::vector<size_type>(pa);
std::iota( pia.begin(), pia.end(), 1 );
auto pib = pia;
auto pib_inv = compute_inverse_permutation(pib);
auto f = compute_factorial(pa);
// for the number of possible permutations
// only permutation tuple pib is changed.
for(auto i = 0u; i < f; ++i) {
auto nb = permute_extents( pib, na );
auto wb = strides_type(nb);
auto b = vector_type(product(nb), value_type{3});
auto pb = nb.size();
// the number of contractions is changed.
for( auto q = size_type(0); q <= pa; ++q) {
auto r = pa - q;
auto s = pb - q;
auto pc = r+s > 0 ? std::max(r+s,size_type(2)) : size_type(2);
auto nc_base = std::vector<size_type>( pc , 1 );
for(auto j = 0u; j < r; ++j)
nc_base[ j ] = na[ pia[j]-1 ];
for(auto j = 0u; j < s; ++j)
nc_base[ r + j ] = nb[ pib_inv[j]-1 ];
auto nc = extents_type ( nc_base );
auto wc = strides_type ( nc );
auto c = vector_type ( product(nc), value_type(0) );
ublas::ttt(pa,pb,q,
pia.data(), pib_inv.data(),
c.data(), nc.data(), wc.data(),
a.data(), na.data(), wa.data(),
b.data(), nb.data(), wb.data());
auto acc = value_type(1);
for(auto j = r; j < pa; ++j)
acc *= value_type( static_cast< inner_type_t<value_type> >(na[pia[j]-1]) );
for(auto j = 0ul; j < c.size(); ++j)
BOOST_CHECK_EQUAL( c[j] , acc * a[0] * b[0] );
}
std::next_permutation(pib.begin(), pib.end());
pib_inv = compute_inverse_permutation(pib);
}
}
}
BOOST_FIXTURE_TEST_CASE_TEMPLATE( test_tensor_ttt, value, test_types, fixture )
{
using namespace boost::numeric;
using value_type = typename value::first_type;
using layout_type = typename value::second_type;
using vector_type = std::vector<value_type>;
using extents_type = ublas::dynamic_extents<>;
using strides_type = ublas::strides_t<extents_type,layout_type>;
using size_type = typename strides_type::value_type;
// left-hand and right-hand side have the
// the same number of elements
// computing the inner product with
// different permutation tuples for
// right-hand side
for(auto const& na : extents) {
auto wa = strides_type(na);
auto a = vector_type(product(na), value_type{2});
auto pa = na.size();
auto nb = na;
auto wb = strides_type(nb);
auto b = vector_type(product(nb), value_type{3});
auto pb = nb.size();
// std::cout << "na = ";
// std::copy(na.begin(), na.end(), std::ostream_iterator<size_type>(std::cout, " "));
// std::cout << std::endl;
// std::cout << "nb = ";
// std::copy(nb.begin(), nb.end(), std::ostream_iterator<size_type>(std::cout, " "));
// std::cout << std::endl;
// the number of contractions is changed.
for( auto q = size_type(0); q <= pa; ++q) { // pa
auto r = pa - q;
auto s = pb - q;
auto pc = r+s > 0 ? std::max(r+s, size_type(2)) : size_type(2);
auto nc_base = std::vector<size_type>( pc , 1 );
for(auto i = 0u; i < r; ++i)
nc_base[ i ] = na[ i ];
for(auto i = 0u; i < s; ++i)
nc_base[ r + i ] = nb[ i ];
auto nc = extents_type ( nc_base );
auto wc = strides_type ( nc );
auto c = vector_type ( product(nc), value_type{0} );
// std::cout << "nc = ";
// std::copy(nc.begin(), nc.end(), std::ostream_iterator<size_type>(std::cout, " "));
// std::cout << std::endl;
ublas::ttt(pa,pb,q,
c.data(), nc.data(), wc.data(),
a.data(), na.data(), wa.data(),
b.data(), nb.data(), wb.data());
auto acc = value_type(1);
for(auto i = r; i < pa; ++i)
acc *= value_type( static_cast< inner_type_t<value_type> >(na[i]) );
for(auto i = 0u; i < c.size(); ++i)
BOOST_CHECK_EQUAL( c[i] , acc * a[0] * b[0] );
}
}
}
BOOST_FIXTURE_TEST_CASE_TEMPLATE( test_tensor_inner, value, test_types, fixture )
{
using namespace boost::numeric;
using value_type = typename value::first_type;
using layout_type = typename value::second_type;
using strides_type = ublas::strides_t<ublas::dynamic_extents<>,layout_type>;
using vector_type = std::vector<value_type>;
for(auto const& n : extents) {
auto a = vector_type(product(n), value_type{2});
auto b = vector_type(product(n), value_type{3});
auto w = strides_type(n);
auto c = ublas::inner(n.size(), n.data(), a.data(), w.data(), b.data(), w.data(), value_type(0));
auto cref = std::inner_product(a.begin(), a.end(), b.begin(), value_type(0));
BOOST_CHECK_EQUAL( c , cref );
}
}
BOOST_FIXTURE_TEST_CASE_TEMPLATE( test_tensor_outer, value, test_types, fixture )
{
using namespace boost::numeric;
using value_type = typename value::first_type;
using layout_type = typename value::second_type;
using extents_type = ublas::dynamic_extents<>;
using strides_type = ublas::strides_t<extents_type,layout_type>;
using vector_type = std::vector<value_type>;
for(auto const& na : extents) {
auto a = vector_type(product(na), value_type{2});
auto wa = strides_type(na);
for(auto const& nb : extents) {
auto b = vector_type(product(nb), value_type{3});
auto wb = strides_type(nb);
auto c = vector_type(product(nb)*product(na));
auto nc = typename extents_type::base_type(na.size()+nb.size());
for(auto i = 0u; i < na.size(); ++i)
nc[i] = na[i];
for(auto i = 0u; i < nb.size(); ++i)
nc[i+na.size()] = nb[i];
auto wc = strides_type(extents_type(nc));
ublas::outer(c.data(), nc.size(), nc.data(), wc.data(),
a.data(), na.size(), na.data(), wa.data(),
b.data(), nb.size(), nb.data(), wb.data());
for(auto const& cc : c)
BOOST_CHECK_EQUAL( cc , a[0]*b[0] );
}
}
}
BOOST_AUTO_TEST_SUITE_END()