Thyra_LinearOpBaseDecl.hpp

// @HEADER
// ***********************************************************************
// 
//    Thyra: Interfaces and Support for Abstract Numerical Algorithms
//                 Copyright (2004) Sandia Corporation
// 
// Under terms of Contract DE-AC04-94AL85000, there is a non-exclusive
// license for use of this work by or on behalf of the U.S. Government.
// 
// This library is free software; you can 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.
//  
// This library is distributed in the hope that it will be useful, but
// WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
// Lesser General Public License for more details.
//  
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
// USA
// Questions? Contact Michael A. Heroux (maherou@sandia.gov) 
// 
// ***********************************************************************
// @HEADER

#ifndef THYRA_LINEAR_OP_DECL_HPP
#define THYRA_LINEAR_OP_DECL_HPP

#include "Thyra_OperatorVectorTypes.hpp"
#include "Teuchos_Describable.hpp"
#include "Teuchos_PromotionTraits.hpp"


namespace Thyra {


template<class RangeScalar, class DomainScalar>
class LinearOpBase : virtual public Teuchos::Describable {
public:


  virtual RCP< const VectorSpaceBase<RangeScalar> > range() const = 0;

  virtual RCP< const VectorSpaceBase<DomainScalar> > domain() const = 0;

  virtual void apply(
    const EConj conj,
    const MultiVectorBase<DomainScalar> &X,
    MultiVectorBase<RangeScalar> *Y,
    const RangeScalar alpha = Teuchos::ScalarTraits<RangeScalar>::one(),
    const RangeScalar beta = Teuchos::ScalarTraits<RangeScalar>::zero()
    ) const = 0;



  virtual bool applySupports( const EConj conj ) const;

  virtual bool applyTransposeSupports( const EConj conj ) const;

  virtual void applyTranspose(
    const EConj conj,
    const MultiVectorBase<RangeScalar> &X,
    MultiVectorBase<DomainScalar> *Y,
    const DomainScalar alpha = Teuchos::ScalarTraits<DomainScalar>::one(),
    const DomainScalar beta = Teuchos::ScalarTraits<DomainScalar>::zero()
    ) const;

  virtual RCP<const LinearOpBase<RangeScalar,DomainScalar> > clone() const;


};  // end class LinearOpBase


template<class Scalar>
bool isFullyUninitialized( const LinearOpBase<Scalar> &M );


template<class Scalar>
bool isPartiallyInitialized( const LinearOpBase<Scalar> &M );


template<class Scalar>
bool isFullyInitialized( const LinearOpBase<Scalar> &M );


template<class Scalar>
inline
bool opSupported( const LinearOpBase<Scalar> &M, EOpTransp M_trans );


template<class RangeScalar, class DomainScalar>
inline
void apply(
  const LinearOpBase<RangeScalar,DomainScalar> &M,
  const EConj conj,
  const MultiVectorBase<DomainScalar> &X,
  MultiVectorBase<RangeScalar> *Y,
  const RangeScalar alpha = ScalarTraits<RangeScalar>::one(),
  const RangeScalar beta = ScalarTraits<RangeScalar>::zero()
  );


template<class RangeScalar, class DomainScalar>
inline
void applyTranspose(
  const LinearOpBase<RangeScalar,DomainScalar> &M,
  const EConj conj,
  const MultiVectorBase<RangeScalar> &X,
  MultiVectorBase<DomainScalar> *Y,
  const DomainScalar alpha = ScalarTraits<DomainScalar>::one(),
  const DomainScalar beta = ScalarTraits<DomainScalar>::zero()
  );


template<class Scalar>
void apply(
  const LinearOpBase<Scalar> &M,
  const EOpTransp M_trans,
  const MultiVectorBase<Scalar> &X,
  const Ptr<MultiVectorBase<Scalar> > &Y,
  const Scalar alpha = ScalarTraits<Scalar>::one(),
  const Scalar beta = ScalarTraits<Scalar>::zero()
  );


template<class Scalar>
void apply(
  const LinearOpBase<Scalar> &M,
  const EOpTransp M_trans,
  const MultiVectorBase<Scalar> &X,
  MultiVectorBase<Scalar> *Y,
  const Scalar alpha = ScalarTraits<Scalar>::one(),
  const Scalar beta = ScalarTraits<Scalar>::zero()
  );


} // end namespace Thyra


//
// Implementations
//


template<class Scalar>
bool Thyra::isFullyUninitialized( const LinearOpBase<Scalar> &M )
{
  return ( is_null(M.range()) || is_null(M.domain()) );
}


template<class Scalar>
bool Thyra::isPartiallyInitialized( const LinearOpBase<Scalar> &M )
{
  return
    (
      ( !is_null(M.range()) && !is_null(M.domain()) )
      && 
      (
        !opSupported(M,NOTRANS) && !opSupported(M,CONJ)
        && !opSupported(M,TRANS) && !opSupported(M,CONJTRANS)
        )
      );
}


template<class Scalar>
bool Thyra::isFullyInitialized( const LinearOpBase<Scalar> &M )
{
  return
    (
      ( !is_null(M.range()) && !is_null(M.domain()) )
      && 
      (
        opSupported(M,NOTRANS) || opSupported(M,CONJ)
        || opSupported(M,TRANS) || opSupported(M,CONJTRANS)
        )
      );
}


template<class Scalar>
inline
bool Thyra::opSupported( const LinearOpBase<Scalar> &M, EOpTransp M_trans )
{
  if(real_trans(M_trans)==NOTRANS)
    return M.applySupports(transToConj(M_trans));
  return M.applyTransposeSupports(transToConj(M_trans));
}


template<class RangeScalar, class DomainScalar>
inline
void Thyra::apply(
  const LinearOpBase<RangeScalar,DomainScalar> &M,
  const EConj conj,
  const MultiVectorBase<DomainScalar> &X,
  MultiVectorBase<RangeScalar> *Y,
  const RangeScalar alpha,
  const RangeScalar beta
  )
{
  M.apply(conj,X,Y,alpha,beta);
}


template<class RangeScalar, class DomainScalar>
inline
void Thyra::applyTranspose(
  const LinearOpBase<RangeScalar,DomainScalar> &M,
  const EConj conj,
  const MultiVectorBase<RangeScalar> &X,
  MultiVectorBase<DomainScalar> *Y,
  const DomainScalar alpha,
  const DomainScalar beta
  )
{
  M.applyTranspose(conj,X,Y,alpha,beta);
}


template<class Scalar>
void Thyra::apply(
  const LinearOpBase<Scalar> &M,
  const EOpTransp M_trans,
  const MultiVectorBase<Scalar> &X,
  const Ptr<MultiVectorBase<Scalar> > &Y,
  const Scalar alpha,
  const Scalar beta
  )
{
  if(real_trans(M_trans)==NOTRANS) {
    M.apply(transToConj(M_trans),X,&*Y,alpha,beta);
  }
  else {
    M.applyTranspose(transToConj(M_trans),X,&*Y,alpha,beta);
  }
}


template<class Scalar>
void Thyra::apply(
  const LinearOpBase<Scalar> &M,
  const EOpTransp M_trans,
  const MultiVectorBase<Scalar> &X,
  MultiVectorBase<Scalar> *Y,
  const Scalar alpha,
  const Scalar beta
  )
{
  apply(M, M_trans, X, Teuchos::ptr(Y), alpha, beta);
}



#endif  // THYRA_LINEAR_OP_DECL_HPP

---