CppADCodeGen icon indicating copy to clipboard operation
CppADCodeGen copied to clipboard

Calling CppAD::ipopt::solve from CppADCodeGen

Open a-jp opened this issue 3 years ago • 8 comments

Hi, Would you be able to help me run this ipopt example using CppADCodeGen? What changes should I make to replicate this example but with the AD performed by CppADCodeGen? I have successfully compiled and run this example with my local ipopt and CppAD builds and it works well.

Many thanks,

a-jp avatar Aug 14 '22 10:08 a-jp

Hi,

Is there any more info I can provide to help with this question? Thanks, Andy

a-jp avatar Aug 20 '22 17:08 a-jp

Hello Andy,

From what I can see from CppAD's support for Ipopt this would require a re-implementation for CppADCodeGen since CppAD uses AD::ADFun and CppADCodeGen uses different types and requires additional steps (compilation step). Unfortunately, there is no simple way to just start using CppAD's support for Ipopt.

Kind regards, João

joaoleal avatar Aug 21 '22 17:08 joaoleal

I think that working on a faster than CppAD::ipopt::solve interface to ipopt, along the lines suggested above, is worth while but not a simple effort. If someone is interested in taking the lead on this, I would be willing to will to help.

bradbell avatar Aug 21 '22 17:08 bradbell

Thank you for the advice.

a-jp avatar Aug 23 '22 18:08 a-jp

@bradbell and @joaoleal what would be the first and simplest step to make progress on using cppadcodegen for ipopt via cppad?

How do we make progress towards converting the example I first linked to so it can work with cppadcodegen?

a-jp avatar Sep 05 '22 20:09 a-jp

I suggest you start by programming up the simple ipopt example https://github.com/bradbell/cppad_mixed/blob/master/example/ipopt_run.cpp And modifying it so that the derivative functions are calculated using CppADCodeGen. Once you have done that, you can extend it to work with an arbitrary function.

You will note that the example above is documented using omhelp. I am working on a program that converts omhelp to sphinx (I do not plan to continue supporting omhelp). I expect the omhelp to eventually be converted to the following extension of sphinx: https://bradbell.github.io/xrst/doc/user_guide.html#purpose

bradbell avatar Sep 05 '22 23:09 bradbell

@bradbell thanks for the suggestion. @joaoleal can you suggest a good cppadcodegen example that will help with this task?

a-jp avatar Sep 06 '22 20:09 a-jp

There is an example that creates a model for a Lagrangian here: https://github.com/joaoleal/CppADCodeGen/blob/master/example/lagrangian.cpp

I would, however, not do it like this. Nevertheless, it can be used as a starting point.

I would instead create two models:

  • a model for the objective function
  • a model for the NLP with the objective function and the constraints (to determine Lagrangian-related information)

For the NLP model I would configure a custom sparse hessian sparsity with only half of the Hessian (to improve performance). You can also get away with only the NLP model but there are cases where there is no need to compute information related to the constraints (e.g., eval_grad_f).

If there are any parameters in the model I would also remove them from the sparsity patterns.

joaoleal avatar Sep 06 '22 21:09 joaoleal