[Next][Prev] [_____] [____] [Up] [Index] [Root]

LINEAR PROGRAMMING

 
Acknowledgements
 
Introduction
 
Explicit LP Solving Functions
 
Creation of LP objects
 
Operations on LP objects
 
Bibliography







DETAILS

 
Introduction

 
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 Wed Apr 24 15:09:57 EST 2013