equation_solver.cpp

// Copyright (c) Lawrence Livermore National Security, LLC and
// other Smith Project Developers. See the top-level LICENSE file for
// details.
//
// SPDX-License-Identifier: (BSD-3-Clause)
 
#include "smith/numerics/equation_solver.hpp"
#include "smith/numerics/block_preconditioner.hpp"
 
#include <cstdlib>
#include <iomanip>
#include <iostream>
#include <algorithm>
#include <cmath>
#include <exception>
#include <limits>
#include <string>
#include <tuple>
 
#include "smith/smith_config.hpp"
#include "smith/infrastructure/profiling.hpp"
#include "smith/numerics/trust_region_solver.hpp"
#include "smith/infrastructure/logger.hpp"
 
namespace smith {
 
namespace {
 
class SolverWithPreconditioner : public mfem::Solver {
 public:
  SolverWithPreconditioner(std::unique_ptr<mfem::Solver> linear_solver, std::unique_ptr<mfem::Solver> preconditioner)
      : linear_solver_(std::move(linear_solver)), preconditioner_(std::move(preconditioner))
  {
    SLIC_ERROR_IF(!linear_solver_, "SolverWithPreconditioner requires a non-null linear solver");
  }
 
  void SetOperator(const mfem::Operator& op) override
  {
    height = op.Height();
    width = op.Width();
    linear_solver_->SetOperator(op);
  }
 
  void Mult(const mfem::Vector& x, mfem::Vector& y) const override { linear_solver_->Mult(x, y); }
 
 private:
  std::unique_ptr<mfem::Solver> linear_solver_;
  std::unique_ptr<mfem::Solver> preconditioner_;
};
 
bool preconditionerSupportsBlockOperator(Preconditioner preconditioner)
{
  switch (preconditioner) {
    case Preconditioner::None:
    case Preconditioner::BlockDiagonal:
    case Preconditioner::BlockTriangular:
    case Preconditioner::BlockSchur:
      return true;
    default:
      return false;
  }
}
 
bool linearSolverSupportsBlockOperator(LinearSolver linear_solver)
{
  switch (linear_solver) {
    case LinearSolver::CG:
    case LinearSolver::GMRES:
    case LinearSolver::SuperLU:
#ifdef MFEM_USE_STRUMPACK
    case LinearSolver::Strumpack:
#endif
#ifdef SMITH_USE_PETSC
    case LinearSolver::PetscCG:
    case LinearSolver::PetscGMRES:
#endif
      return true;
    default:
      return false;
  }
}
 
bool monolithicizeOperatorIfNeeded(const LinearSolverOptions& linear_options, mfem::Operator& assembled_gradient,
                                   mfem::Operator*& gradient_operator)
{
  auto* block_gradient = dynamic_cast<const mfem::BlockOperator*>(&assembled_gradient);
  if (!block_gradient) {
    gradient_operator = &assembled_gradient;
    return false;
  }
 
  if (!requiresMonolithicOperator(linear_options)) {
    gradient_operator = &assembled_gradient;
    return false;
  }
 
  gradient_operator = buildMonolithicMatrix(*block_gradient).release();
  SLIC_DEBUG_ROOT(
      axom::fmt::format("Automatically monolithicizing block Jacobian for linear solver {} with "
                        "preconditioner {}",
                        linearName(linear_options.linear_solver), preconditionerName(linear_options.preconditioner)));
  return true;
}
 
}  // namespace
 
class NewtonSolver : public mfem::NewtonSolver, public ConvergenceManagedNonlinearSolver {
 protected:
  mutable mfem::Vector x0;
 
  NonlinearSolverOptions nonlinear_options;
 
  LinearSolverOptions linear_options;
 
  mutable size_t print_level = 0;
 
  mutable bool grad_monolithic = false;
 
  std::shared_ptr<EquationSolverConvergenceManager> convergence_manager_ = nullptr;
 
 public:
  NewtonSolver(const NonlinearSolverOptions& nonlinear_opts, const LinearSolverOptions& linear_opts)
      : nonlinear_options(nonlinear_opts), linear_options(linear_opts)
  {
  }
 
#ifdef MFEM_USE_MPI
  NewtonSolver(MPI_Comm comm_, const NonlinearSolverOptions& nonlinear_opts, const LinearSolverOptions& linear_opts)
      : mfem::NewtonSolver(comm_), nonlinear_options(nonlinear_opts), linear_options(linear_opts)
  {
  }
#endif
 
  virtual ~NewtonSolver()
  {
    if (grad_monolithic) delete grad;
  }
 
  void setConvergenceManager(std::shared_ptr<EquationSolverConvergenceManager> convergence_manager) override
  {
    convergence_manager_ = std::move(convergence_manager);
  }
 
  ConvergenceStatus evaluateConvergence(const mfem::Vector& x, mfem::Vector& rOut) const
  {
    SMITH_MARK_FUNCTION;
    ConvergenceStatus status;
    status.global_norm = std::numeric_limits<double>::max();
    status.global_goal = std::numeric_limits<double>::max();
    try {
      oper->Mult(x, rOut);
      if (convergence_manager_) {
        status = convergence_manager_->evaluate(1.0, rOut);
      } else {
        status.block_norms = {Norm(rOut)};
        status.global_norm = status.block_norms.front();
        status.global_goal = std::max(rel_tol * initial_norm, abs_tol);
        status.global_converged = status.global_norm <= status.global_goal;
        status.converged = status.global_converged;
      }
    } catch (const std::exception&) {
      status.global_norm = std::numeric_limits<double>::max();
      status.global_goal = std::numeric_limits<double>::max();
    }
    return status;
  }
 
  void assembleJacobian(const mfem::Vector& x) const
  {
    SMITH_MARK_FUNCTION;
    if (grad_monolithic) {
      delete grad;
      grad = nullptr;
      grad_monolithic = false;
    }
    mfem::Operator& assembled_gradient = oper->GetGradient(x);
    grad_monolithic = monolithicizeOperatorIfNeeded(linear_options, assembled_gradient, grad);
  }
 
  void setPreconditioner() const
  {
    SMITH_MARK_FUNCTION;
    prec->SetOperator(*grad);
  }
 
  void solveLinearSystem(const mfem::Vector& r_, mfem::Vector& c_) const
  {
    SMITH_MARK_FUNCTION;
    prec->Mult(r_, c_);  // c = [DF(x_i)]^{-1} [F(x_i)-b]
  }
 
  void Mult(const mfem::Vector&, mfem::Vector& x) const override
  {
    MFEM_ASSERT(oper != NULL, "the Operator is not set (use SetOperator).");
    MFEM_ASSERT(prec != NULL, "the Solver is not set (use SetSolver).");
 
    print_level = print_options.iterations ? 1 : print_level;
    print_level = print_options.summary ? 2 : print_level;
 
    using real_t = mfem::real_t;
 
    ConvergenceStatus status = evaluateConvergence(x, r);
    real_t norm = status.global_norm;
    initial_norm = norm;
    if (norm == 0.0) return;
 
    if (print_level == 1) {
      mfem::out << "Newton iteration " << std::setw(3) << 0 << " : ||r|| = " << std::setw(13) << norm << "\n";
    }
 
    prec->iterative_mode = false;
 
    int it = 0;
    for (; true; it++) {
      MFEM_ASSERT(mfem::IsFinite(norm), "norm = " << norm);
      if (print_level >= 2) {
        mfem::out << "Newton iteration " << std::setw(3) << it << " : ||r|| = " << std::setw(13) << norm;
        if (it > 0) {
          mfem::out << ", ||r||/||r_0|| = " << std::setw(13) << (initial_norm != 0.0 ? norm / initial_norm : norm);
        }
        mfem::out << '\n';
      }
 
      if ((print_level >= 1) && (norm != norm)) {
        mfem::out << "Initial residual for Newton iteration is undefined/nan.\n";
        mfem::out << "Newton: No convergence!\n";
        return;
      }
 
      if (status.converged && it >= nonlinear_options.min_iterations) {
        converged = true;
        break;
      } else if (it >= max_iter) {
        converged = false;
        break;
      }
 
      real_t norm_nm1 = norm;
 
      assembleJacobian(x);
      setPreconditioner();
      solveLinearSystem(r, c);
 
      // there must be a better way to do this?
      x0.SetSize(x.Size());
      x0 = 0.0;
      x0.Add(1.0, x);
 
      real_t stepScale = 1.0;
      add(x0, -stepScale, c, x);
      status = evaluateConvergence(x, r);
      norm = status.global_norm;
 
      const int max_ls_iters = nonlinear_options.max_line_search_iterations;
      static constexpr real_t reduction = 0.5;
 
      const double sufficientDecreaseParam = 0.0;  // 1e-15;
      const double cMagnitudeInR = sufficientDecreaseParam != 0.0 ? std::abs(Dot(c, r)) / norm_nm1 : 0.0;
 
      auto is_improved = [=](real_t currentNorm, real_t c_scale) {
        return currentNorm < norm_nm1 - sufficientDecreaseParam * c_scale * cMagnitudeInR;
      };
 
      // back-track linesearch
      int ls_iter = 0;
      int ls_iter_sum = 0;
      for (; !is_improved(norm, stepScale) && ls_iter < max_ls_iters; ++ls_iter, ++ls_iter_sum) {
        stepScale *= reduction;
        add(x0, -stepScale, c, x);
        status = evaluateConvergence(x, r);
        norm = status.global_norm;
      }
 
      // try the opposite direction and linesearch back from there
      if (max_ls_iters > 0 && ls_iter == max_ls_iters && !is_improved(norm, stepScale)) {
        stepScale = 1.0;
        add(x0, stepScale, c, x);
        status = evaluateConvergence(x, r);
        norm = status.global_norm;
 
        ls_iter = 0;
        for (; !is_improved(norm, stepScale) && ls_iter < max_ls_iters; ++ls_iter, ++ls_iter_sum) {
          stepScale *= reduction;
          add(x0, stepScale, c, x);
          status = evaluateConvergence(x, r);
          norm = status.global_norm;
        }
 
        // ok, the opposite direction was also terrible, lets go back, cut in half 1 last time and accept it hoping for
        // the best
        if (ls_iter == max_ls_iters && !is_improved(norm, stepScale)) {
          ++ls_iter_sum;
          stepScale *= reduction;
          add(x0, -stepScale, c, x);
          status = evaluateConvergence(x, r);
          norm = status.global_norm;
        }
      }
 
      if (ls_iter_sum) {
        if (print_level >= 2) {
          mfem::out << "Number of line search steps taken = " << ls_iter_sum << std::endl;
        }
        if (print_level >= 2 && (ls_iter_sum == 2 * max_ls_iters + 1)) {
          mfem::out << "The maximum number of line search cut back have occurred, the resulting residual may not have "
                       "decreased. "
                    << std::endl;
        }
      }
    }
 
    final_iter = it;
    final_norm = norm;
 
    if (print_level == 1) {
      mfem::out << "Newton iteration " << std::setw(3) << final_iter << " : ||r|| = " << std::setw(13) << norm << '\n';
    }
    if (!converged && print_level >= 1) {  // (print_options.summary || print_options.warnings)) {
      mfem::out << "Newton: No convergence!\n";
    }
  }
};
 
struct TrustRegionSettings {
  double cg_tol = 1e-8;
  size_t min_cg_iterations = 0;  //
  size_t max_cg_iterations = 10000;  //
  size_t max_cumulative_iteration = 1;
  double min_tr_size = 1e-13;
  double t1 = 0.25;
  double t2 = 1.75;
  double eta1 = 1e-9;
  double eta2 = 0.1;
  double eta3 = 0.6;
  double eta4 = 4.2;
};
 
struct TrustRegionResults {
  TrustRegionResults(int size)
  {
    z.SetSize(size);
    H_z.SetSize(size);
    d_old.SetSize(size);
    H_d_old.SetSize(size);
    d.SetSize(size);
    H_d.SetSize(size);
    Pr.SetSize(size);
    cauchy_point.SetSize(size);
    H_cauchy_point.SetSize(size);
  }
 
  void reset()
  {
    z = 0.0;
    cauchy_point = 0.0;
  }
 
  enum class Status
  {
    Interior,
    NegativeCurvature,
    OnBoundary,
    NonDescentDirection
  };
 
  mfem::Vector z;
  mfem::Vector H_z;
  mfem::Vector d_old;
  mfem::Vector H_d_old;
  mfem::Vector d;
  mfem::Vector H_d;
  mfem::Vector Pr;
  mfem::Vector cauchy_point;
  mfem::Vector H_cauchy_point;
  Status interior_status = Status::Interior;
  size_t cg_iterations_count = 0;
};
 
void printTrustRegionInfo(double realObjective, double modelObjective, size_t cgIters, double trSize, bool willAccept)
{
  mfem::out << "real energy = " << std::setw(13) << realObjective << ", model energy = " << std::setw(13)
            << modelObjective << ", cg iter = " << std::setw(7) << cgIters << ", next tr size = " << std::setw(8)
            << trSize << ", accepting = " << willAccept << std::endl;
}
 
class TrustRegion : public mfem::NewtonSolver, public ConvergenceManagedNonlinearSolver {
 protected:
  mutable mfem::Vector x_pred;
  mutable mfem::Vector r_pred;
  mutable mfem::Vector scratch;
  mutable std::vector<std::shared_ptr<mfem::Vector>> left_mosts;
  mutable std::vector<std::shared_ptr<mfem::Vector>> H_left_mosts;
 
  NonlinearSolverOptions nonlinear_options;
  LinearSolverOptions linear_options;
 
  Solver& tr_precond;
 
  mutable size_t print_level = 0;
 
  mutable bool grad_monolithic = false;
 
  std::shared_ptr<EquationSolverConvergenceManager> convergence_manager_ = nullptr;
 
 public:
  mutable size_t num_hess_vecs = 0;
  mutable size_t num_preconds = 0;
  mutable size_t num_residuals = 0;
  mutable size_t num_subspace_solves = 0;
  mutable size_t num_jacobian_assembles = 0;
 
#ifdef MFEM_USE_MPI
  TrustRegion(MPI_Comm comm_, const NonlinearSolverOptions& nonlinear_opts, const LinearSolverOptions& linear_opts,
              Solver& tPrec)
      : mfem::NewtonSolver(comm_), nonlinear_options(nonlinear_opts), linear_options(linear_opts), tr_precond(tPrec)
  {
  }
#endif
 
  virtual ~TrustRegion()
  {
    if (grad_monolithic) delete grad;
  }
 
  void setConvergenceManager(std::shared_ptr<EquationSolverConvergenceManager> convergence_manager) override
  {
    convergence_manager_ = std::move(convergence_manager);
  }
 
  void projectToBoundaryWithCoefs(mfem::Vector& z, const mfem::Vector& d, double delta, double zz, double zd,
                                  double dd) const
  {
    // find z + tau d
    double deltadelta_m_zz = delta * delta - zz;
    if (deltadelta_m_zz == 0) return;  // already on boundary
    double tau = (std::sqrt(deltadelta_m_zz * dd + zd * zd) - zd) / dd;
    z.Add(tau, d);
  }
 
  template <typename HessVecFunc>
  void solveTheSubspaceProblem([[maybe_unused]] mfem::Vector& z, [[maybe_unused]] const HessVecFunc& hess_vec_func,
                               [[maybe_unused]] const std::vector<const mfem::Vector*> ds,
                               [[maybe_unused]] const std::vector<const mfem::Vector*> Hds,
                               [[maybe_unused]] const mfem::Vector& g, [[maybe_unused]] double delta,
                               [[maybe_unused]] int num_leftmost) const
  {
#ifdef SMITH_USE_SLEPC
    SMITH_MARK_FUNCTION;
    ++num_subspace_solves;
 
    std::vector<const mfem::Vector*> directions;
    for (auto& d : ds) {
      directions.emplace_back(d);
    }
    for (auto& left : left_mosts) {
      directions.emplace_back(left.get());
    }
 
    std::vector<const mfem::Vector*> H_directions;
    for (auto& Hd : Hds) {
      H_directions.emplace_back(Hd);
    }
    for (auto& H_left : H_left_mosts) {
      H_directions.emplace_back(H_left.get());
    }
 
    try {
      std::tie(directions, H_directions) = removeDependentDirections(directions, H_directions);
    } catch (const std::exception& e) {
      if (print_level >= 2) {
        mfem::out << "remove dependent directions failed with " << e.what() << std::endl;
      }
      return;
    }
 
    mfem::Vector b(g);
    b *= -1;
 
    mfem::Vector sol;
    std::vector<std::shared_ptr<mfem::Vector>> leftvecs;
    std::vector<double> leftvals;
    double energy_change;
 
    try {
      std::tie(sol, leftvecs, leftvals, energy_change) =
          solveSubspaceProblem(directions, H_directions, b, delta, num_leftmost);
    } catch (const std::exception& e) {
      if (print_level == 1) {
        mfem::out << "subspace solve failed with " << e.what() << std::endl;
      }
      return;
    }
 
    left_mosts.clear();
    for (auto& lv : leftvecs) {
      left_mosts.emplace_back(std::move(lv));
    }
 
    double base_energy = computeEnergy(g, hess_vec_func, z);
    double subspace_energy = computeEnergy(g, hess_vec_func, sol);
 
    if (print_level >= 2) {
      double leftval = leftvals.size() ? leftvals[0] : 1.0;
      mfem::out << "Energy using subspace solver from: " << base_energy << ", to: " << subspace_energy << " / "
                << energy_change << ".  Min eig: " << leftval << std::endl;
    }
 
    if (subspace_energy < base_energy) {
      z = sol;
    }
#endif
  }
 
  void projectToBoundaryBetweenWithCoefs(mfem::Vector& z, const mfem::Vector& y, double trSize, double zz, double zy,
                                         double yy) const
  {
    double dd = yy - 2 * zy + zz;
    double zd = zy - zz;
    double tau = (std::sqrt((trSize * trSize - zz) * dd + zd * zd) - zd) / dd;
    z.Add(-tau, z);
    z.Add(tau, y);
  }
 
  void doglegStep(const mfem::Vector& cp, const mfem::Vector& newtonP, double trSize, mfem::Vector& s) const
  {
    SMITH_MARK_FUNCTION;
    // MRT, could optimize some of these eventually, compute on the outside and save
    double cc = Dot(cp, cp);
    double nn = Dot(newtonP, newtonP);
    double tt = trSize * trSize;
 
    s = 0.0;
    if (cc >= tt) {
      add(s, std::sqrt(tt / cc), cp, s);
    } else if (cc > nn) {
      if (print_level >= 2) {
        mfem::out << "cp outside newton, preconditioner likely inaccurate\n";
      }
      add(s, 1.0, cp, s);
    } else if (nn > tt) {  // on the dogleg (we have nn >= cc, and tt >= cc)
      add(s, 1.0, cp, s);
      double cn = Dot(cp, newtonP);
      projectToBoundaryBetweenWithCoefs(s, newtonP, trSize, cc, cn, nn);
    } else {
      s = newtonP;
    }
  }
 
  template <typename HessVecFunc>
  double computeEnergy(const mfem::Vector& r_local, const HessVecFunc& H, const mfem::Vector& z) const
  {
    SMITH_MARK_FUNCTION;
    double rz = Dot(r_local, z);
    mfem::Vector tmp(r_local);
    tmp = 0.0;
    H(z, tmp);
    return rz + 0.5 * Dot(z, tmp);
  }
 
  template <typename HessVecFunc, typename PrecondFunc>
  void solveTrustRegionModelProblem(const mfem::Vector& r0, mfem::Vector& rCurrent, HessVecFunc hess_vec_func,
                                    PrecondFunc precond, const TrustRegionSettings& settings, double& trSize,
                                    TrustRegionResults& results) const
  {
    SMITH_MARK_FUNCTION;
    // minimize r0@z + 0.5*z@J@z
    results.interior_status = TrustRegionResults::Status::Interior;
    results.cg_iterations_count = 0;
 
    auto& z = results.z;
    auto& cgIter = results.cg_iterations_count;
    auto& d = results.d;
    auto& Pr = results.Pr;
    auto& Hd = results.H_d;
 
    const double cg_tol_squared = settings.cg_tol * settings.cg_tol;
 
    if (Dot(r0, r0) <= cg_tol_squared && settings.min_cg_iterations == 0) {
      if (print_level >= 2) {
        mfem::out << "Trust region solution state within tolerance on first iteration."
                  << "\n";
      }
      return;
    }
 
    rCurrent = r0;
    precond(rCurrent, Pr);
 
    // d = -Pr
    d = Pr;
    d *= -1.0;
 
    z = 0.0;
    double zz = 0.;
    double rPr = Dot(rCurrent, Pr);
    double zd = 0.0;
    double dd = Dot(d, d);
 
    // std::cout << "initial energy = " << computeEnergy(r0, hess_vec_func, z) << std::endl;
 
    for (cgIter = 1; cgIter <= settings.max_cg_iterations; ++cgIter) {
      // check if this is a descent direction
      if (Dot(d, rCurrent) > 0) {
        d *= -1;
        results.interior_status = TrustRegionResults::Status::NonDescentDirection;
      }
 
      hess_vec_func(d, Hd);
      const double curvature = Dot(d, Hd);
      const double alphaCg = curvature != 0.0 ? rPr / curvature : 0.0;
 
      auto& zPred = Pr;  // re-use Pr memory.
                         // This predicted step will no longer be used by the time Pr is, so we can avoid an extra
                         // vector floating around
      add(z, alphaCg, d, zPred);
      double zzNp1 = Dot(zPred, zPred);
 
      const bool go_to_boundary = curvature <= 0 || zzNp1 >= trSize * trSize;
      if (go_to_boundary) {
        projectToBoundaryWithCoefs(z, d, trSize, zz, zd, dd);
        if (curvature <= 0) {
          results.interior_status = TrustRegionResults::Status::NegativeCurvature;
        } else {
          results.interior_status = TrustRegionResults::Status::OnBoundary;
        }
        return;
      }
 
      z = zPred;
 
      if (results.interior_status == TrustRegionResults::Status::NonDescentDirection) {
        if (print_level >= 2) {
          mfem::out << "Found a non descent direction\n";
        }
        return;
      }
 
      add(rCurrent, alphaCg, Hd, rCurrent);
 
      precond(rCurrent, Pr);
      double rPrNp1 = Dot(rCurrent, Pr);
 
      if (Dot(rCurrent, rCurrent) <= cg_tol_squared && cgIter >= settings.min_cg_iterations) {
        return;
      }
 
      double beta = rPrNp1 / rPr;
      rPr = rPrNp1;
      add(-1.0, Pr, beta, d, d);
 
      zz = zzNp1;
      zd = Dot(z, d);
      dd = Dot(d, d);
    }
    cgIter--;  // if all cg iterations are taken, correct for output
  }
 
  void assembleJacobian(const mfem::Vector& x) const
  {
    SMITH_MARK_FUNCTION;
    ++num_jacobian_assembles;
    if (grad_monolithic) {
      delete grad;
      grad = nullptr;
      grad_monolithic = false;
    }
    mfem::Operator& assembled_gradient = oper->GetGradient(x);
    grad_monolithic = monolithicizeOperatorIfNeeded(linear_options, assembled_gradient, grad);
  }
 
  mfem::real_t computeResidual(const mfem::Vector& x_, mfem::Vector& r_) const
  {
    SMITH_MARK_FUNCTION;
    ++num_residuals;
    oper->Mult(x_, r_);
    return Norm(r_);
  }
 
  ConvergenceStatus evaluateConvergence(const mfem::Vector& x_, mfem::Vector& r_) const
  {
    ConvergenceStatus status;
    status.global_norm = std::numeric_limits<double>::max();
    status.global_goal = std::numeric_limits<double>::max();
    try {
      status.global_norm = computeResidual(x_, r_);
      if (convergence_manager_) {
        status = convergence_manager_->evaluate(1.0, r_);
      } else {
        status.block_norms = {status.global_norm};
        status.global_goal = std::max(rel_tol * initial_norm, abs_tol);
        status.global_converged = status.global_norm <= status.global_goal;
        status.converged = status.global_converged;
      }
    } catch (const std::exception&) {
      status.global_norm = std::numeric_limits<double>::max();
      status.global_goal = std::numeric_limits<double>::max();
    }
    return status;
  }
 
  void hessVec(const mfem::Vector& x_, mfem::Vector& v_) const
  {
    SMITH_MARK_FUNCTION;
    ++num_hess_vecs;
    grad->Mult(x_, v_);
  }
 
  void precond(const mfem::Vector& x_, mfem::Vector& v_) const
  {
    SMITH_MARK_FUNCTION;
    ++num_preconds;
    tr_precond.Mult(x_, v_);
  };
 
  void Mult(const mfem::Vector&, mfem::Vector& X) const override
  {
    MFEM_ASSERT(oper != NULL, "the Operator is not set (use SetOperator).");
    MFEM_ASSERT(prec != NULL, "the Solver is not set (use SetSolver).");
 
    print_level = print_options.iterations ? 1 : print_level;
    print_level = print_options.summary ? 2 : print_level;
 
    using real_t = mfem::real_t;
 
    num_hess_vecs = 0;
    num_preconds = 0;
    num_residuals = 0;
    num_subspace_solves = 0;
    num_jacobian_assembles = 0;
 
    ConvergenceStatus status = evaluateConvergence(X, r);
    real_t norm = status.global_norm;
    real_t norm_goal = status.global_goal;
    initial_norm = norm;
    if (norm == 0.0) return;
 
    if (print_level == 1) {
      mfem::out << "TrustRegion iteration " << std::setw(3) << 0 << " : ||r|| = " << std::setw(13) << norm << "\n";
    }
 
    prec->iterative_mode = false;
    tr_precond.iterative_mode = false;
 
    // local arrays
    x_pred.SetSize(X.Size());
    x_pred = 0.0;
    r_pred.SetSize(X.Size());
    r_pred = 0.0;
    scratch.SetSize(X.Size());
    scratch = 0.0;
 
    TrustRegionResults trResults(X.Size());
    TrustRegionSettings settings;
    settings.min_cg_iterations = static_cast<size_t>(nonlinear_options.min_iterations);
    settings.max_cg_iterations = static_cast<size_t>(linear_options.max_iterations);
    settings.cg_tol = 0.5 * norm_goal;
 
    int subspace_option = nonlinear_options.subspace_option;
    int num_leftmost = nonlinear_options.num_leftmost;
 
    scratch = 1.0;
    double tr_size = nonlinear_options.trust_region_scaling * std::sqrt(Dot(scratch, scratch));
    size_t cumulative_cg_iters_from_last_precond_update = 0;
 
    int it = 0;
    for (; true; it++) {
      MFEM_ASSERT(mfem::IsFinite(norm), "norm = " << norm);
      if (print_level >= 2) {
        mfem::out << "TrustRegion iteration " << std::setw(3) << it << " : ||r|| = " << std::setw(13) << norm;
        if (it > 0) {
          mfem::out << ", ||r||/||r_0|| = " << std::setw(13) << (initial_norm != 0.0 ? norm / initial_norm : norm);
          mfem::out << ", x_incr = " << std::setw(13) << trResults.d.Norml2();
        } else {
          mfem::out << ", norm goal = " << std::setw(13) << norm_goal;
        }
        mfem::out << '\n';
      }
 
      if (print_level >= 1 && (norm != norm)) {
        mfem::out << "Initial residual for trust-region iteration is undefined/nan." << std::endl;
        mfem::out << "TrustRegion: No convergence!\n";
        return;
      }
 
      if (status.converged && it >= nonlinear_options.min_iterations) {
        converged = true;
        break;
      } else if (it >= max_iter) {
        converged = false;
        break;
      }
 
      assembleJacobian(X);
 
      if (it == 0 || (trResults.cg_iterations_count >= settings.max_cg_iterations ||
                      cumulative_cg_iters_from_last_precond_update >= settings.max_cumulative_iteration)) {
        tr_precond.SetOperator(*grad);
        cumulative_cg_iters_from_last_precond_update = 0;
      }
 
      auto hess_vec_func = [&](const mfem::Vector& x_, mfem::Vector& v_) { hessVec(x_, v_); };
      auto precond_func = [&](const mfem::Vector& x_, mfem::Vector& v_) { precond(x_, v_); };
 
      double cauchyPointNormSquared = tr_size * tr_size;
      trResults.reset();
 
      hess_vec_func(r, trResults.H_d);
      const double gKg = Dot(r, trResults.H_d);
      if (gKg > 0) {
        const double alphaCp = -Dot(r, r) / gKg;
        add(trResults.cauchy_point, alphaCp, r, trResults.cauchy_point);
        cauchyPointNormSquared = Dot(trResults.cauchy_point, trResults.cauchy_point);
      } else {
        const double alphaTr = -tr_size / std::sqrt(Dot(r, r));
        add(trResults.cauchy_point, alphaTr, r, trResults.cauchy_point);
        if (print_level >= 2) {
          mfem::out << "Negative curvature un-preconditioned cauchy point direction found."
                    << "\n";
        }
      }
 
      if (cauchyPointNormSquared >= tr_size * tr_size) {
        if (print_level >= 2) {
          mfem::out << "Un-preconditioned gradient cauchy point outside trust region, step size = "
                    << std::sqrt(cauchyPointNormSquared) << "\n";
        }
        trResults.cauchy_point *= (tr_size / std::sqrt(cauchyPointNormSquared));
        trResults.z = trResults.cauchy_point;
 
        trResults.cg_iterations_count = 1;
        trResults.interior_status = TrustRegionResults::Status::OnBoundary;
      } else {
        settings.cg_tol = std::max(0.5 * norm_goal, 5e-5 * norm);
        solveTrustRegionModelProblem(r, scratch, hess_vec_func, precond_func, settings, tr_size, trResults);
      }
      cumulative_cg_iters_from_last_precond_update += trResults.cg_iterations_count;
 
      bool have_computed_Hvs = false;
 
      int lineSearchIter = 0;
      while (lineSearchIter <= nonlinear_options.max_line_search_iterations) {
        ++lineSearchIter;
 
        doglegStep(trResults.cauchy_point, trResults.z, tr_size, trResults.d);
 
        bool use_with_option1 =
            (subspace_option >= 1) && (trResults.interior_status == TrustRegionResults::Status::NonDescentDirection ||
                                       trResults.interior_status == TrustRegionResults::Status::NegativeCurvature ||
                                       ((Norm(trResults.d) > (1.0 - 1.0e-6) * tr_size) && lineSearchIter > 1));
        bool use_with_option2 = (subspace_option >= 2) && (Norm(trResults.d) > (1.0 - 1.0e-6) * tr_size);
        bool use_with_option3 = (subspace_option >= 3);
 
        if (use_with_option1 || use_with_option2 || use_with_option3) {
          if (!have_computed_Hvs) {
            have_computed_Hvs = true;
            hess_vec_func(trResults.z, trResults.H_z);
            hess_vec_func(trResults.d_old, trResults.H_d_old);
            hess_vec_func(trResults.cauchy_point, trResults.H_cauchy_point);
          }
 
          H_left_mosts.clear();
          for (auto& left : left_mosts) {
            H_left_mosts.emplace_back(std::make_shared<mfem::Vector>(*left));
            hess_vec_func(*left, *H_left_mosts.back());
          }
 
          std::vector<const mfem::Vector*> ds{&trResults.z, &trResults.d_old, &trResults.cauchy_point};
          std::vector<const mfem::Vector*> H_ds{&trResults.H_z, &trResults.H_d_old, &trResults.H_cauchy_point};
          solveTheSubspaceProblem(trResults.d, hess_vec_func, ds, H_ds, r, tr_size, num_leftmost);
        }
 
        static constexpr double roundOffTol = 0.0;  // 1e-14;
 
        hess_vec_func(trResults.d, trResults.H_d);
        double dHd = Dot(trResults.d, trResults.H_d);
        double modelObjective = Dot(r, trResults.d) + 0.5 * dHd - roundOffTol;
 
        add(X, trResults.d, x_pred);
 
        double realObjective = std::numeric_limits<double>::max();
        double normPred = std::numeric_limits<double>::max();
        try {
          auto predicted_status = evaluateConvergence(x_pred, r_pred);
          normPred = predicted_status.global_norm;
          double obj1 = 0.5 * (Dot(r, trResults.d) + Dot(r_pred, trResults.d)) - roundOffTol;
          realObjective = obj1;
          if (predicted_status.converged) {
            trResults.d_old = trResults.d;
            X = x_pred;
            r = r_pred;
            status = predicted_status;
            norm = status.global_norm;
            if (print_level >= 2) {
              printTrustRegionInfo(realObjective, modelObjective, trResults.cg_iterations_count, tr_size, true);
              trResults.cg_iterations_count = 0;
            }
            break;
          }
        } catch (const std::exception&) {
          realObjective = std::numeric_limits<double>::max();
          normPred = std::numeric_limits<double>::max();
        }
 
        double modelImprove = -modelObjective;
        double realImprove = -realObjective;
 
        double rho = realImprove / modelImprove;
        if (modelObjective > 0) {
          if (print_level >= 2) {
            mfem::out << "Found a positive model objective increase.  Debug if you see this.\n";
          }
          rho = realImprove / -modelImprove;
        }
 
        // std::cout << "rho , stuff = " << rho << " " << settings.eta3 << std::endl;
        // std::cout << "stat = "<< trResults.interior_status << std::endl;
 
        if (!(rho >= settings.eta2) ||
            rho > settings.eta4) {  // not enough progress, decrease trust region. write it this way to handle NaNs.
          tr_size *= settings.t1;
        } else if ((rho > settings.eta3 && rho <= settings.eta4 &&
                    trResults.interior_status == TrustRegionResults::Status::OnBoundary) ||
                   (rho > 0.95 && rho < 1.05 &&
                    trResults.interior_status ==
                        TrustRegionResults::Status::NegativeCurvature)) {  // good progress, on boundary, increase trust
                                                                           // region
          tr_size *= settings.t2;
        }
 
        // eventually extend to handle this case to handle occasional roundoff issues
        // modelRes = g + Jd
        // modelResNorm = np.linalg.norm(modelRes)
        // realResNorm = np.linalg.norm(gy)
        bool willAccept = rho >= settings.eta1 && rho <= settings.eta4;  // or (rho >= -0 and realResNorm <= gNorm)
 
        if (print_level >= 2) {
          printTrustRegionInfo(realObjective, modelObjective, trResults.cg_iterations_count, tr_size, willAccept);
          trResults.cg_iterations_count =
              0;  // zero this output so it doesn't look like the linesearch is doing cg iterations
        }
 
        if (willAccept) {
          trResults.d_old = trResults.d;
          X = x_pred;
          r = r_pred;
          status = convergence_manager_ ? convergence_manager_->evaluate(1.0, r_pred) : status;
          norm = normPred;
          break;
        }
      }
    }
 
    final_iter = it;
    final_norm = norm;
 
    if (print_level == 1) {
      mfem::out << "TrustRegion iteration " << std::setw(3) << final_iter << " : ||r|| = " << std::setw(13) << norm
                << '\n';
    }
    if (!converged && print_level >= 1) {  // (print_options.summary || print_options.warnings)) {
      mfem::out << "TrustRegion: No convergence!\n";
    }
 
    if (false && print_level >= 2) {
      mfem::out << "num hess vecs = " << num_hess_vecs << "\n";
      mfem::out << "num preconds = " << num_preconds << "\n";
      mfem::out << "num residuals = " << num_residuals << "\n";
      mfem::out << "num subspace solves = " << num_subspace_solves << "\n";
      mfem::out << "num jacobian_assembles = " << num_jacobian_assembles << "\n";
    }
  }
};
 
EquationSolver::EquationSolver(NonlinearSolverOptions nonlinear_opts, LinearSolverOptions lin_opts, MPI_Comm comm)
{
  auto [lin_solver, preconditioner] = buildLinearSolverAndPreconditioner(lin_opts, comm);
 
  lin_solver_ = std::move(lin_solver);
  preconditioner_ = std::move(preconditioner);
  nonlin_solver_ = buildNonlinearSolver(nonlinear_opts, lin_opts, *preconditioner_, comm);
  convergence_manager_ = std::make_shared<EquationSolverConvergenceManager>(comm, nonlinear_opts.absolute_tol,
                                                                            nonlinear_opts.relative_tol);
  attachConvergenceManager();
}
 
EquationSolver::EquationSolver(std::unique_ptr<mfem::NewtonSolver> nonlinear_solver,
                               std::unique_ptr<mfem::Solver> linear_solver,
                               std::unique_ptr<mfem::Solver> preconditioner)
{
  SLIC_ERROR_ROOT_IF(!nonlinear_solver, "Nonlinear solvers must be given to construct an EquationSolver");
  SLIC_ERROR_ROOT_IF(!linear_solver, "Linear solvers must be given to construct an EquationSolver");
 
  nonlin_solver_ = std::move(nonlinear_solver);
  lin_solver_ = std::move(linear_solver);
  preconditioner_ = std::move(preconditioner);
}
 
void EquationSolver::attachConvergenceManager() const
{
  if (!convergence_manager_ || !nonlin_solver_) {
    return;
  }
 
  if (auto* managed_solver = dynamic_cast<ConvergenceManagedNonlinearSolver*>(nonlin_solver_.get())) {
    managed_solver->setConvergenceManager(convergence_manager_);
  }
}
 
void EquationSolver::initializeConvergenceManager(double abs_tol, double rel_tol, MPI_Comm comm) const
{
  if (!convergence_manager_) {
    convergence_manager_ = std::make_shared<EquationSolverConvergenceManager>(comm, abs_tol, rel_tol);
  } else {
    convergence_manager_->setTolerances(abs_tol, rel_tol);
  }
  attachConvergenceManager();
}
 
void EquationSolver::setOperator(const mfem::Operator& op)
{
  attachConvergenceManager();
  nonlin_solver_->SetOperator(op);
 
  // Now that the nonlinear solver knows about the operator, we can set its linear solver
  if (!nonlin_solver_set_solver_called_) {
    nonlin_solver_->SetSolver(linearSolver());
    nonlin_solver_set_solver_called_ = true;
  }
}
 
void EquationSolver::setConvergenceTolerances(double abs_tol, double rel_tol, MPI_Comm comm) const
{
  initializeConvergenceManager(abs_tol, rel_tol, comm);
}
 
void EquationSolver::resetConvergenceState() const
{
  if (convergence_manager_) {
    convergence_manager_->reset();
  }
}
 
void EquationSolver::solve(mfem::Vector& x) const
{
  resetConvergenceState();
  mfem::Vector zero(x);
  zero = 0.0;
  // KINSOL does not handle non-zero RHS, so we enforce that the RHS
  // of the nonlinear system is zero
  nonlin_solver_->Mult(zero, x);
}
 
void SuperLUSolver::Mult(const mfem::Vector& input, mfem::Vector& output) const
{
  SLIC_ERROR_ROOT_IF(!superlu_mat_, "Operator must be set prior to solving with SuperLU");
 
  // Use the underlying MFEM-based solver and SuperLU matrix type to solve the system
  superlu_solver_.Mult(input, output);
}
 
std::unique_ptr<mfem::HypreParMatrix> buildMonolithicMatrix(const mfem::BlockOperator& block_operator)
{
  int row_blocks = block_operator.NumRowBlocks();
  int col_blocks = block_operator.NumColBlocks();
 
  SLIC_ERROR_ROOT_IF(row_blocks != col_blocks, "Attempted to use a direct solver on a non-square block system.");
 
  mfem::Array2D<const mfem::HypreParMatrix*> hypre_blocks(row_blocks, col_blocks);
 
  for (int i = 0; i < row_blocks; ++i) {
    for (int j = 0; j < col_blocks; ++j) {
      // checks for presence of empty (null) blocks, which happen fairly common in multirank contact
      if (!block_operator.IsZeroBlock(i, j)) {
        auto* hypre_block = dynamic_cast<const mfem::HypreParMatrix*>(&block_operator.GetBlock(i, j));
        SLIC_ERROR_ROOT_IF(!hypre_block,
                           "Trying to use SuperLU on a block operator that does not contain HypreParMatrix blocks.");
 
        hypre_blocks(i, j) = hypre_block;
      } else {
        hypre_blocks(i, j) = nullptr;
      }
    }
  }
 
  // Note that MFEM passes ownership of this matrix to the caller.
  // MFEM creates a new monolithic matrix (not a view), so this is a COPY operation.
  return std::unique_ptr<mfem::HypreParMatrix>(mfem::HypreParMatrixFromBlocks(hypre_blocks));
}
 
void SuperLUSolver::SetOperator(const mfem::Operator& op)
{
  // Check if this is a block operator
  auto* block_operator = dynamic_cast<const mfem::BlockOperator*>(&op);
 
  // If it is, make a monolithic system from the underlying blocks
  if (block_operator) {
    monolithic_mat_ = buildMonolithicMatrix(*block_operator);
 
    superlu_mat_ = std::make_unique<mfem::SuperLURowLocMatrix>(*monolithic_mat_);
  } else {
    // If this is not a block system, check that the input operator is a HypreParMatrix as expected
    auto* matrix = dynamic_cast<const mfem::HypreParMatrix*>(&op);
 
    SLIC_ERROR_ROOT_IF(!matrix, "Matrix must be an assembled HypreParMatrix for use with SuperLU");
 
    superlu_mat_ = std::make_unique<mfem::SuperLURowLocMatrix>(*matrix);
  }
  height = op.Height();
  width = op.Width();
  superlu_solver_.SetOperator(*superlu_mat_);
}
 
#ifdef MFEM_USE_STRUMPACK
 
void StrumpackSolver::Mult(const mfem::Vector& input, mfem::Vector& output) const
{
  SLIC_ERROR_ROOT_IF(!strumpack_mat_, "Operator must be set prior to solving with Strumpack");
 
  // Use the underlying MFEM-based solver and Strumpack matrix type to solve the system
  strumpack_solver_.Mult(input, output);
}
 
void StrumpackSolver::SetOperator(const mfem::Operator& op)
{
  // Check if this is a block operator
  auto* block_operator = dynamic_cast<const mfem::BlockOperator*>(&op);
 
  // If it is, make a monolithic system from the underlying blocks
  if (block_operator) {
    monolithic_mat_ = buildMonolithicMatrix(*block_operator);
 
    strumpack_mat_ = std::make_unique<mfem::STRUMPACKRowLocMatrix>(*monolithic_mat_);
  } else {
    // If this is not a block system, check that the input operator is a HypreParMatrix as expected
    auto* matrix = dynamic_cast<const mfem::HypreParMatrix*>(&op);
 
    SLIC_ERROR_ROOT_IF(!matrix, "Matrix must be an assembled HypreParMatrix for use with Strumpack");
 
    strumpack_mat_ = std::make_unique<mfem::STRUMPACKRowLocMatrix>(*matrix);
  }
  height = op.Height();
  width = op.Width();
  strumpack_solver_.SetOperator(*strumpack_mat_);
}
 
#endif
 
std::unique_ptr<mfem::NewtonSolver> buildNonlinearSolver(NonlinearSolverOptions nonlinear_opts,
                                                         const LinearSolverOptions& linear_opts, mfem::Solver& prec,
                                                         MPI_Comm comm)
{
  std::unique_ptr<mfem::NewtonSolver> nonlinear_solver;
 
  if (nonlinear_opts.nonlin_solver == NonlinearSolver::Newton) {
    nonlinear_opts.max_line_search_iterations = 0;
    SLIC_ERROR_ROOT_IF(nonlinear_opts.min_iterations != 0, "Newton's method does not support nonzero min_iterations");
    nonlinear_solver = std::make_unique<NewtonSolver>(comm, nonlinear_opts, linear_opts);
  } else if (nonlinear_opts.nonlin_solver == NonlinearSolver::LBFGS) {
    nonlinear_opts.max_line_search_iterations = 0;
    SLIC_ERROR_ROOT_IF(nonlinear_opts.min_iterations != 0, "LBFGS does not support nonzero min_iterations");
    nonlinear_solver = std::make_unique<mfem::LBFGSSolver>(comm);
  } else if (nonlinear_opts.nonlin_solver == NonlinearSolver::NewtonLineSearch) {
    nonlinear_solver = std::make_unique<NewtonSolver>(comm, nonlinear_opts, linear_opts);
  } else if (nonlinear_opts.nonlin_solver == NonlinearSolver::TrustRegion) {
    nonlinear_solver = std::make_unique<TrustRegion>(comm, nonlinear_opts, linear_opts, prec);
#ifdef SMITH_USE_PETSC
  } else if (nonlinear_opts.nonlin_solver == NonlinearSolver::PetscNewton) {
    nonlinear_solver = std::make_unique<mfem_ext::PetscNewtonSolver>(comm, nonlinear_opts);
  } else if (nonlinear_opts.nonlin_solver == NonlinearSolver::PetscNewtonBacktracking) {
    nonlinear_solver = std::make_unique<mfem_ext::PetscNewtonSolver>(comm, nonlinear_opts);
  } else if (nonlinear_opts.nonlin_solver == NonlinearSolver::PetscNewtonCriticalPoint) {
    nonlinear_solver = std::make_unique<mfem_ext::PetscNewtonSolver>(comm, nonlinear_opts);
  } else if (nonlinear_opts.nonlin_solver == NonlinearSolver::PetscTrustRegion) {
    nonlinear_solver = std::make_unique<mfem_ext::PetscNewtonSolver>(comm, nonlinear_opts);
#endif
  }
  // KINSOL
  else {
#ifdef SMITH_USE_SUNDIALS
    nonlinear_opts.max_line_search_iterations = 0;
    SLIC_ERROR_ROOT_IF(nonlinear_opts.min_iterations != 0, "kinsol solvers do not support min_iterations");
 
    int kinsol_strat = KIN_NONE;
 
    switch (nonlinear_opts.nonlin_solver) {
      case NonlinearSolver::KINFullStep:
        kinsol_strat = KIN_NONE;
        break;
      case NonlinearSolver::KINBacktrackingLineSearch:
        kinsol_strat = KIN_LINESEARCH;
        break;
      case NonlinearSolver::KINPicard:
        kinsol_strat = KIN_PICARD;
        break;
      default:
        kinsol_strat = KIN_NONE;
        SLIC_ERROR_ROOT("Unknown KINSOL nonlinear solver type given.");
    }
    auto kinsol_solver = std::make_unique<mfem::KINSolver>(comm, kinsol_strat, true);
    nonlinear_solver = std::move(kinsol_solver);
#else
    SLIC_ERROR_ROOT("KINSOL was not enabled when MFEM was built");
#endif
  }
 
  nonlinear_solver->SetRelTol(nonlinear_opts.relative_tol);
  nonlinear_solver->SetAbsTol(nonlinear_opts.absolute_tol);
  nonlinear_solver->SetMaxIter(nonlinear_opts.max_iterations);
  nonlinear_solver->SetPrintLevel(nonlinear_opts.print_level);
 
  // Iterative mode indicates we do not zero out the initial guess during the
  // nonlinear solver call. This is required as we apply the essential boundary
  // conditions before the nonlinear solver is applied.
  nonlinear_solver->iterative_mode = true;
 
  return nonlinear_solver;
}
 
std::pair<std::unique_ptr<mfem::Solver>, std::unique_ptr<mfem::Solver>> buildLinearSolverAndPreconditioner(
    LinearSolverOptions linear_opts, MPI_Comm comm)
{
  auto preconditioner = buildPreconditioner(linear_opts, comm);
 
  if (linear_opts.linear_solver == LinearSolver::SuperLU) {
    auto lin_solver = std::make_unique<SuperLUSolver>(linear_opts.print_level, comm);
    return {std::move(lin_solver), std::move(preconditioner)};
  }
 
#ifdef MFEM_USE_STRUMPACK
 
  if (linear_opts.linear_solver == LinearSolver::Strumpack) {
    auto lin_solver = std::make_unique<StrumpackSolver>(linear_opts.print_level, comm);
    return {std::move(lin_solver), std::move(preconditioner)};
  }
 
#endif
 
  std::unique_ptr<mfem::IterativeSolver> iter_lin_solver;
 
  switch (linear_opts.linear_solver) {
    case LinearSolver::CG:
      iter_lin_solver = std::make_unique<mfem::CGSolver>(comm);
      break;
    case LinearSolver::GMRES:
      iter_lin_solver = std::make_unique<mfem::GMRESSolver>(comm);
      break;
#ifdef SMITH_USE_PETSC
    case LinearSolver::PetscCG:
      iter_lin_solver = std::make_unique<smith::mfem_ext::PetscKSPSolver>(comm, KSPCG, std::string());
      break;
    case LinearSolver::PetscGMRES:
      iter_lin_solver = std::make_unique<smith::mfem_ext::PetscKSPSolver>(comm, KSPGMRES, std::string());
      break;
#else
    case LinearSolver::PetscCG:
    case LinearSolver::PetscGMRES:
      SLIC_ERROR_ROOT("PETSc linear solver requested for non-PETSc build.");
      exit(1);
      break;
#endif
    default:
      SLIC_ERROR_ROOT("Linear solver type not recognized.");
      exit(1);
  }
 
  iter_lin_solver->SetRelTol(linear_opts.relative_tol);
  iter_lin_solver->SetAbsTol(linear_opts.absolute_tol);
  iter_lin_solver->SetMaxIter(linear_opts.max_iterations);
  iter_lin_solver->SetPrintLevel(linear_opts.print_level);
 
  if (preconditioner) {
    iter_lin_solver->SetPreconditioner(*preconditioner);
  }
 
  return {std::move(iter_lin_solver), std::move(preconditioner)};
}
 
bool requiresMonolithicOperator(const LinearSolverOptions& linear_opts)
{
  return !linearSolverSupportsBlockOperator(linear_opts.linear_solver) ||
         !preconditionerSupportsBlockOperator(linear_opts.preconditioner);
}
 
#ifdef MFEM_USE_AMGX
std::unique_ptr<mfem::AmgXSolver> buildAMGX(const AMGXOptions& options, const MPI_Comm comm)
{
  auto amgx = std::make_unique<mfem::AmgXSolver>();
  conduit::Node options_node;
  options_node["config_version"] = 2;
  auto& solver_options = options_node["solver"];
  solver_options["solver"] = "AMG";
  solver_options["presweeps"] = 1;
  solver_options["postsweeps"] = 2;
  solver_options["interpolator"] = "D2";
  solver_options["max_iters"] = 2;
  solver_options["convergence"] = "ABSOLUTE";
  solver_options["cycle"] = "V";
 
  if (options.verbose) {
    options_node["solver/obtain_timings"] = 1;
    options_node["solver/monitor_residual"] = 1;
    options_node["solver/print_solve_stats"] = 1;
  }
 
  // TODO: Use magic_enum here when we can switch to GCC 9+
  // This is an immediately-invoked lambda so that the map
  // can be const without needed to initialize all the values
  // in the constructor
  static const auto solver_names = []() {
    std::unordered_map<AMGXSolver, std::string> names;
    names[AMGXSolver::AMG] = "AMG";
    names[AMGXSolver::PCGF] = "PCGF";
    names[AMGXSolver::CG] = "CG";
    names[AMGXSolver::PCG] = "PCG";
    names[AMGXSolver::PBICGSTAB] = "PBICGSTAB";
    names[AMGXSolver::BICGSTAB] = "BICGSTAB";
    names[AMGXSolver::FGMRES] = "FGMRES";
    names[AMGXSolver::JACOBI_L1] = "JACOBI_L1";
    names[AMGXSolver::GS] = "GS";
    names[AMGXSolver::POLYNOMIAL] = "POLYNOMIAL";
    names[AMGXSolver::KPZ_POLYNOMIAL] = "KPZ_POLYNOMIAL";
    names[AMGXSolver::BLOCK_JACOBI] = "BLOCK_JACOBI";
    names[AMGXSolver::MULTICOLOR_GS] = "MULTICOLOR_GS";
    names[AMGXSolver::MULTICOLOR_DILU] = "MULTICOLOR_DILU";
    return names;
  }();
 
  options_node["solver/solver"] = solver_names.at(options.solver);
  options_node["solver/smoother"] = solver_names.at(options.smoother);
 
  // Treat the string as the config (not a filename)
  amgx->ReadParameters(options_node.to_json(), mfem::AmgXSolver::INTERNAL);
  amgx->InitExclusiveGPU(comm);
 
  return amgx;
}
#endif
 
std::unique_ptr<mfem::Solver> buildPreconditioner(LinearSolverOptions linear_opts, [[maybe_unused]] MPI_Comm comm)
{
  std::unique_ptr<mfem::Solver> preconditioner_solver;
  auto preconditioner = linear_opts.preconditioner;
  auto preconditioner_print_level = linear_opts.preconditioner_print_level;
 
  // Handle the preconditioner - currently just BoomerAMG and HypreSmoother are supported
  if (preconditioner == Preconditioner::HypreAMG) {
    auto amg_preconditioner = std::make_unique<mfem::HypreBoomerAMG>();
    amg_preconditioner->SetPrintLevel(preconditioner_print_level);
    preconditioner_solver = std::move(amg_preconditioner);
  } else if (preconditioner == Preconditioner::HypreJacobi) {
    auto jac_preconditioner = std::make_unique<mfem::HypreSmoother>();
    jac_preconditioner->SetType(mfem::HypreSmoother::Type::Jacobi);
    preconditioner_solver = std::move(jac_preconditioner);
  } else if (preconditioner == Preconditioner::HypreL1Jacobi) {
    auto jacl1_preconditioner = std::make_unique<mfem::HypreSmoother>();
    jacl1_preconditioner->SetType(mfem::HypreSmoother::Type::l1Jacobi);
    preconditioner_solver = std::move(jacl1_preconditioner);
  } else if (preconditioner == Preconditioner::HypreGaussSeidel) {
    auto gs_preconditioner = std::make_unique<mfem::HypreSmoother>();
    gs_preconditioner->SetType(mfem::HypreSmoother::Type::GS);
    preconditioner_solver = std::move(gs_preconditioner);
  } else if (preconditioner == Preconditioner::HypreILU) {
    auto ilu_preconditioner = std::make_unique<mfem::HypreILU>();
    ilu_preconditioner->SetLevelOfFill(1);
    ilu_preconditioner->SetPrintLevel(preconditioner_print_level);
    preconditioner_solver = std::move(ilu_preconditioner);
  } else if (preconditioner == Preconditioner::AMGX) {
#ifdef MFEM_USE_AMGX
    preconditioner_solver = buildAMGX(linear_opts.amgx_options, comm);
#else
    SLIC_ERROR_ROOT("AMGX requested in non-GPU build");
#endif
  } else if (preconditioner == Preconditioner::Petsc) {
#ifdef SMITH_USE_PETSC
    preconditioner_solver = mfem_ext::buildPetscPreconditioner(linear_opts.petsc_preconditioner, comm);
#else
    SLIC_ERROR_ROOT("PETSc preconditioner requested in non-PETSc build");
#endif
  } else if (preconditioner == Preconditioner::AMGFContact) {
    auto amgfcontact_preconditioner = std::make_unique<mfem::AMGFSolver>();
    auto amgfcontact_opts = linear_opts.amgfcontact_options;
    amgfcontact_preconditioner->GetAMG().SetPrintLevel(preconditioner_print_level);
    amgfcontact_preconditioner->GetAMG().SetSystemsOptions(amgfcontact_opts.dim_systems_options);
    amgfcontact_preconditioner->GetAMG().SetRelaxType(amgfcontact_opts.relax_type);
    preconditioner_solver = std::move(amgfcontact_preconditioner);
  } else if (preconditioner == Preconditioner::BlockDiagonal || preconditioner == Preconditioner::BlockTriangular ||
             preconditioner == Preconditioner::BlockSchur) {
    std::vector<std::unique_ptr<mfem::Solver>> inner_solvers;
    for (const auto& opt : linear_opts.sub_block_linear_solver_options) {
      auto [lin, prec] = buildLinearSolverAndPreconditioner(opt, comm);
      inner_solvers.push_back(std::make_unique<SolverWithPreconditioner>(std::move(lin), std::move(prec)));
    }
 
    if (preconditioner == Preconditioner::BlockDiagonal) {
      preconditioner_solver = std::make_unique<BlockDiagonalPreconditioner>(std::move(inner_solvers));
    } else if (preconditioner == Preconditioner::BlockTriangular) {
      preconditioner_solver =
          std::make_unique<BlockTriangularPreconditioner>(std::move(inner_solvers), linear_opts.block_triangular_type);
    } else if (preconditioner == Preconditioner::BlockSchur) {
      preconditioner_solver = std::make_unique<BlockSchurPreconditioner>(
          std::move(inner_solvers), linear_opts.block_schur_type, linear_opts.schur_approx_type);
    }
  } else {
    SLIC_ERROR_ROOT_IF(preconditioner != Preconditioner::None, "Unknown preconditioner type requested");
  }
 
  return preconditioner_solver;
}
 
void EquationSolver::defineInputFileSchema(axom::inlet::Container& container)
{
  auto& linear_container = container.addStruct("linear", "Linear Equation Solver Parameters");
  linear_container.required().registerVerifier([](const axom::inlet::Container& container_to_verify) {
    // Make sure that the provided options match the desired linear solver type
    const bool is_iterative = (container_to_verify["type"].get<std::string>() == "iterative") &&
                              container_to_verify.contains("iterative_options");
    const bool is_direct =
        (container_to_verify["type"].get<std::string>() == "direct") && container_to_verify.contains("direct_options");
    return is_iterative || is_direct;
  });
 
  // Enforce the solver type - must be iterative or direct
  linear_container.addString("type", "The type of solver parameters to use (iterative|direct)")
      .required()
      .validValues({"iterative", "direct"});
 
  auto& iterative_container = linear_container.addStruct("iterative_options", "Iterative solver parameters");
  iterative_container.addDouble("rel_tol", "Relative tolerance for the linear solve.").defaultValue(1.0e-6);
  iterative_container.addDouble("abs_tol", "Absolute tolerance for the linear solve.").defaultValue(1.0e-8);
  iterative_container.addInt("max_iter", "Maximum iterations for the linear solve.").defaultValue(5000);
  iterative_container.addInt("print_level", "Linear print level.").defaultValue(0);
  iterative_container.addString("solver_type", "Solver type (gmres|minres|cg).").defaultValue("gmres");
  iterative_container.addString("prec_type", "Preconditioner type (JacobiSmoother|L1JacobiSmoother|AMG|ILU|Petsc).")
      .defaultValue("JacobiSmoother");
  iterative_container.addString("petsc_prec_type", "Type of PETSc preconditioner to use.").defaultValue("jacobi");
 
  auto& direct_container = linear_container.addStruct("direct_options", "Direct solver parameters");
  direct_container.addInt("print_level", "Linear print level.").defaultValue(0);
 
  // Only needed for nonlinear problems
  auto& nonlinear_container = container.addStruct("nonlinear", "Newton Equation Solver Parameters").required(false);
  nonlinear_container.addDouble("rel_tol", "Relative tolerance for the Newton solve.").defaultValue(1.0e-2);
  nonlinear_container.addDouble("abs_tol", "Absolute tolerance for the Newton solve.").defaultValue(1.0e-4);
  nonlinear_container.addInt("max_iter", "Maximum iterations for the Newton solve.").defaultValue(500);
  nonlinear_container.addInt("print_level", "Nonlinear print level.").defaultValue(0);
  nonlinear_container.addString("solver_type", "Solver type (Newton|KINFullStep|KINLineSearch)").defaultValue("Newton");
}
 
}  // namespace smith
 
using smith::EquationSolver;
using smith::LinearSolverOptions;
using smith::NonlinearSolverOptions;
 
smith::LinearSolverOptions FromInlet<smith::LinearSolverOptions>::operator()(const axom::inlet::Container& base)
{
  LinearSolverOptions options;
  std::string type = base["type"];
 
  if (type == "direct") {
    options.linear_solver = smith::LinearSolver::SuperLU;
    options.print_level = base["direct_options/print_level"];
    return options;
  }
 
  auto config = base["iterative_options"];
  options.relative_tol = config["rel_tol"];
  options.absolute_tol = config["abs_tol"];
  options.max_iterations = config["max_iter"];
  options.print_level = config["print_level"];
  std::string solver_type = config["solver_type"];
  if (solver_type == "gmres") {
    options.linear_solver = smith::LinearSolver::GMRES;
  } else if (solver_type == "cg") {
    options.linear_solver = smith::LinearSolver::CG;
  } else {
    std::string msg = std::format("Unknown Linear solver type given: '{0}'", solver_type);
    SLIC_ERROR_ROOT(msg);
  }
  const std::string prec_type = config["prec_type"];
  if (prec_type == "JacobiSmoother") {
    options.preconditioner = smith::Preconditioner::HypreJacobi;
  } else if (prec_type == "L1JacobiSmoother") {
    options.preconditioner = smith::Preconditioner::HypreL1Jacobi;
  } else if (prec_type == "HypreAMG") {
    options.preconditioner = smith::Preconditioner::HypreAMG;
  } else if (prec_type == "ILU") {
    options.preconditioner = smith::Preconditioner::HypreILU;
#ifdef MFEM_USE_AMGX
  } else if (prec_type == "AMGX") {
    options.preconditioner = smith::Preconditioner::AMGX;
#endif
  } else if (prec_type == "GaussSeidel") {
    options.preconditioner = smith::Preconditioner::HypreGaussSeidel;
#ifdef SMITH_USE_PETSC
  } else if (prec_type == "Petsc") {
    const std::string petsc_prec = config["petsc_prec_type"];
    options.preconditioner = smith::Preconditioner::Petsc;
    options.petsc_preconditioner = smith::mfem_ext::stringToPetscPCType(petsc_prec);
#endif
  } else if (prec_type == "AMGFContact") {
    options.preconditioner = smith::Preconditioner::AMGFContact;
  } else {
    std::string msg = std::format("Unknown preconditioner type given: '{0}'", prec_type);
    SLIC_ERROR_ROOT(msg);
  }
 
  return options;
}
 
smith::NonlinearSolverOptions FromInlet<smith::NonlinearSolverOptions>::operator()(const axom::inlet::Container& base)
{
  NonlinearSolverOptions options;
  options.relative_tol = base["rel_tol"];
  options.absolute_tol = base["abs_tol"];
  options.max_iterations = base["max_iter"];
  options.print_level = base["print_level"];
  const std::string solver_type = base["solver_type"];
  if (solver_type == "Newton") {
    options.nonlin_solver = smith::NonlinearSolver::Newton;
  } else if (solver_type == "KINFullStep") {
    options.nonlin_solver = smith::NonlinearSolver::KINFullStep;
  } else if (solver_type == "KINLineSearch") {
    options.nonlin_solver = smith::NonlinearSolver::KINBacktrackingLineSearch;
  } else if (solver_type == "KINPicard") {
    options.nonlin_solver = smith::NonlinearSolver::KINPicard;
  } else {
    SLIC_ERROR_ROOT(std::format("Unknown nonlinear solver type given: '{0}'", solver_type));
  }
  return options;
}
 
smith::EquationSolver FromInlet<smith::EquationSolver>::operator()(const axom::inlet::Container& base)
{
  auto lin = base["linear"].get<LinearSolverOptions>();
  auto nonlin = base["nonlinear"].get<NonlinearSolverOptions>();
 
  auto [linear_solver, preconditioner] = smith::buildLinearSolverAndPreconditioner(lin, MPI_COMM_WORLD);
 
  smith::EquationSolver eq_solver(smith::buildNonlinearSolver(nonlin, lin, *preconditioner, MPI_COMM_WORLD),
                                  std::move(linear_solver), std::move(preconditioner));
 
  return eq_solver;
}