Return to multprec_integer_ring-ddomain.ads CVS log

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

Initial revision

with Multprec_Integer_Ring;
with Multprec_Integer_Numbers;           use Multprec_Integer_Numbers;
with Abstract_Ring.Domain;

package Multprec_Integer_Ring.DDomain is
  new Multprec_Integer_Ring.Domain("<",">","/",Rmd,Rmd,Div,Div,Div);

-- DESCRIPTION :
--   Defines the extension of the ring of multi-precision integer numbers
--   to an Euclidean domain.