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 (H173E1)
      Example LP_ExplicitLPSolutionsTwo (H173E2)

 
Creation of LP objects
      LPProcess(R, n) : Rng, RngIntElt -> LP
      Example LP_LPCreation (H173E3)

 
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 (H173E4)

 
Bibliography

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