NLv2 presolver: resolve constant defined vars/external functions - Githubissues

Pyomo / pyomo

An object-oriented algebraic modeling language in Python for structured optimization problems.

https://www.pyomo.org

Other

1.9k stars 490 forks source link

NLv2 presolver: resolve constant defined vars/external functions #3276

Closed jsiirola closed 1 month ago

jsiirola commented 1 month ago

Fixes #3272 .

Summary/Motivation:

This resolves a number of errors and bugn in the NLv2 linear presolver:

The ASL does not handle defined variables and external functions with constant subexpressions. This PR will simplify nonlinear subexpressions (within defined variables or arguments to external functions) to a single number (if fixing variables results in the subexpression becoming constant).
improve detection of trivially infeasible models

Changes proposed in this PR:

-

Legal Acknowledgement

By contributing to this software project, I have read the contribution guide and agree to the following terms and conditions for my contribution:

I agree my contributions are submitted under the BSD license.
I represent I am authorized to make the contributions and grant the license. If my employer has rights to intellectual property that includes these contributions, I represent that I have received permission to make contributions and grant the required license on behalf of that employer.