Return to standard_integer_linear_solvers.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/standard_integer_linear_solvers.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Integer_Ring;
                      2: with Standard_Integer_Ring.DDomain;
                      3: with Standard_Integer_Vectors;
                      4: with Standard_Integer_Matrices;
                      5: with Standard_Common_Divisors;
                      6: with Generic_Integer_LInear_Solvers;
                      7:
                      8: package Standard_Integer_Linear_Solvers is
                      9:   new Generic_Integer_Linear_Solvers(Standard_Integer_Ring,
                     10:                                      Standard_Integer_Ring.DDomain,
                     11:                                      Standard_Integer_Vectors,
                     12:                                      Standard_Integer_Matrices,
                     13:                                      Standard_Common_Divisors);
                     14:
                     15: -- DESCRIPTION :
                     16: --   Defines solvers for standard integer linear systems.