PolyFEM
|
Form of the lagrangian in augmented lagrangian. More...
#include <GenericLagrangianForm.hpp>
Public Member Functions | |
GenericLagrangianForm (const std::vector< int > &constraint_nodes, const StiffnessMatrix &A, const Eigen::VectorXd &b) | |
Construct a new GenericLagrangianForm object for the constraints Ax = b. | |
std::string | name () const override |
double | value_unweighted (const Eigen::VectorXd &x) const override |
Compute the value of the form. | |
void | first_derivative_unweighted (const Eigen::VectorXd &x, Eigen::VectorXd &gradv) const override |
Compute the first derivative of the value wrt x. | |
void | second_derivative_unweighted (const Eigen::VectorXd &x, StiffnessMatrix &hessian) const override |
Compute the second derivative of the value wrt x. | |
void | update_lagrangian (const Eigen::VectorXd &x, const double k_al) override |
double | compute_error (const Eigen::VectorXd &x) const override |
Public Member Functions inherited from polyfem::solver::AugmentedLagrangianForm | |
AugmentedLagrangianForm (const std::vector< int > &constraint_nodes) | |
virtual | ~AugmentedLagrangianForm () |
virtual Eigen::VectorXd | target (const Eigen::VectorXd &x) const |
void | set_initial_weight (const double k_al) |
const std::vector< int > & | constraint_nodes () const |
Public Member Functions inherited from polyfem::solver::Form | |
virtual | ~Form () |
virtual void | init (const Eigen::VectorXd &x) |
Initialize the form. | |
virtual void | finish () |
virtual double | value (const Eigen::VectorXd &x) const |
Compute the value of the form multiplied with the weigth. | |
Eigen::VectorXd | value_per_element (const Eigen::VectorXd &x) const |
Compute the value of the form multiplied with the weigth. | |
virtual void | first_derivative (const Eigen::VectorXd &x, Eigen::VectorXd &gradv) const |
Compute the first derivative of the value wrt x multiplied with the weigth. | |
void | second_derivative (const Eigen::VectorXd &x, StiffnessMatrix &hessian) const |
Compute the second derivative of the value wrt x multiplied with the weigth. | |
virtual bool | is_step_valid (const Eigen::VectorXd &x0, const Eigen::VectorXd &x1) const |
Determine if a step from solution x0 to solution x1 is allowed. | |
virtual double | max_step_size (const Eigen::VectorXd &x0, const Eigen::VectorXd &x1) const |
Determine the maximum step size allowable between the current and next solution. | |
virtual void | line_search_begin (const Eigen::VectorXd &x0, const Eigen::VectorXd &x1) |
Initialize variables used during the line search. | |
virtual void | line_search_end () |
Clear variables used during the line search. | |
virtual void | post_step (const polysolve::nonlinear::PostStepData &data) |
Update fields after a step in the optimization. | |
virtual void | solution_changed (const Eigen::VectorXd &new_x) |
Update cached fields upon a change in the solution. | |
virtual void | update_quantities (const double t, const Eigen::VectorXd &x) |
Update time-dependent fields. | |
virtual void | init_lagging (const Eigen::VectorXd &x) |
Initialize lagged fields TODO: more than one step. | |
virtual void | update_lagging (const Eigen::VectorXd &x, const int iter_num) |
Update lagged fields. | |
virtual int | max_lagging_iterations () const |
Get the maximum number of lagging iteration allowable. | |
virtual bool | uses_lagging () const |
Does this form require lagging? | |
void | set_project_to_psd (bool val) |
Set project to psd. | |
bool | is_project_to_psd () const |
Get if the form's second derivative is projected to psd. | |
void | enable () |
Enable the form. | |
void | disable () |
Disable the form. | |
void | set_enabled (const bool enabled) |
Set if the form is enabled. | |
bool | enabled () const |
Determine if the form is enabled. | |
virtual double | weight () const |
Get the form's multiplicative constant weight. | |
void | set_weight (const double weight) |
Set the form's multiplicative constant weight. | |
virtual bool | is_step_collision_free (const Eigen::VectorXd &x0, const Eigen::VectorXd &x1) const |
Checks if the step is collision free. | |
void | set_output_dir (const std::string &output_dir) |
Private Attributes | |
const StiffnessMatrix | A |
const Eigen::VectorXd | b |
Additional Inherited Members | |
Protected Member Functions inherited from polyfem::solver::Form | |
std::string | resolve_output_path (const std::string &path) const |
virtual Eigen::VectorXd | value_per_element_unweighted (const Eigen::VectorXd &x) const |
Compute the value of the form multiplied per element. | |
Protected Attributes inherited from polyfem::solver::AugmentedLagrangianForm | |
Eigen::VectorXd | lagr_mults_ |
vector of lagrange multipliers | |
double | k_al_ |
penalty parameter | |
const std::vector< int > | constraint_nodes_ |
constraint nodes | |
Protected Attributes inherited from polyfem::solver::Form | |
bool | project_to_psd_ = false |
If true, the form's second derivative is projected to be positive semidefinite. | |
double | weight_ = 1 |
weight of the form (e.g., AL penalty weight or Δt²) | |
bool | enabled_ = true |
If true, the form is enabled. | |
std::string | output_dir_ |
Form of the lagrangian in augmented lagrangian.
Definition at line 8 of file GenericLagrangianForm.hpp.
polyfem::solver::GenericLagrangianForm::GenericLagrangianForm | ( | const std::vector< int > & | constraint_nodes, |
const StiffnessMatrix & | A, | ||
const Eigen::VectorXd & | b | ||
) |
Construct a new GenericLagrangianForm object for the constraints Ax = b.
constraint_nodes | constraint nodes |
A | Constraints matrix |
b | Constraints value |
Definition at line 7 of file GenericLagrangianForm.cpp.
|
overridevirtual |
Implements polyfem::solver::AugmentedLagrangianForm.
Definition at line 37 of file GenericLagrangianForm.cpp.
|
overridevirtual |
Compute the first derivative of the value wrt x.
[in] | x | Current solution |
[out] | gradv | Output gradient of the value wrt x |
Implements polyfem::solver::Form.
Definition at line 22 of file GenericLagrangianForm.cpp.
References A, b, polyfem::solver::AugmentedLagrangianForm::k_al_, polyfem::solver::AugmentedLagrangianForm::lagr_mults_, and x.
|
inlineoverridevirtual |
Implements polyfem::solver::Form.
Definition at line 19 of file GenericLagrangianForm.hpp.
|
overridevirtual |
Compute the second derivative of the value wrt x.
[in] | x | Current solution |
[out] | hessian | Output Hessian of the value wrt x |
Implements polyfem::solver::Form.
Definition at line 27 of file GenericLagrangianForm.cpp.
References A.
|
overridevirtual |
Implements polyfem::solver::AugmentedLagrangianForm.
Definition at line 32 of file GenericLagrangianForm.cpp.
References A, b, polyfem::solver::AugmentedLagrangianForm::lagr_mults_, and x.
|
overridevirtual |
Compute the value of the form.
x | Current solution |
Implements polyfem::solver::Form.
Definition at line 14 of file GenericLagrangianForm.cpp.
References A, b, polyfem::solver::AugmentedLagrangianForm::k_al_, polyfem::solver::AugmentedLagrangianForm::lagr_mults_, and x.
|
private |
Definition at line 41 of file GenericLagrangianForm.hpp.
Referenced by compute_error(), first_derivative_unweighted(), second_derivative_unweighted(), update_lagrangian(), and value_unweighted().
|
private |
Definition at line 42 of file GenericLagrangianForm.hpp.
Referenced by compute_error(), first_derivative_unweighted(), update_lagrangian(), and value_unweighted().