Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/standard_common_divisors.ads, Revision 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>