Return to generic_matrices.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/generic_matrices.ads, Revision 1.1

1.1     ! maekawa     1: with Abstract_Ring,Generic_Vectors;
        !             2:
        !             3: generic
        !             4:
        !             5:   with package Ring is new Abstract_Ring(<>);
        !             6:   with package Vectors is new Generic_Vectors(Ring);
        !             7:
        !             8: package Generic_Matrices is
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   An abstraction for matrices with coefficients over any ring.
        !            12:
        !            13:   use Ring;  use Vectors;
        !            14:
        !            15:   type Matrix is array ( integer range <>, integer range <> ) of number;
        !            16:   type Link_to_Matrix is access Matrix;
        !            17:
        !            18: -- COMPARISON AND COPYING :
        !            19:
        !            20:   function Equal ( a,b : Matrix ) return boolean;
        !            21:
        !            22:   -- DESCRIPTION :
        !            23:   --   Comparing by using the comparison operations of the Ring.
        !            24:
        !            25:   procedure Copy ( a : in Matrix; b : in out Matrix );
        !            26:
        !            27:   -- DESCRIPTION :
        !            28:   --   Makes a deep copy of the matrix a to the matrix b.
        !            29:
        !            30:   -- REQUIRED : a'range(1) = b'range(1) and a'range(2) = b'range(2).
        !            31:
        !            32: -- MATRIX-MATRIX OPERATIONS :
        !            33:
        !            34:   function "+" ( a,b : Matrix ) return Matrix;             -- return a+b
        !            35:   function "+" ( a : Matrix ) return Matrix;               -- copies a
        !            36:   function "-" ( a,b : Matrix ) return Matrix;             -- return a-b
        !            37:   function "-" ( a : Matrix ) return Matrix;               -- return -a
        !            38:   function "*" ( a,b : Matrix ) return Matrix;             -- return a*b
        !            39:
        !            40:   procedure Mul1 ( a : in out Matrix; b : in Matrix );     -- a := a*b
        !            41:   procedure Mul2 ( a : in Matrix; b : in out Matrix );     -- b := a*b
        !            42:
        !            43: -- MATRIX-VECTOR OPERATIONS :
        !            44:
        !            45:   function "*" ( a : Matrix; v : Vector ) return Vector;   -- return a*v
        !            46:   function "*" ( v : Vector; a : Matrix ) return Vector;   -- return v*a
        !            47:
        !            48:   procedure Mul ( a : in Matrix; v : in out Vector );      -- v := a*v
        !            49:   procedure Mul ( v : in out Vector; a : in Matrix );      -- v := a*v
        !            50:
        !            51: -- DESTRUCTORS :
        !            52:
        !            53:   procedure Clear ( a : in out Matrix );
        !            54:   procedure Clear ( a : in out Link_to_Matrix );
        !            55:
        !            56:   -- DESCRIPTION :
        !            57:   --   Deallocation of memory.
        !            58:
        !            59: end Generic_Matrices;