jor.hpp

// Software License for MTL
//
// Copyright (c) 2007 The Trustees of Indiana University.
//               2008 Dresden University of Technology and the Trustees of Indiana University.
//               2010 SimuNova UG (haftungsbeschränkt), www.simunova.com.
// All rights reserved.
// Authors: Peter Gottschling and Andrew Lumsdaine
//
// This file is part of the Matrix Template Library
//
// See also license.mtl.txt in the distribution.

#ifndef ITL_JOR_INCLUDE
#define ITL_JOR_INCLUDE

#include <boost/assert.hpp>
#include <boost/numeric/mtl/concept/collection.hpp>
#include <boost/numeric/mtl/utility/exception.hpp>
#include <boost/numeric/mtl/utility/is_row_major.hpp>
#include <boost/numeric/mtl/utility/property_map.hpp>
#include <boost/numeric/mtl/utility/range_generator.hpp>
#include <boost/numeric/mtl/utility/tag.hpp>
#include <boost/numeric/mtl/matrix/compressed2D.hpp>

#include "./relaxation_parameter.hpp"

namespace itl {

/// Jacobi smoother with relaxation
/** Constructor takes references to a matrix and a right-hand side vector.
    operator() is applied on a vector and changes it in place.
    Matrix must be square, stored row-major and free of zero entries in the diagonal.
    Vectors b and x must have the same number of rows as A.
**/
template <typename Matrix, typename Omega = default_omega>
class jor
{
    typedef typename mtl::Collection<Matrix>::value_type Scalar;
    typedef typename mtl::Collection<Matrix>::size_type  size_type;
  public:
    /// Construct with constant references to matrix and RHS vector
    jor(const Matrix& A) : A(A), dia_inv(num_rows(A))
    {
	BOOST_STATIC_ASSERT((mtl::traits::is_row_major<Matrix>::value)); // No CCS
	assert(num_rows(A) == num_cols(A)); // Matrix must be square
	for (size_type i= 0; i < num_rows(A); ++i) {
	    Scalar a= A[i][i];
	    MTL_THROW_IF(a == 0, mtl::missing_diagonal());
	    dia_inv[i]= 1.0 / a;
	}
    }

    /// Apply JOR on vector \p x, i.e. \p x is changed
    template <typename Vector, typename RHSVector>
    Vector& operator()(Vector& x, const RHSVector& b) const
    {
	namespace tag= mtl::tag; using namespace mtl::traits;
	using mtl::begin; using mtl::end; using std::swap;

        typedef typename range_generator<tag::row, Matrix>::type       a_cur_type;
        typedef typename range_generator<tag::nz, a_cur_type>::type    a_icur_type;
	typename col<Matrix>::type                   col_a(A);
	typename const_value<Matrix>::type           value_a(A);

	typedef typename mtl::Collection<Vector>::value_type           value_type;

	static Vector x0(resource(x));
	a_cur_type ac= begin<tag::row>(A), aend= end<tag::row>(A);
	for (unsigned i= 0; ac != aend; ++ac, ++i) {
	    value_type tmp= b[i];
	    for (a_icur_type aic= begin<tag::nz>(ac), aiend= end<tag::nz>(ac); aic != aiend; ++aic)
		if (col_a(*aic) != i)
		    tmp-= value_a(*aic) * x[col_a(*aic)];
	    x0[i]= Omega::value * (dia_inv[i] * tmp) + (1. - Omega::value)*x0[i];
	}
	swap(x0, x);
 	return x;
    }

   private:
    const Matrix&    A;
    mtl::vector::dense_vector<Scalar>  dia_inv;
};


template <typename Value, typename Parameters, typename Omega>
class jor<mtl::matrix::compressed2D<Value, Parameters> , Omega>
{
    typedef mtl::matrix::compressed2D<Value, Parameters> Matrix;
    typedef typename mtl::Collection<Matrix>::value_type Scalar;
    typedef typename mtl::Collection<Matrix>::size_type  size_type;
  public:
    /// Construct with constant references to matrix and RHS vector
    jor(const Matrix& A)
      : A(A), dia_inv(num_rows(A)), dia_pos(num_rows(A))
    {
	BOOST_STATIC_ASSERT((mtl::traits::is_row_major<Matrix>::value)); // No CCS
	assert(num_rows(A) == num_cols(A)); // Matrix must be square
	for (size_type i= 0; i < num_rows(A); ++i) {
	    mtl::utilities::maybe<size_type> pos = A.indexer(A, i, i);
	    MTL_THROW_IF(!pos, mtl::missing_diagonal());
	    dia_inv[i]= 1.0 / A.value_from_offset(pos);
	    dia_pos[i]= pos;
	}
    }

    /// Apply JOR on vector \p x, i.e. \p x is changed
    template <typename Vector, typename RHSVector>
    Vector& operator()(Vector& x, const RHSVector& b) const
    {
	typedef typename mtl::Collection<Vector>::value_type           value_type;
	typedef typename mtl::Collection<Matrix>::size_type            size_type;
	const size_type nr= num_rows(A);
	static Vector x0(resource(x));
	size_type cj1= A.ref_major()[0];
	for (size_type i= 0; i < nr; ++i) {
	    value_type tmp= b[i];
	    size_type cj0= cj1, cjm= dia_pos[i];
	    cj1= A.ref_major()[i+1];
	    for (; cj0 < cjm; cj0++)
		tmp-= A.data[cj0] * x[A.ref_minor()[cj0]];
	    for (size_type j= cjm+1; j < cj1; j++)
		tmp-= A.data[j] * x[A.ref_minor()[j]];
	    x0[i] = Omega::value * (dia_inv[i] * tmp) + (1. - Omega::value)*x0[i];
	}
	swap(x0, x);
 	return x;
    }


  private:
    const Matrix&    A;
    mtl::vector::dense_vector<Scalar>     dia_inv;
    mtl::vector::dense_vector<size_type>  dia_pos;
};


} // namespace itl

#endif // ITL_JOR_INCLUDE