Explicit LP Solving Functions
MaximalSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MinimalSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MaximalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MinimalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MaximalZeroOneSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MinimalZeroOneSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
Example LP_ExplicitLPSolutionsOne (H159E1)
Example LP_ExplicitLPSolutionsTwo (H159E2)
Creation of LP objects
LPProcess(R, n) : Rng, RngIntElt -> LP
Example LP_LPCreation (H159E3)
Operations on LP objects
AddConstraints(L, lhs, rhs) : LP, Mtrx, Mtrx ->
NumberOfConstraints(L) : LP -> RngIntElt
NumberOfVariables(L) : LP -> RngIntElt
EvaluateAt(L, p) : LP, Mtrx -> RngIntElt
Constraint(L, n) : LP, RngIntElt -> Mtrx, Mtrx, RngIntElt
IntegerSolutionVariables(L) : LP -> SeqEnum
ObjectiveFunction(L) : LP -> Mtrx
IsMaximisingFunction(L) : LP -> BoolElt
RemoveConstraint(L, n) : LP, RngIntElt ->
SetIntegerSolutionVariables(L, I, m) : LP, SeqEnum[RngIntElt], BoolElt ->
SetLowerBound(L, n, b) : LP, RngIntElt, RngElt ->
SetMaximiseFunction(L, m) : LP, BoolElt ->
SetObjectiveFunction(L, F) : LP, Mtrx ->
SetUpperBound(L, n, b) : LP, RngIntElt, RngElt ->
Solution(L) : LP -> Mtrx, RngIntElt
UnsetBounds(L) : LP ->
Example LP_FillingLPObject (H159E4)
Bibliography
[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012