Return to multprec_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/multprec_integer_linear_solvers.ads, Revision 1.1.1.1

1.1       maekawa     1: with Multprec_Integer_Ring;
                      2: with Multprec_Integer_Ring.Domain;
                      3: with Multprec_Integer_Vectors;
                      4: with Multprec_Integer_Matrices;
                      5: with Multprec_Common_Divisors;
                      6: with Generic_Integer_LInear_Solvers;
                      7:
                      8: package Multprec_Integer_Linear_Solvers is
                      9:   new Generic_Integer_Linear_Solvers(Multprec_Integer_Ring,
                     10:                                      Multprec_Integer_Ring.Domain,
                     11:                                      Multprec_Integer_Vectors,
                     12:                                      Multprec_Integer_Matrices,
                     13:                                      Multprec_Common_Divisors);
                     14:
                     15: -- DESCRIPTION :
                     16: --   Defines solvers for multi-precision integer linear systems.