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.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>