From: Jean-Paul Pelteret Date: Tue, 7 May 2019 20:01:02 +0000 (+0200) Subject: Add test for SD tensor substitution and evaluation X-Git-Tag: v9.1.0-rc1~35^2~5 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c1e450c45eeec1601e4bc77281927ca82c3ea625;p=dealii.git Add test for SD tensor substitution and evaluation --- diff --git a/tests/symengine/symengine_tensor_operations_04.cc b/tests/symengine/symengine_tensor_operations_04.cc new file mode 100644 index 0000000000..77651e6e76 --- /dev/null +++ b/tests/symengine/symengine_tensor_operations_04.cc @@ -0,0 +1,163 @@ +// --------------------------------------------------------------------- +// +// Copyright (C) 2019 by the deal.II authors +// +// This file is part of the deal.II library. +// +// The deal.II library is free software; you can use it, redistribute +// it, and/or modify it under the terms of the GNU Lesser General +// Public License as published by the Free Software Foundation; either +// version 2.1 of the License, or (at your option) any later version. +// The full text of the license can be found in the file LICENSE at +// the top level of the deal.II distribution. +// +// --------------------------------------------------------------------- + + +// Check that symbol substitution works for tensors + +#include + +#include "../tests.h" + +using namespace dealii; +namespace SD = Differentiation::SD; + +using SD_number_t = SD::Expression; + +template class TensorType> +void +test(const TensorType a, + const TensorType b, + const TensorType symb_a, + const TensorType symb_b) +{ + using Tensor_SD_number_t = TensorType; + using Tensor_t = TensorType; + + deallog.push("Substitution: Individual"); + { + const Tensor_SD_number_t symb_a_plus_b = symb_a + symb_b; + deallog << "Symbolic a+b: " << symb_a_plus_b << std::endl; + + const Tensor_SD_number_t symb_a_plus_b_1 = + SD::substitute(symb_a_plus_b, symb_a, a); + deallog << "Symbolic a+b (a=1): " << symb_a_plus_b_1 << std::endl; + + const Tensor_SD_number_t symb_a_plus_b_subs = + SD::substitute(symb_a_plus_b_1, symb_b, b); + deallog << "Symbolic a+b (a=1, b=2): " << symb_a_plus_b_subs << std::endl; + } + deallog.pop(); + + deallog.push("Substitution: Vector"); + { + const Tensor_SD_number_t symb_a_plus_b = symb_a + symb_b; + + const std::vector> symbol_values{ + std::make_pair(symb_a, a), std::make_pair(symb_b, b)}; + + const Tensor_SD_number_t symb_a_plus_b_subs = + SD::substitute(symb_a_plus_b, symbol_values); + deallog << "Symbolic a+b (a=1, b=2): " << symb_a_plus_b_subs << std::endl; + } + deallog.pop(); + + deallog.push("Substitution: Map"); + { + const Tensor_SD_number_t symb_a_plus_b = symb_a + symb_b; + + const SD::types::substitution_map substitution_map = + SD::make_substitution_map(std::make_pair(symb_a, a), + std::make_pair(symb_b, b)); + + const Tensor_SD_number_t symb_a_plus_b_subs = + SD::substitute(symb_a_plus_b, substitution_map); + deallog << "Symbolic a+b (a=1, b=2): " << symb_a_plus_b_subs << std::endl; + } + deallog.pop(); + + deallog.push("Substitution with evaluation"); + { + const Tensor_SD_number_t symb_a_plus_b = symb_a + symb_b; + + const SD::types::substitution_map substitution_map = + SD::make_substitution_map(std::make_pair(symb_a, a), + std::make_pair(symb_b, b)); + + const Tensor_t symb_a_plus_b_subs = + SD::substitute_and_evaluate(symb_a_plus_b, substitution_map); + Assert(symb_a_plus_b_subs == (a + b), ExcInternalError()); + } + deallog.pop(); + + deallog << "OK" << std::endl << std::endl; +} + + +template +void +test_tensor() +{ + deallog << "Tensor: Rank " << rank << ", dim " << dim << std::endl; + + using Tensor_SD_number_t = Tensor; + using Tensor_t = Tensor; + + Tensor_t t_a, t_b; + for (auto it = t_a.begin_raw(); it != t_a.end_raw(); ++it) + *it = 1.0; + for (auto it = t_b.begin_raw(); it != t_b.end_raw(); ++it) + *it = 2.0; + + const Tensor_SD_number_t symb_t_a = + SD::make_tensor_of_symbols("a"); + const Tensor_SD_number_t symb_t_b = + SD::make_tensor_of_symbols("b"); + + test(t_a, t_b, symb_t_a, symb_t_b); +} + + +template +void +test_symmetric_tensor() +{ + deallog << "SymmetricTensor: Rank " << rank << ", dim " << dim << std::endl; + + using Tensor_SD_number_t = SymmetricTensor; + using Tensor_t = SymmetricTensor; + + Tensor_t t_a, t_b; + for (auto it = t_a.begin_raw(); it != t_a.end_raw(); ++it) + *it = 1.0; + for (auto it = t_b.begin_raw(); it != t_b.end_raw(); ++it) + *it = 2.0; + + const Tensor_SD_number_t symb_t_a = + SD::make_symmetric_tensor_of_symbols("a"); + const Tensor_SD_number_t symb_t_b = + SD::make_symmetric_tensor_of_symbols("b"); + + test(t_a, t_b, symb_t_a, symb_t_b); +} + + +int +main() +{ + initlog(); + + const int dim = 2; + + test_tensor<0, dim>(); + test_tensor<1, dim>(); + test_tensor<2, dim>(); + test_tensor<3, dim>(); + test_tensor<4, dim>(); + + test_symmetric_tensor<2, dim>(); + test_symmetric_tensor<4, dim>(); + + deallog << "OK" << std::endl; +} diff --git a/tests/symengine/symengine_tensor_operations_04.output b/tests/symengine/symengine_tensor_operations_04.output new file mode 100644 index 0000000000..32243b647d --- /dev/null +++ b/tests/symengine/symengine_tensor_operations_04.output @@ -0,0 +1,58 @@ + +DEAL::Tensor: Rank 0, dim 2 +DEAL:Substitution: Individual::Symbolic a+b: a + b +DEAL:Substitution: Individual::Symbolic a+b (a=1): 1.0 + b +DEAL:Substitution: Individual::Symbolic a+b (a=1, b=2): 3.0 +DEAL:Substitution: Vector::Symbolic a+b (a=1, b=2): 3.0 +DEAL:Substitution: Map::Symbolic a+b (a=1, b=2): 3.0 +DEAL::OK +DEAL:: +DEAL::Tensor: Rank 1, dim 2 +DEAL:Substitution: Individual::Symbolic a+b: a_0 + b_0 a_1 + b_1 +DEAL:Substitution: Individual::Symbolic a+b (a=1): 1.0 + b_0 1.0 + b_1 +DEAL:Substitution: Individual::Symbolic a+b (a=1, b=2): 3.0 3.0 +DEAL:Substitution: Vector::Symbolic a+b (a=1, b=2): 3.0 3.0 +DEAL:Substitution: Map::Symbolic a+b (a=1, b=2): 3.0 3.0 +DEAL::OK +DEAL:: +DEAL::Tensor: Rank 2, dim 2 +DEAL:Substitution: Individual::Symbolic a+b: a_00 + b_00 a_01 + b_01 a_10 + b_10 a_11 + b_11 +DEAL:Substitution: Individual::Symbolic a+b (a=1): 1.0 + b_00 1.0 + b_01 1.0 + b_10 1.0 + b_11 +DEAL:Substitution: Individual::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 +DEAL:Substitution: Vector::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 +DEAL:Substitution: Map::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 +DEAL::OK +DEAL:: +DEAL::Tensor: Rank 3, dim 2 +DEAL:Substitution: Individual::Symbolic a+b: a_000 + b_000 a_001 + b_001 a_010 + b_010 a_011 + b_011 a_100 + b_100 a_101 + b_101 a_110 + b_110 a_111 + b_111 +DEAL:Substitution: Individual::Symbolic a+b (a=1): 1.0 + b_000 1.0 + b_001 1.0 + b_010 1.0 + b_011 1.0 + b_100 1.0 + b_101 1.0 + b_110 1.0 + b_111 +DEAL:Substitution: Individual::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL:Substitution: Vector::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL:Substitution: Map::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL::OK +DEAL:: +DEAL::Tensor: Rank 4, dim 2 +DEAL:Substitution: Individual::Symbolic a+b: a_0000 + b_0000 a_0001 + b_0001 a_0010 + b_0010 a_0011 + b_0011 a_0100 + b_0100 a_0101 + b_0101 a_0110 + b_0110 a_0111 + b_0111 a_1000 + b_1000 a_1001 + b_1001 a_1010 + b_1010 a_1011 + b_1011 a_1100 + b_1100 a_1101 + b_1101 a_1110 + b_1110 a_1111 + b_1111 +DEAL:Substitution: Individual::Symbolic a+b (a=1): 1.0 + b_0000 1.0 + b_0001 1.0 + b_0010 1.0 + b_0011 1.0 + b_0100 1.0 + b_0101 1.0 + b_0110 1.0 + b_0111 1.0 + b_1000 1.0 + b_1001 1.0 + b_1010 1.0 + b_1011 1.0 + b_1100 1.0 + b_1101 1.0 + b_1110 1.0 + b_1111 +DEAL:Substitution: Individual::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL:Substitution: Vector::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL:Substitution: Map::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL::OK +DEAL:: +DEAL::SymmetricTensor: Rank 2, dim 2 +DEAL:Substitution: Individual::Symbolic a+b: a_00 + b_00 a_01 + b_01 a_01 + b_01 a_11 + b_11 +DEAL:Substitution: Individual::Symbolic a+b (a=1): 1.0 + b_00 1.0 + b_01 1.0 + b_01 1.0 + b_11 +DEAL:Substitution: Individual::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 +DEAL:Substitution: Vector::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 +DEAL:Substitution: Map::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 +DEAL::OK +DEAL:: +DEAL::SymmetricTensor: Rank 4, dim 2 +DEAL:Substitution: Individual::Symbolic a+b: a_0000 + b_0000 a_0001 + b_0001 a_0001 + b_0001 a_0011 + b_0011 a_0100 + b_0100 a_0101 + b_0101 a_0101 + b_0101 a_0111 + b_0111 a_0100 + b_0100 a_0101 + b_0101 a_0101 + b_0101 a_0111 + b_0111 a_1100 + b_1100 a_1101 + b_1101 a_1101 + b_1101 a_1111 + b_1111 +DEAL:Substitution: Individual::Symbolic a+b (a=1): 1.0 + b_0000 1.0 + b_0001 1.0 + b_0001 1.0 + b_0011 1.0 + b_0100 1.0 + b_0101 1.0 + b_0101 1.0 + b_0111 1.0 + b_0100 1.0 + b_0101 1.0 + b_0101 1.0 + b_0111 1.0 + b_1100 1.0 + b_1101 1.0 + b_1101 1.0 + b_1111 +DEAL:Substitution: Individual::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL:Substitution: Vector::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL:Substitution: Map::Symbolic a+b (a=1, b=2): 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 3.0 +DEAL::OK +DEAL:: +DEAL::OK