Return to generic_matrices_io.ads CVS log

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

Initial revision

with text_io;                            use text_io;
with Abstract_Ring_io;
with Generic_Vectors;
with Generic_Matrices;

generic

  with package Ring_io is new Abstract_Ring_io(<>);  use Ring_io.Ring;
  with package Vectors is new Generic_Vectors(Ring_io.Ring);
  with package Matrices is new Generic_Matrices(Ring_io.Ring,Vectors);

package Generic_Matrices_io is

-- DESCRIPTION :
--   Provides input/output routines for matrices with any entries.

  use Matrices;

  procedure get ( m : out Matrix );
  procedure get ( file : in file_type; m : out Matrix );

  procedure get ( m : out Matrix; rw1,rw2 : in integer );
  procedure get ( file : in file_type; m : out Matrix; rw1,rw2 : in integer );

  -- DESCRIPTION :
  --   Reads an integer matrix m or m(rw1..rw2,m'range(2))
  --   from standard input or on file.

  procedure put ( m : in Matrix );
  procedure put ( file : in file_type; m : in Matrix );

  procedure put ( m : in Matrix; rw1,rw2 : in integer );
  procedure put ( file : in file_type; m : in Matrix; rw1,rw2 : in integer );

  -- DESCRIPTION :
  --   Writes a matrix m or submatrix m(rw1..rw2,m'range(2))
  --   on standard output or on file.

  procedure put ( m : in Matrix; dp : in natural );
  procedure put ( file : in file_type; m : in Matrix; dp : in natural );

  procedure put ( m : in Matrix; rw1,rw2 : in integer; dp : in natural );
  procedure put ( file : in file_type;
                  m : in Matrix; rw1,rw2 : in integer; dp : in natural );

  -- DESCRIPTION :
  --   Writes a matrix m or submatrix m(rw1..rw2,m'range(2))
  --   on standard output or on file, with dp decimal places.

end Generic_Matrices_io;