Return to abstract_ring-field.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/abstract_ring-field.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 AbsVal ( a : number ) return number;           -- returns |a|
                      7:
                      8:   with function "/" ( a,b : number ) return number;
                      9:
                     10:   with procedure Div ( a : in out number; b : in number );     -- a := a/b
                     11:
                     12: package Abstract_Ring.Field is end;
                     13:
                     14: -- DESCRIPTION :
                     15: --   Defines a field as an extension of a ring with an order and division.