Return to multprec_integer_ring-ddomain.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/multprec_integer_ring-ddomain.ads, Revision 1.1

1.1     ! maekawa     1: with Multprec_Integer_Ring;
        !             2: with Multprec_Integer_Numbers;           use Multprec_Integer_Numbers;
        !             3: with Abstract_Ring.Domain;
        !             4:
        !             5: package Multprec_Integer_Ring.DDomain is
        !             6:   new Multprec_Integer_Ring.Domain("<",">","/",Rmd,Rmd,Div,Div,Div);
        !             7:
        !             8: -- DESCRIPTION :
        !             9: --   Defines the extension of the ring of multi-precision integer numbers
        !            10: --   to an Euclidean domain.