Return to standard_common_divisors.ads CVS log

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

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.