ConstrainedOptPack_DecompositionSystemVarReductPermStd.hpp

// @HEADER
// ***********************************************************************
// 
// Moocho: Multi-functional Object-Oriented arCHitecture for Optimization
//                  Copyright (2003) 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 Roscoe A. Bartlett (rabartl@sandia.gov) 
// 
// ***********************************************************************
// @HEADER

#ifndef DECOMPOSITION_SYSTEM_VAR_REDUCT_PERM_STD_H
#define DECOMPOSITION_SYSTEM_VAR_REDUCT_PERM_STD_H

#include <stdexcept>

#include "ConstrainedOptPack_DecompositionSystemVarReductPerm.hpp"
#include "AbstractLinAlgPack_VectorSpace.hpp"

namespace ConstrainedOptPack {

class DecompositionSystemVarReductPermStd : public DecompositionSystemVarReductPerm {
public:


  typedef Teuchos::RCP<DecompositionSystemVarReductImp>    decomp_sys_imp_ptr_t;
  typedef Teuchos::RCP<BasisSystemPerm>                    basis_sys_ptr_t;



  DecompositionSystemVarReductPermStd(
    const decomp_sys_imp_ptr_t&        decomp_sys_imp  = Teuchos::null
    ,const basis_sys_ptr_t&            basis_sys       = Teuchos::null
    ,bool                              basis_selected  = false
    ,EExplicitImplicit                 D_imp           = MAT_IMP_AUTO
    ,EExplicitImplicit                 Uz_imp          = MAT_IMP_AUTO
    );

  void initialize(
    const decomp_sys_imp_ptr_t&        decomp_sys_imp
    ,const basis_sys_ptr_t&            basis_sys
    ,bool                              basis_selected  = false
    ,EExplicitImplicit                 D_imp           = MAT_IMP_AUTO
    ,EExplicitImplicit                 Uz_imp          = MAT_IMP_AUTO
    );



  const decomp_sys_imp_ptr_t& decomp_sys_imp() const;
  const basis_sys_ptr_t& basis_sys() const;



  size_type n() const;
  size_type m() const;
  size_type r() const;
  Range1D equ_decomp() const;
  Range1D equ_undecomp() const;
  const VectorSpace::space_ptr_t space_range() const;
  const VectorSpace::space_ptr_t space_null() const;
  const mat_fcty_ptr_t factory_Z() const;
  const mat_fcty_ptr_t factory_Y() const;
  const mat_nonsing_fcty_ptr_t factory_R() const;
  const mat_fcty_ptr_t factory_Uz() const;
  const mat_fcty_ptr_t factory_Uy() const;
  void update_decomp(
    std::ostream          *out
    ,EOutputLevel         olevel
    ,ERunTests            test_what
    ,const MatrixOp       &Gc
    ,MatrixOp             *Z
    ,MatrixOp             *Y
    ,MatrixOpNonsing      *R
    ,MatrixOp             *Uz
    ,MatrixOp             *Uy
    ,EMatRelations        mat_rel
    ) const;
  void print_update_decomp(
    std::ostream& out, const std::string& leading_str ) const;



  Range1D var_indep() const;
  Range1D var_dep() const;



  const perm_fcty_ptr_t   factory_P_var() const;
  const perm_fcty_ptr_t   factory_P_equ() const;
  bool has_basis() const;
  void set_decomp(
    std::ostream          *out
    ,EOutputLevel         olevel
    ,ERunTests            test_what
    ,const Permutation    &P_var
    ,const Range1D        &var_dep
    ,const Permutation    *P_equ
    ,const Range1D        *equ_decomp
    ,const MatrixOp       &Gc
    ,MatrixOp             *Z
    ,MatrixOp             *Y
    ,MatrixOpNonsing      *R
    ,MatrixOp             *Uz
    ,MatrixOp             *Uy
    ,EMatRelations        mat_rel
    );
  void select_decomp(
    std::ostream          *out
    ,EOutputLevel         olevel
    ,ERunTests            test_what
    ,const Vector         *nu
    ,MatrixOp             *Gc
    ,Permutation          *P_var
    ,Range1D              *var_dep
    ,Permutation          *P_equ
    ,Range1D              *equ_decomp
    ,MatrixOp             *Z
    ,MatrixOp             *Y
    ,MatrixOpNonsing      *R
    ,MatrixOp             *Uz
    ,MatrixOp             *Uy
    ,EMatRelations        mat_rel
    );


private:

  // /////////////////////////
  // Private data members

  bool                        basis_selected_;  // True if a basis is currently selected
  decomp_sys_imp_ptr_t        decomp_sys_imp_;
  basis_sys_ptr_t             basis_sys_;

  // /////////////////////////
  // Private member functions

  void assert_basis_selected() const;

  // Not defined and not to be called!
  DecompositionSystemVarReductPermStd();
  DecompositionSystemVarReductPermStd(const DecompositionSystemVarReductPermStd&);
  DecompositionSystemVarReductPermStd& operator=(const DecompositionSystemVarReductPermStd&);
  
};  // end class DecompositionSystemVarReductPermStd

// ///////////////////////////////////////
// Inline members

inline
const DecompositionSystemVarReductPermStd::decomp_sys_imp_ptr_t&
DecompositionSystemVarReductPermStd::decomp_sys_imp() const
{
  return decomp_sys_imp_;
}

inline
const DecompositionSystemVarReductPermStd::basis_sys_ptr_t&
DecompositionSystemVarReductPermStd::basis_sys() const
{
  return basis_sys_;
}

} // end namespace ConstrainedOptPack

#endif // DECOMPOSITION_SYSTEM_VAR_REDUCT_PERM_STD_H