mrffl_solver_ne.f90

Go to the documentation of this file.

! -*- Mode:F90; Coding:us-ascii-unix; fill-column:129 -*-
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!.H.S.!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!.H.E.!!
!>
!! @file      mrffl_solver.f90
!! @author    Mitch Richling http://www.mitchr.me/
!! @date      2024-12-19
!! @brief     Experimental root solvers that take a data payload in addition to a function.@EOL
!! @keywords  finance fortran monte carlo inflation cashflow time value of money tvm percentages taxes stock market
!! @std       F2023
!! @see       https://github.com/richmit/FortranFinance
!! @copyright
!!  @parblock
!!  Copyright (c) 2024, Mitchell Jay Richling <http://www.mitchr.me/> All rights reserved.
!!
!!  Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following
!!  conditions are met:
!!
!!  1. Redistributions of source code must retain the above copyright notice, this list of conditions, and the following
!!     disclaimer.
!!
!!  2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions, and the following
!!     disclaimer in the documentation and/or other materials provided with the distribution.
!!
!!  3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products
!!     derived from this software without specific prior written permission.
!!
!!  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
!!  INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
!!  DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
!!  EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
!!  USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
!!  LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
!!  OF THE POSSIBILITY OF SUCH DAMAGE.
!!  @endparblock
!!
 
!----------------------------------------------------------------------------------------------------------------------------------
!> Experimental root solvers that take a data payload in addition to a function.
!!
!! The idea is to avoid shared variables.  This is especially difficult for nested functions because they require the resulting
!! binary to have an executable stack -- something frowned upon.  Unfortuntly this code currently causes code generated by the
!! NVIDIA HPC compiler to core dump.  That's why this code is "experimental".
!!
module mrffl_solver_ne
  use mrffl_config, only: rk=>mrfflrk, ik=>mrfflik
  implicit none
  private
 
  public :: bisection, multi_bisection
 
contains
 
  !------------------------------------------------------------------------------------------------------------------------------
  !> Search for a root for the function f in the interval [x0_init, x1_init].
  !!
  !! The process is iterative.  At each step the size of the search interval is cut in half.  If the search interval gets too
  !! small (< x_epsilon), then the process is abandoned.  If no zero is found after max_itr, then the process is abandoned.
  !!
  !! @param xc         The solution (or last value tested if no solution is found)
  !! @param x0_init    Left side of search interval
  !! @param x1_init    Right side of search interval
  !! @param f          Function to solve for zero
  !! @param r_dat      Real data passed to f
  !! @param i_dat      Integer data passed to f
  !! @param x_epsilon  Used to test if current search interval is too small
  !! @param y_epsilon  Used to test if f is near zero
  !! @param max_itr    Maximum number of iterations before giving up
  !! @param status     Returns status of computation. 0 if everything worked. Range: 0 & 4001-4032.
  !! @param progress   Print progress as solver searches for a solution
  !!
  subroutine bisection(xc, x0_init, x1_init, f, r_dat, i_dat, x_epsilon, y_epsilon, max_itr, status, progress)
    implicit none
 
    interface
       real(kind=rk) function func_to_solve_t(x, r_dat, i_dat)
         use mrffl_config, only: rk=>mrfflrk, ik=>mrfflik
         implicit none
         real(kind=rk),    intent(in) :: x
         real(kind=rk),    intent(in) :: r_dat(:)
         integer(kind=ik), intent(in) :: i_dat(:)
       end function func_to_solve_t
    end interface
 
    procedure(func_to_solve_t)    :: f
    real(kind=rk),    intent(in)  :: r_dat(:)
    integer(kind=ik), intent(in)  :: i_dat(:)
    real(kind=rk),    intent(out) :: xc
    real(kind=rk),    intent(in)  :: x0_init, x1_init
    real(kind=rk),    intent(in)  :: x_epsilon, y_epsilon
    integer(kind=ik), intent(in)  :: max_itr
    integer(kind=ik), intent(out) :: status
    logical,          intent(in)  :: progress
    real(kind=rk)                 :: x0, x1, f0, f1, fc
    integer(kind=ik)              :: itr
 
    x0 = x0_init
    xc = x0
    f0 = f(xc, r_dat, i_dat)
    if (abs(f0) < y_epsilon) then
       status = 0
    else
       x1 = x1_init
       xc = x1
       f1 = f(xc, r_dat, i_dat)
       if (abs(f1) < y_epsilon) then
          xc = x1
          status = 0
       else
          if (progress)  print *, 0, x0, f0, x1, f1
          if (((f0 < 0) .and. (f1 < 0)) .or. ((f0 > 0) .and. (f1 > 0))) then
             status = 4001 ! "ERROR(bisection): f is the same sign on initial interval endpoints!"
          else
             do itr=1,max_itr
                xc = (x0 + x1) / 2
                if (abs(x0-x1) < x_epsilon) then
                   status = 4002 ! "ERROR(bisection): Interval is smaller than x_epsilon!"
                end if
                fc = f(xc, r_dat, i_dat)
                if (progress)  print *, itr, x0, f0, x1, f1, xc, fc
                if (abs(fc) < y_epsilon) then
                   status = 0
                   return
                end if
                if (fc < 0) then
                   if (f0 < 0) then ! && (f1 > 0)
                      x0 = xc
                      f0 = fc
                   else ! (f0 > 0) && (f1 < 0)
                      x1 = xc
                      f1 = fc
                   end if
                else ! (f>0)
                   if (f0 < 0) then ! && (f1 > 0)
                      x1 = xc
                      f1 = fc
                   else ! (f0 > 0) && (f1 < 0)
                      x0 = xc
                      f0 = fc
                   end if
                end if
             end do
             status = 4003 ! "ERROR(bisection): Failed to converge!"
          end if
       end if
    end if
  subroutine bisection(xc, x0_init, x1_init, f, r_dat, i_dat, x_epsilon, y_epsilon, max_itr, status, progress) …
  end subroutine bisection
 
  !------------------------------------------------------------------------------------------------------------------------------
  !> Use bisection() to search for a root for the function f in a list of intervals returning the first root found.
  !!
  !! @param xc         The solution (or last value tested if no solution is found)
  !! @param x0_init    A *VECTOR* of left sides for search intervals
  !! @param x1_init    A *VECTOR* of right sides for search intervals
  !! @param f          Function to solve for zero
  !! @param r_dat      Real data passed to f
  !! @param i_dat      Integer data passed to f
  !! @param x_epsilon  Used to test if current search interval is too small
  !! @param y_epsilon  Used to test if f is near zero
  !! @param max_itr    Maximum number of iterations before giving up
  !! @param status     Returns status of computation. 0 if everything worked. Range: 0 & 4033-4064.
  !! @param progress   Print progress as solver searches for a solution
  !!
  subroutine multi_bisection(xc, x0_init, x1_init, f, r_dat, i_dat, x_epsilon, y_epsilon, max_itr, status, progress)
    implicit none
 
    interface
       real(kind=rk) function func_to_solve_t(x, r_dat, i_dat)
         use mrffl_config, only: rk=>mrfflrk, ik=>mrfflik
         implicit none
         real(kind=rk),    intent(in) :: x
         real(kind=rk),    intent(in) :: r_dat(:)
         integer(kind=ik), intent(in) :: i_dat(:)
       end function func_to_solve_t
    end interface
 
    procedure(func_to_solve_t)    :: f
    real(kind=rk),    intent(in)  :: r_dat(:)
    integer(kind=ik), intent(in)  :: i_dat(:)
    real(kind=rk),    intent(out) :: xc
    real(kind=rk),    intent(in)  :: x0_init(:), x1_init(:)
    real(kind=rk),    intent(in)  :: x_epsilon, y_epsilon
    integer(kind=ik), intent(in)  :: max_itr
    integer(kind=ik), intent(out) :: status
    logical,          intent(in)  :: progress
    integer(kind=ik)              :: interval, num_intervals
 
    num_intervals = size(x0_init, kind=ik)
    do interval=1,num_intervals
       if (progress) print *, "Bisection on [", x0_init(interval), ", ", x1_init(interval), "]"
       call bisection(xc, x0_init(interval), x1_init(interval), f, r_dat, i_dat, x_epsilon, y_epsilon, max_itr, &
            status, progress)
       if (status == 0) then
          return
       end if
    end do
    status = 4033 ! "ERROR(bisection): No root found in any interval!"
  subroutine multi_bisection(xc, x0_init, x1_init, f, r_dat, i_dat, x_epsilon, y_epsilon, max_itr, status, progress) …
  end subroutine multi_bisection
 
end module mrffl_solver_ne