Return to abstract_ring-domain.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/abstract_ring-domain.ads, Revision 1.1.1.1

1.1       maekawa     1: generic
                      2:
                      3:   with function "<" ( a,b : number ) return boolean;
                      4:   with function ">" ( a,b : number ) return boolean;
                      5:
                      6:   with function "/" ( a,b : number ) return number;
                      7:
                      8:   with function  Rmd ( a,b : number ) return number;            -- a mod b
                      9:   with procedure Rmd ( a : in out number; b : in number );      -- a := a mod b
                     10:
                     11:   with procedure Div ( a : in out number; b : in number );      -- a := a/b
                     12:   with procedure Div ( a,b : in number;                         -- a = b*q+r
                     13:                        q : out number; r : out number );        -- q := a/b
                     14:   with procedure Div ( a : in out number; b : in number;        -- a := a/b
                     15:                        r : out number );                        -- r := a mod b
                     16:
                     17: package Abstract_Ring.Domain is end;
                     18:
                     19: -- DESCRIPTION :
                     20: --   An Euclidean domain is a ring where for any pair (a,b), b /= 0,
                     21: --   there exists a quotient q and a remainder r, such that a = b*q + r.
                     22: --   Note that here we only have the remainder and division operations.
                     23: --   Any package that makes usage of the full euclidean domain must as
                     24: --   well have the ring, instantiated with the same number type.