Return to standard_common_divisors.ads CVS log

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

Initial revision

with Standard_Integer_Ring;
with Standard_Integer_Ring.DDomain;
with Greatest_Common_Divisors;

package Standard_Common_Divisors is
  new Greatest_Common_Divisors(Standard_Integer_Ring,
                               Standard_Integer_Ring.DDomain);

-- DESCRIPTION :
--   Defines greatest common divisors over the Euclidean domain of
--   standard integer numbers.