Return to generic_complex_numbers.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/generic_complex_numbers.ads, Revision 1.1

1.1     ! maekawa     1: with Abstract_Ring;
        !             2: with Abstract_Ring.Field;
        !             3:
        !             4: generic
        !             5:
        !             6:   with package Ring is new Abstract_Ring(<>);
        !             7:   with package Field is new Ring.Field(<>);
        !             8:
        !             9: package Generic_Complex_Numbers is
        !            10:
        !            11: -- DESCRIPTION :
        !            12: --   Offers a Cartesian view on the complex numbers, where the type of the
        !            13: --   reals is left for instantiation.
        !            14:
        !            15:   use Ring; use Field;
        !            16:
        !            17:   type Complex_Number is private;
        !            18:
        !            19: -- CREATORS :
        !            20:
        !            21:   function Create ( i : integer ) return Complex_Number;
        !            22:   function Create ( f : number ) return Complex_Number;
        !            23:   function Create ( re,im : number ) return Complex_Number;
        !            24:   function Conjugate ( c : Complex_Number ) return Complex_Number;
        !            25:
        !            26: -- SELECTORS :
        !            27:
        !            28:   function REAL_PART ( x : Complex_Number ) return number;
        !            29:   function IMAG_PART ( x : Complex_Number ) return number;
        !            30:
        !            31:   function AbsVal ( x : Complex_Number ) return number;  -- x=a+bi, |x|=|a|+|b|
        !            32:   function AbsVal ( x : Complex_Number ) return Complex_Number;
        !            33:
        !            34: -- COMPARISON/COPYING :
        !            35:
        !            36:   function Equal ( x,y : Complex_Number ) return boolean;
        !            37:   procedure Copy ( x : in Complex_Number; y : in out Complex_Number );
        !            38:
        !            39:   function "<" ( x,y : Complex_Number ) return boolean;  -- return |x|<|y|
        !            40:   function ">" ( x,y : Complex_Number ) return boolean;  -- return |x|>|y|
        !            41:
        !            42: -- ARITHMETHIC OPERATIONS AS FUNCTIONS :
        !            43:
        !            44:   function "+" ( x : Complex_Number; y : number ) return Complex_Number;
        !            45:   function "-" ( x : Complex_Number; y : number ) return Complex_Number;
        !            46:   function "*" ( x : Complex_Number; y : number ) return Complex_Number;
        !            47:   function "/" ( x : Complex_Number; y : number ) return Complex_Number;
        !            48:
        !            49:   function "+" ( x : number; y : Complex_Number ) return Complex_Number;
        !            50:   function "-" ( x : number; y : Complex_Number ) return Complex_Number;
        !            51:   function "*" ( x : number; y : Complex_Number ) return Complex_Number;
        !            52:   function "/" ( x : number; y : Complex_Number ) return Complex_Number;
        !            53:
        !            54:   function "+" ( x,y : Complex_Number ) return Complex_Number;
        !            55:   function "+" ( x : Complex_Number )   return Complex_Number;  -- copies x
        !            56:   function "-" ( x,y : Complex_Number ) return Complex_Number;
        !            57:   function "-" ( x : Complex_Number )   return Complex_Number;
        !            58:   function "*" ( x,y : Complex_Number ) return Complex_Number;
        !            59:   function "/" ( x,y : Complex_Number ) return Complex_Number;
        !            60:
        !            61:   function "**" ( x : Complex_Number; m : integer ) return Complex_Number;
        !            62:
        !            63: -- ARITHMETIC OPERATIONS AS PROCEDURES :
        !            64:
        !            65:   procedure Add ( x : in out Complex_Number; y : in number );
        !            66:   procedure Sub ( x : in out Complex_Number; y : in number );
        !            67:   procedure Mul ( x : in out Complex_Number; y : in number );
        !            68:   procedure Div ( x : in out Complex_Number; y : in number );
        !            69:
        !            70:   procedure Add ( x : in out Complex_Number; y : in Complex_Number );
        !            71:   procedure Sub ( x : in out Complex_Number; y : in Complex_Number );
        !            72:   procedure Min ( x : in out Complex_Number );
        !            73:   procedure Mul ( x : in out Complex_Number; y : in Complex_Number );
        !            74:   procedure Div ( x : in out Complex_Number; y : in Complex_Number );
        !            75:
        !            76: -- DESTRUCTOR :
        !            77:
        !            78:   procedure Clear ( x : in out Complex_Number );
        !            79:
        !            80: private
        !            81:
        !            82:   type Complex_Number is
        !            83:     record
        !            84:       RE,IM : number;
        !            85:     end record;
        !            86:
        !            87: end Generic_Complex_Numbers;