Return to standard_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/standard_integer_ring-ddomain.ads, Revision 1.1.1.1

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