ginac-list-request@ginac.de ha scritto:
Send GiNaC-list mailing list submissions to
ginac-list@ginac.de
To subscribe or unsubscribe via the World Wide Web, visit
https://www.cebix.net/mailman/listinfo/ginac-list
or, via email, send a message with subject or body 'help' to
ginac-list-request@ginac.de
You can reach the person managing the list at
ginac-list-owner@ginac.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of GiNaC-list digest..."
Today's Topics:
1. Re: constrained, parametric optimization (Richard B. Kreckel)
----------------------------------------------------------------------
Message: 1
Date: Wed, 14 Jan 2009 10:29:40 +0100
From: "Richard B. Kreckel" <kreckel@ginac.de>
Subject: Re: [GiNaC-list] constrained, parametric optimization
To: GiNaC discussion list <ginac-list@ginac.de>
Message-ID: <496DB084.2060308@ginac.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Luca Dall'Olio wrote:
I am developing a computer program which needs to solve a constrained,
parametric optimisation, something like :
meaning to calculate min(x) such as y = b*x+a and x <= c and x >=0
where x and y are variables, a, b, c are constant but unknown parameters.
Since the problem is calculated at runtime from my computer program and
changes every time, I think I need to solve it with some form of constrained
programming with a symbolic result.
I could see something like this in mathematica :
http://reference.wolfram.com/mathematica/ref/Minimize.html#61381153
but I would like to keep my program free and open source, so I would like to
use a free library for this...
could you please tell me if I can do this using ginac?
GiNaC isn't prepared to do constrained optimization.
thank you very much for saving me a lot of (unsuccessful) time
searching :-)
I suppose that the example you posted above isn't the most general case
you are aiming at.
yes, you are right
Because if it is, you can of course do that manually.
However, if the equations start containing powers of x, things become
more nasty.
I agree, I could live with limitations such as "only linear objective
function, only inequality constraints ..." or things like that, but I
need a parametric input (and so a symbolic result)
Regards
-richy.
Best regards,
Luca