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     ! 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.