Return to floating_linear_inequalities.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/floating_linear_inequalities.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
                      2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      3: with Standard_Floating_Vectors;          use Standard_Floating_Vectors;
                      4: with Standard_Floating_Matrices;         use Standard_Floating_Matrices;
                      5:
                      6: package Floating_Linear_Inequalities is
                      7:
                      8: -- DESCRIPTION :
                      9: --   This procedure contains some routines for verifying the Farkas lemma.
                     10:
                     11:   procedure Complementary_Slackness
                     12:                  ( tableau : in out Matrix; lastcol : in integer;
                     13:                    rhs : in out Standard_Floating_Vectors.Vector;
                     14:                    tol : in double_float;
                     15:                    solution : out Standard_Floating_Vectors.Vector;
                     16:                    columns : out Standard_Integer_Vectors.Vector;
                     17:                    feasible : out boolean );
                     18:
                     19:   procedure Complementary_Slackness
                     20:                  ( tableau : in out Matrix;
                     21:                    rhs : in out Standard_Floating_Vectors.Vector;
                     22:                    tol : in double_float;
                     23:                    solution : out Standard_Floating_Vectors.Vector;
                     24:                    columns : out Standard_Integer_Vectors.Vector;
                     25:                    feasible : out boolean );
                     26:
                     27:   -- DESCRIPTION :
                     28:   --   Solves the complementary slackness problem: determines
                     29:   --   whether there exists a positive combination of the columns
                     30:   --   such that the right hand side is satisfied.
                     31:
                     32:   -- REQUIRED :
                     33:   --   rhs'range = solution'range = columns'range = tableau'range(1)
                     34:
                     35:   -- ON ENTRY :
                     36:   --   tableau     inequalities as columns;
                     37:   --   lastcol     indicates the last significant column in the tableau,
                     38:   --                if not given, then lastcol = tableau'last(2);
                     39:   --   tol         tolerance to decide whether a number equals zero.
                     40:   --   rhs         right hand side vector;
                     41:
                     42:   -- ON RETURN :
                     43:   --   tableau     modified tableau of inequalities;
                     44:   --   rhs         modified right hand side;
                     45:   --   solution    the computed solution;
                     46:   --   columns     indicates which columns has been used;
                     47:   --   feasible    if true then the solution is feasible.
                     48:
                     49: end Floating_Linear_Inequalities;