simple_test_scalar_kernel_trial_integrand_functor.hpp

// Copyright (C) 2011-2012 by the BEM++ Authors
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

#ifndef fiber_simple_test_scalar_kernel_trial_integrand_functor_hpp
#define fiber_simple_test_scalar_kernel_trial_integrand_functor_hpp

#include "../common/common.hpp"

#include <cassert>
#include "collection_of_3d_arrays.hpp"
#include "geometrical_data.hpp"
#include "conjugate.hpp"
#include "scalar_traits.hpp"

namespace Fiber
{

template <typename BasisFunctionType_, typename KernelType_,
          typename ResultType_>
class SimpleTestScalarKernelTrialIntegrandFunctor
{
public:
    typedef BasisFunctionType_ BasisFunctionType;
    typedef KernelType_ KernelType;
    typedef ResultType_ ResultType;
    typedef typename ScalarTraits<ResultType>::RealType CoordinateType;

    void addGeometricalDependencies(size_t& testGeomDeps, size_t& trialGeomDeps) const {
        // do nothing
    }

    // It is possible that this function could be generalised to
    // multiple shapeset transformations or kernels and that the additional
    // loops could be optimised away by the compiler.
    template <template <typename T> class CollectionOf2dSlicesOfConstNdArrays>
    ResultType evaluate(
            const ConstGeometricalDataSlice<CoordinateType>& /* testGeomData */,
            const ConstGeometricalDataSlice<CoordinateType>& /* trialGeomData */,
            const CollectionOf1dSlicesOfConst3dArrays<BasisFunctionType>& testValues,
            const CollectionOf1dSlicesOfConst3dArrays<BasisFunctionType>& trialValues,
            const CollectionOf2dSlicesOfConstNdArrays<KernelType>& kernelValues) const {
        // Assert that there is at least one scalar-valued kernel
        assert(kernelValues.size() >= 1);
        assert(kernelValues[0].extent(0) == 1);
        assert(kernelValues[0].extent(1) == 1);

        // Assert that there is at least one test and trial transformation
        // and that the dimensions of the first pair agree
        assert(testValues.size() >= 1);
        assert(trialValues.size() >= 1);
        assert(testValues[0].extent(0) == trialValues[0].extent(0));

        const int transformationDim = testValues[0].extent(0);

        BasisFunctionType dotProduct = 0.;
        for (int dim = 0; dim < transformationDim; ++dim)
            dotProduct += conjugate(testValues[0](dim)) *
                    trialValues[0](dim);
        ResultType result = dotProduct * kernelValues[0](0, 0);
        return result;
    }
};

template <typename BasisFunctionType_, typename KernelType_,
          typename ResultType_, int transformationDim>
class SimpleTestScalarKernelTrialIntegrandFunctorExt
{
public:
    typedef BasisFunctionType_ BasisFunctionType;
    typedef KernelType_ KernelType;
    typedef ResultType_ ResultType;
    typedef typename ScalarTraits<ResultType>::RealType CoordinateType;

    void addGeometricalDependencies(size_t& testGeomDeps, size_t& trialGeomDeps) const {
        // do nothing
    }

    // It is possible that this function could be generalised to
    // multiple shapeset transformations or kernels and that the additional
    // loops could be optimised away by the compiler.
    template <template <typename T> class CollectionOf2dSlicesOfConstNdArrays>
    ResultType evaluate(
            const ConstGeometricalDataSlice<CoordinateType>& /* testGeomData */,
            const ConstGeometricalDataSlice<CoordinateType>& /* trialGeomData */,
            const CollectionOf1dSlicesOfConst3dArrays<BasisFunctionType>& testValues,
            const CollectionOf1dSlicesOfConst3dArrays<BasisFunctionType>& trialValues,
            const CollectionOf2dSlicesOfConstNdArrays<KernelType>& kernelValues) const {
        // Assert that there is at least one scalar-valued kernel
        assert(kernelValues.size() >= 1);
        assert(kernelValues[0].extent(0) == 1);
        assert(kernelValues[0].extent(1) == 1);

        // Assert that there is at least one test and trial transformation
        // and that the dimensions of the first pair agree
        assert(testValues.size() >= 1);
        assert(trialValues.size() >= 1);

        assert(testValues[0].extent(0) == transformationDim);
        assert(trialValues[0].extent(0) == transformationDim);

        BasisFunctionType dotProduct = 0.;
        for (int dim = 0; dim < transformationDim; ++dim)
            dotProduct += conjugate(testValues[0](dim)) *
                    trialValues[0](dim);
        ResultType result = dotProduct * kernelValues[0](0, 0);
        return result;
    }
};


} // namespace Fiber

#endif