up previous next
Latte.Minimize

Minimizes the objective function over a polyhedral P given by a number of linear constraints.
Syntax
          
Latte.Minimize(Equations: LIST, LesserEq: LIST, GreaterEq: LIST, ObjectiveF: POLY):LIST

          

Description
Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.

Example
Use S ::= QQ[x,y];
Equations := [];
LesserEq := [-x-2, x-y-24];
GreaterEq := [-x,-y];
ObjectiveF := x-2y;
Latte.Minimize(Equations, LesserEq, GreaterEq, ObjectiveF);

[[-2, 0], -2, [1, -2]]
-------------------------------