Return to generic_vecmats_io.ads CVS log

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

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

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Abstract_Ring_io;
        !             3: with Generic_Vectors;
        !             4: with Generic_Matrices;
        !             5: with Generic_Matrices_io;
        !             6: with Generic_VecMats;
        !             7:
        !             8: generic
        !             9:
        !            10:   with package Ring_io is new Abstract_Ring_io(<>);  use Ring_io.Ring;
        !            11:   with package Vectors is new Generic_Vectors(Ring_io.Ring);
        !            12:   with package Matrices is new Generic_Matrices(Ring_io.Ring,Vectors);
        !            13:   with package Matrices_io is new Generic_Matrices_io(Ring_io,Vectors,Matrices);
        !            14:   with package VecMats is new Generic_VecMats(Ring_io.Ring,Vectors,Matrices);
        !            15:
        !            16: package Generic_VecMats_io is
        !            17:
        !            18: -- DESCRIPTION :
        !            19: --   Provides input/output routines for vector of matrices with any entries.
        !            20:
        !            21:   use VecMats;
        !            22:
        !            23:   procedure get ( n : in natural; v : in out VecMat );
        !            24:   procedure get ( file : in file_type; n : in natural; v : in out VecMat );
        !            25:
        !            26:   -- DESCRIPTION :
        !            27:   --   Numbers will be read from standard input or from file,
        !            28:   --   until all entries of v are filled with vectors of range 1..n.
        !            29:   --   The numbers must be separated by spaces or line breaks.
        !            30:
        !            31:   procedure get ( n,n1,n2 : in natural; v : in out Link_to_VecMat );
        !            32:   procedure get ( file : in file_type; n,n1,n2 : in natural;
        !            33:                   v : in out Link_to_VecMat );
        !            34:
        !            35:   -- DESCRIPTION :
        !            36:   --   The vector on return will be of range 1..n and will be filled
        !            37:   --   with matrices of ranges 1..n1,1..n2, with numbers read from standard
        !            38:   --   input or from file.
        !            39:   --   The numbers must be separated by spaces or line breaks.
        !            40:
        !            41:   procedure put ( v : in VecMat );
        !            42:   procedure put ( file : in file_type; v : in VecMat );
        !            43:   procedure put ( v : in Link_to_VecMat );
        !            44:   procedure put ( file : in file_type; v : in Link_to_VecMat );
        !            45:
        !            46:   -- DESCRIPTION :
        !            47:   --   The vector of matrices v is written on standard output or on file.
        !            48:   --   The elements of v are written on separate lines, separated by
        !            49:   --   white lines.
        !            50:
        !            51:   procedure put ( v : in VecMat; dp : in natural );
        !            52:   procedure put ( file : in file_type; v : in VecMat; dp : in natural );
        !            53:   procedure put ( v : in Link_to_VecMat; dp : in natural );
        !            54:   procedure put ( file : in file_type;
        !            55:                   v : in Link_to_VecMat; dp : in natural );
        !            56:
        !            57:   -- DESCRIPTION :
        !            58:   --   The vector of matrices v is written on standard output or on file.
        !            59:   --   The elements of v are written on separate lines with dp decimal places.
        !            60:
        !            61: end Generic_VecMats_io;