RootFinder.hh

Go to the documentation of this file.

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *\
 * Copyright (c) 2025, Davide Stocco, Mattia Piazza and Enrico Bertolazzi.                       *
 *                                                                                               *
 * The Optimist project is distributed under the BSD 2-Clause License.                           *
 *                                                                                               *
 * Davide Stocco                          Mattia Piazza                        Enrico Bertolazzi *
 * University of Trento               University of Trento                  University of Trento *
 * davide.stocco@unitn.it            mattia.piazza@unitn.it           enrico.bertolazzi@unitn.it *
\* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
 
#pragma once
 
#ifndef OPTIMIST_ROOT_FINDER_HH
#define OPTIMIST_ROOT_FINDER_HH
 
#include "Solver.hh"
 
namespace Optimist
{

  namespace RootFinder
  {
 
    /*\
     |   ____             _   _____ _           _
     |  |  _ \ ___   ___ | |_|  ___(_)_ __   __| | ___ _ __
     |  | |_) / _ \ / _ \| __| |_  | | '_ \ / _` |/ _ \ '__|
     |  |  _ < (_) | (_) | |_|  _| | | | | | (_| |  __/ |
     |  |_| \_\___/ \___/ \__|_|   |_|_| |_|\__,_|\___|_|
     |
    \*/

    template <typename Real, Integer N, typename DerivedSolver>
    class RootFinder : public Solver<Real, N, N, DerivedSolver>
    {
    public:
      // Fancy static assertions (just for fun, don't take it too seriously)
      static_assert(N != static_cast<Integer>(0),
        "Are you sure you want to solve a zero-dimensional system of equations?");
      static_assert(N != static_cast<Integer>(1),
        "C'mon, let's not kid ourselves. Use a scalar solver...");
 
      friend Solver<Real, N, N, RootFinder<Real, N, DerivedSolver>>;
 
      static constexpr bool is_rootfinder{true};
      static constexpr bool is_optimizer{false};
 
      static constexpr bool requires_function{DerivedSolver::requires_function};
      static constexpr bool requires_first_derivative{DerivedSolver::requires_first_derivative};
      static constexpr bool requires_second_derivative{DerivedSolver::requires_second_derivative};
 
      OPTIMIST_BASIC_CONSTANTS(Real) 
 
      using Solver<Real, N, N, DerivedSolver>::solve;
 
      // I/O types
      using Vector = typename Solver<Real, N, N, DerivedSolver>::InputType; 
 
      // Derivative types
      using Matrix = typename Solver<Real, N, N, DerivedSolver>::FirstDerivativeType;  
      using Tensor = typename Solver<Real, N, N, DerivedSolver>::SecondDerivativeType; 
 
      // Function types
      using FunctionWrapper = typename Solver<Real, N, N, DerivedSolver>::FunctionWrapper;
      using JacobianWrapper = typename Solver<Real, N, N, DerivedSolver>::FirstDerivativeWrapper;
      using HessianWrapper  = typename Solver<Real, N, N, DerivedSolver>::SecondDerivativeWrapper;

      RootFinder() {}

      std::string name() const {return static_cast<const DerivedSolver *>(this)->name_impl();}

      Integer jacobian_evaluations() const {return this->first_derivative_evaluations();}

      Integer max_jacobian_evaluations() const {return this->max_first_derivative_evaluations();}

      void max_jacobian_evaluations(Integer t_jacobian_evaluations)
      {
        this->max_first_derivative_evaluations(t_jacobian_evaluations);
      }

      Integer hessian_evaluations() const {return this->first_derivative_evaluations();}

      Integer max_hessian_evaluations() const {return this->max_first_derivative_evaluations();}

      void max_hessian_evaluations(Integer t_hessian_evaluations)
      {
        this->max_first_derivative_evaluations(t_hessian_evaluations);
      }
 
    protected:
      void evaluate_jacobian(JacobianWrapper jacobian, const Vector & x, Matrix & out)
      {
        this->evaluate_first_derivative(jacobian, x, out);
      }

      void evaluate_hessian(HessianWrapper hessian, const Vector & x, Matrix & out)
      {
        this->evaluate_second_derivative(hessian, x, out);
      }
 
    public:
      bool solve(FunctionWrapper function, Vector const & x_ini, Vector & x_sol)
      {
        #define CMD "Optimist::RootFinder::solve(...): "
 
        static_assert(DerivedSolver::requires_function,
          CMD "the solver requires a function.");
        return static_cast<DerivedSolver *>(this)->solve_impl(function, x_ini, x_sol);
 
        #undef CMD
      }

      bool solve(FunctionWrapper function, JacobianWrapper jacobian, Vector const & x_ini, Vector & x_sol)
      {
        #define CMD "Optimist::RootFinder::solve(...): "
 
        static_assert(DerivedSolver::requires_function,
          CMD "the solver requires a function.");
        static_assert(DerivedSolver::requires_first_derivative,
          CMD "the solver requires the first derivative.");
        return static_cast<DerivedSolver *>(this)->solve_impl(function, jacobian, x_ini, x_sol);
 
        #undef CMD
      }

      bool solve(FunctionWrapper function, JacobianWrapper jacobian, HessianWrapper hessian, Vector
        const & x_ini, Vector & x_sol)
      {
        #define CMD "Optimist::RootFinder::solve(...): "
 
        static_assert(DerivedSolver::requires_function,
          CMD "the solver requires the function.");
        static_assert(DerivedSolver::requires_first_derivative,
          CMD "the solver requires the first derivative.");
        static_assert(DerivedSolver::requires_second_derivative,
          CMD "the solver requires the second derivative.");
        return static_cast<DerivedSolver *>(this)->solve_impl(function, jacobian, hessian, x_ini, x_sol);
 
        #undef CMD
      }
 
    }; // class RootFinder
 
  } // namespace RootFinder
 
} // namespace Optimist
 
#endif // OPTIMIST_ROOT_FINDER_HH