ZeroOrderTestvecTrialvec.hpp

#pragma once

#include <type_traits>

#include <amdis/GridFunctionOperator.hpp>
#include <amdis/common/StaticSize.hpp>
#include <amdis/common/ValueCategory.hpp>

namespace AMDiS
{
  namespace tag
  {
    struct testvec_trialvec {};
  }


  template <class LC, class GridFct>
  class GridFunctionOperator<tag::testvec_trialvec, LC, GridFct>
      : public GridFunctionOperatorBase<GridFunctionOperator<tag::testvec_trialvec, LC, GridFct>, LC, GridFct>
  {
    static const int dow = ContextGeometry<LC>::dow;
    using Self = GridFunctionOperator;
    using Super = GridFunctionOperatorBase<Self, LC, GridFct>;

    using expr_value_type = typename GridFct::Range;
    static_assert( static_size_v<expr_value_type> == 1 || (static_num_rows_v<expr_value_type> == dow && static_num_cols_v<expr_value_type> == dow),
      "Expression must be of scalar or matrix type." );

  public:
    GridFunctionOperator(tag::testvec_trialvec, GridFct const& expr)
      : Super(expr, 0)
    {}

    template <class CG, class RN, class CN, class Mat>
    void getElementMatrix(CG const& contextGeo, RN const& rowNode, CN const& colNode, Mat& elementMatrix)
    {
      static_assert(RN::isPower && CN::isPower,
        "Operator can be applied to Power-Nodes only.");

      static_assert( (RN::CHILDREN == CN::CHILDREN), "" );
      // theoretically the restriction of the same nr of childs would not be necessary

      const bool sameFE = std::is_same_v<FiniteElementType_t<RN>, FiniteElementType_t<CN>>;
      const bool sameNode = rowNode.treeIndex() == colNode.treeIndex();

      using Category = ValueCategory_t<expr_value_type>;

      auto const& quad = this->getQuadratureRule(contextGeo.type(), rowNode, colNode);
      if (sameFE && sameNode && std::is_same_v<Category,tag::scalar>)
        getElementMatrixOptimized(contextGeo, quad, rowNode, colNode, elementMatrix, Category{});
      else
        getElementMatrixStandard(contextGeo, quad, rowNode, colNode, elementMatrix, Category{});
    }

  protected: // specialization for different value-categories

    template <class CG, class QR, class RN, class CN, class Mat>
    void getElementMatrixStandard(CG const& contextGeo, QR const& quad,
                                  RN const& rowNode, CN const& colNode,
                                  Mat& elementMatrix, tag::scalar)
    {
      static const std::size_t CHILDREN = RN::CHILDREN;

      std::size_t rowSize = rowNode.child(0).size();
      std::size_t colSize = colNode.child(0).size();

      for (auto const& qp : quad) {
        // Position of the current quadrature point in the reference element
        auto&& local = contextGeo.local(qp.position());

        // The multiplicative factor in the integral transformation formula
        const auto factor = Super::coefficient(local) * contextGeo.integrationElement(qp.position()) * qp.weight();

        auto const& rowShapeValues = rowNode.child(0).localBasisValuesAt(local);
        auto const& colShapeValues = colNode.child(0).localBasisValuesAt(local);

        for (std::size_t i = 0; i < rowSize; ++i) {
          const auto value = factor * rowShapeValues[i];

          for (std::size_t j = 0; j < colSize; ++j) {
            const auto value0 = value * colShapeValues[j];

            for (std::size_t k = 0; k < CHILDREN; ++k) {
              const auto local_ki = rowNode.child(k).localIndex(i);
              const auto local_kj = colNode.child(k).localIndex(j);

              elementMatrix[local_ki][local_kj] += value0;
            }
          }
        }
      }
    }


    template <class CG, class QR, class RN, class CN, class Mat>
    void getElementMatrixOptimized(CG const& contextGeo, QR const& quad,
                                   RN const& node, CN const& /*colNode*/,
                                   Mat& elementMatrix, tag::scalar)
    {
      static const std::size_t CHILDREN = RN::CHILDREN;
      std::size_t size = node.child(0).size();

      for (auto const& qp : quad) {
        // Position of the current quadrature point in the reference element
        auto&& local = contextGeo.local(qp.position());

        // The multiplicative factor in the integral transformation formula
        const auto factor = Super::coefficient(local) * contextGeo.integrationElement(qp.position()) * qp.weight();

        auto const& shapeValues = node.child(0).localBasisValuesAt(local);

        for (std::size_t i = 0; i < size; ++i) {
          const auto value = factor * shapeValues[i];

          for (std::size_t k = 0; k < CHILDREN; ++k) {
            const auto local_ki = node.child(k).localIndex(i);
            elementMatrix[local_ki][local_ki] += value * shapeValues[i];
          }

          for (std::size_t j = i+1; j < size; ++j) {
            const auto value0 = value * shapeValues[j];

            for (std::size_t k = 0; k < CHILDREN; ++k) {
              const auto local_ki = node.child(k).localIndex(i);
              const auto local_kj = node.child(k).localIndex(j);

              elementMatrix[local_ki][local_kj] += value0;
              elementMatrix[local_kj][local_ki] += value0;
            }
          }
        }
      }
    }

    template <class CG, class QR, class RN, class CN, class Mat>
    void getElementMatrixStandard(CG const& contextGeo, QR const& quad,
                                  RN const& rowNode, CN const& colNode,
                                  Mat& elementMatrix, tag::matrix)
    {
      static const std::size_t CHILDREN = RN::CHILDREN;
      static_assert(static_num_rows_v<expr_value_type> == CHILDREN && static_num_cols_v<expr_value_type> == CHILDREN, "" );

      std::size_t rowSize = rowNode.child(0).size();
      std::size_t colSize = colNode.child(0).size();

      for (auto const& qp : quad) {
        // Position of the current quadrature point in the reference element
        auto&& local = contextGeo.local(qp.position());

        // The multiplicative factor in the integral transformation formula
        const auto factor = contextGeo.integrationElement(qp.position()) * qp.weight();
        const auto exprValue = Super::coefficient(local);

        auto const& rowShapeValues = rowNode.child(0).localBasisValuesAt(local);
        auto const& colShapeValues = colNode.child(0).localBasisValuesAt(local);

        for (std::size_t i = 0; i < rowSize; ++i) {
          const auto value0 = factor * rowShapeValues[i];

          for (std::size_t j = 0; j < colSize; ++j) {
            const auto value = value0 * colShapeValues[j];
            const auto mat = exprValue * value;

            for (std::size_t k0 = 0; k0 < CHILDREN; ++k0) {
              const auto local_ki = rowNode.child(k0).localIndex(i);
              for (std::size_t k1 = 0; k1 < CHILDREN; ++k1) {
                const auto local_kj = colNode.child(k1).localIndex(j);

                elementMatrix[local_ki][local_kj] += mat[k0][k1];
              }
            }
          }
        }
      }
    }

    template <class CG, class QR, class RN, class CN, class Mat>
    void getElementMatrixOptimized(CG const& contextGeo, QR const& quad,
                                   RN const& node, CN const& /*colNode*/,
                                   Mat& elementMatrix, tag::matrix)
    {
      assert(false && "Not implemented.");
    }
  };

} // end namespace AMDiS