ROL
ROL_ReduceLinearConstraint_Def.hpp
Go to the documentation of this file.
1// @HEADER
2// ************************************************************************
3//
4// Rapid Optimization Library (ROL) Package
5// Copyright (2014) Sandia Corporation
6//
7// Under terms of Contract DE-AC04-94AL85000, there is a non-exclusive
8// license for use of this work by or on behalf of the U.S. Government.
9//
10// Redistribution and use in source and binary forms, with or without
11// modification, are permitted provided that the following conditions are
12// met:
13//
14// 1. Redistributions of source code must retain the above copyright
15// notice, this list of conditions and the following disclaimer.
16//
17// 2. Redistributions in binary form must reproduce the above copyright
18// notice, this list of conditions and the following disclaimer in the
19// documentation and/or other materials provided with the distribution.
20//
21// 3. Neither the name of the Corporation nor the names of the
22// contributors may be used to endorse or promote products derived from
23// this software without specific prior written permission.
24//
25// THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY
26// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
27// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
28// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE
29// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
30// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
31// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
32// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
33// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
34// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
35// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36//
37// Questions? Contact lead developers:
38// Drew Kouri (dpkouri@sandia.gov) and
39// Denis Ridzal (dridzal@sandia.gov)
40//
41// ************************************************************************
42// @HEADER
43
44#ifndef ROL_REDUCE_LINEAR_CONSTRAINT_DEF_H
45#define ROL_REDUCE_LINEAR_CONSTRAINT_DEF_H
46
47namespace ROL {
48
49template<typename Real>
51 const Ptr<Vector<Real>> &x,
52 const Ptr<const Vector<Real>> &c)
53 : lcon_(lcon), x_(x),
54 storage_(makePtr<VectorController<Real>>()),
55 nsop_(makePtr<NullSpaceOperator<Real>>(lcon,x_,c)) {
56 feasible(c);
57}
58
59template<typename Real>
60Ptr<Objective<Real>> ReduceLinearConstraint<Real>::transform(const Ptr<Objective<Real>> &obj) const {
61 return makePtr<AffineTransformObjective<Real>>(obj,nsop_,x_,storage_);
62}
63
64template<typename Real>
65Ptr<Constraint<Real>> ReduceLinearConstraint<Real>::transform(const Ptr<Constraint<Real>> &con) const {
66 return makePtr<AffineTransformConstraint<Real>>(con,nsop_,x_,storage_);
67}
68
69template<typename Real>
70Ptr<Constraint<Real>> ReduceLinearConstraint<Real>::getLinearConstraint(void) const {
71 return lcon_;
72}
73
74template<typename Real>
75Ptr<const Vector<Real>> ReduceLinearConstraint<Real>::getFeasibleVector(void) const {
76 return x_;
77}
78
79template<typename Real>
81 Real tol = std::sqrt(ROL_EPSILON<Real>());
82 nsop_->apply(x,y,tol);
83}
84
85template<typename Real>
86void ReduceLinearConstraint<Real>::project(const Ptr<Vector<Real>> &x, const Ptr<const Vector<Real>> &y) const {
87 project(*x,*y);
88}
89
90template<typename Real>
92 Real tol = std::sqrt(ROL_EPSILON<Real>());
93 Ptr<Vector<Real>> ran = c->clone();
94 lcon_->value(*ran,*x_,tol);
95 Real cnorm = ran->norm();
96 if ( cnorm > static_cast<Real>(1e-4)*tol ) {
97 RangeSpaceOperator<Real> rsop(lcon_,x_,c);
98 Ptr<Vector<Real>> xzero = x_->clone(); xzero->zero();
99 lcon_->value(*ran,*xzero,tol);
100 ran->scale(static_cast<Real>(-1));
101 nsop_->apply(*xzero,*x_,tol);
102 rsop.apply(*x_,*ran,tol);
103 x_->plus(*xzero);
104 //throw Exception::NotImplemented(">>> ReduceLinearConstraint::feasible : Input x is not feasible!");
105 }
106}
107
108} // namespace ROL
109
110#endif
Defines the general constraint operator interface.
Projects on to the null space of a linear constraint.
Provides the interface to evaluate objective functions.
Projects on to the null space of a linear constraint.
virtual void apply(Vector< Real > &Hv, const Vector< Real > &v, Real &tol) const
Apply linear operator.
Ptr< const Vector< Real > > getFeasibleVector(void) const
Ptr< Objective< Real > > transform(const Ptr< Objective< Real > > &obj) const
ReduceLinearConstraint(const Ptr< Constraint< Real > > &lcon, const Ptr< Vector< Real > > &x, const Ptr< const Vector< Real > > &c)
void feasible(const Ptr< const Vector< Real > > &c)
void project(Vector< Real > &x, const Vector< Real > &y) const
Ptr< Constraint< Real > > getLinearConstraint(void) const
Defines the linear algebra or vector space interface.