Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/standard_common_divisors.ads, Revision 1.1.1.1
1.1 maekawa 1: with Standard_Integer_Ring;
2: with Standard_Integer_Ring.DDomain;
3: with Greatest_Common_Divisors;
4:
5: package Standard_Common_Divisors is
6: new Greatest_Common_Divisors(Standard_Integer_Ring,
7: Standard_Integer_Ring.DDomain);
8:
9: -- DESCRIPTION :
10: -- Defines greatest common divisors over the Euclidean domain of
11: -- standard integer numbers.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>