ROL
ROL_ScalarLinearEqualityConstraint.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_AFFINE_HYPERPLANE_EQUALITY_CONSTRAINT_H
45 #define ROL_AFFINE_HYPERPLANE_EQUALITY_CONSTRAINT_H
46 
47 #include "ROL_Vector.hpp"
48 #include "ROL_StdVector.hpp"
50 
77 namespace ROL {
78 
79 template <class Real>
81 private:
82  const Teuchos::RCP<Vector<Real> > a_;
83  const Real b_;
84 
85 public:
87  const Real b)
88  : a_(a), b_(b) {}
89 
90  void value(Vector<Real> &c, const Vector<Real> &x, Real &tol) {
91  StdVector<Real> cc = Teuchos::dyn_cast<StdVector<Real> >(c);
92  std::vector<Real> &cp = *(cc.getVector());
93  cp[0] = a_->dot(x.dual()) - b_;
94  }
95 
97  const Vector<Real> &x, Real &tol) {
98  StdVector<Real> jc = Teuchos::dyn_cast<StdVector<Real> >(jv);
99  std::vector<Real> &jp = *(jc.getVector());
100  jp[0] = a_->dot(v.dual());
101  }
102 
104  const Vector<Real> &x, Real &tol) {
105  const StdVector<Real> vc = Teuchos::dyn_cast<const StdVector<Real> >(v);
106  const std::vector<Real> &vp = *(vc.getVector());
107  ajv.set(*a_);
108  ajv.scale(vp[0]);
109  }
110 
112  const Vector<Real> &v, const Vector<Real> &x,
113  Real &tol) {
114  ahuv.zero();
115  }
116 
117  std::vector<Real> solveAugmentedSystem(Vector<Real> &v1, Vector<Real> &v2,
118  const Vector<Real> &b1, const Vector<Real> &b2,
119  const Vector<Real> &x, Real &tol) {
120  StdVector<Real> v2c = Teuchos::dyn_cast<StdVector<Real> >(v2);
121  std::vector<Real> &v2p = *(v2c.getVector());
122  const StdVector<Real> b2c = Teuchos::dyn_cast<const StdVector<Real> >(b2);
123  const std::vector<Real> &b2p = *(b2c.getVector());
124 
125  v2p[0] = (a_->dot(b1.dual()) - b2p[0])/a_->dot(*a_);
126  v1.set(b1.dual());
127  v1.axpy(-v2p[0],a_->dual());
128 
129  std::vector<Real> out;
130  return out;
131  }
132 
133 }; // class ScalarLinearEqualityConstraint
134 
135 } // namespace ROL
136 
137 #endif
void applyJacobian(Vector< Real > &jv, const Vector< Real > &v, const Vector< Real > &x, Real &tol)
Apply the constraint Jacobian at , , to vector .
virtual const Vector & dual() const
Return dual representation of , for example, the result of applying a Riesz map, or change of basis...
Definition: ROL_Vector.hpp:215
std::vector< Real > solveAugmentedSystem(Vector< Real > &v1, Vector< Real > &v2, const Vector< Real > &b1, const Vector< Real > &b2, const Vector< Real > &x, Real &tol)
Approximately solves the augmented system where , , , , is an identity or Riesz operator...
virtual void scale(const Real alpha)=0
Compute where .
Teuchos::RCP< const std::vector< Element > > getVector() const
virtual void axpy(const Real alpha, const Vector &x)
Compute where .
Definition: ROL_Vector.hpp:145
This equality constraint defines an affine hyperplane.
void applyAdjointHessian(Vector< Real > &ahuv, const Vector< Real > &u, const Vector< Real > &v, const Vector< Real > &x, Real &tol)
Apply the derivative of the adjoint of the constraint Jacobian at to vector in direction ...
virtual void zero()
Set to zero vector.
Definition: ROL_Vector.hpp:159
Defines the linear algebra or vector space interface.
Definition: ROL_Vector.hpp:76
Defines the equality constraint operator interface.
void applyAdjointJacobian(Vector< Real > &ajv, const Vector< Real > &v, const Vector< Real > &x, Real &tol)
Apply the adjoint of the the constraint Jacobian at , , to vector .
virtual void set(const Vector &x)
Set where .
Definition: ROL_Vector.hpp:198
ScalarLinearEqualityConstraint(const Teuchos::RCP< Vector< Real > > &a, const Real b)
void value(Vector< Real > &c, const Vector< Real > &x, Real &tol)
Evaluate the constraint operator at .
const Teuchos::RCP< Vector< Real > > a_
Dual vector defining hyperplane.