with text_io;                            use text_io;
with Abstract_Ring_io;
with Generic_Vectors;
with Generic_Matrices;
with Generic_Matrices_io;
with Generic_VecMats;

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);
  with package Matrices_io is new Generic_Matrices_io(Ring_io,Vectors,Matrices);
  with package VecMats is new Generic_VecMats(Ring_io.Ring,Vectors,Matrices);

package Generic_VecMats_io is

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

  use VecMats;

  procedure get ( n : in natural; v : in out VecMat );
  procedure get ( file : in file_type; n : in natural; v : in out VecMat );

  -- DESCRIPTION :
  --   Numbers will be read from standard input or from file,
  --   until all entries of v are filled with vectors of range 1..n.
  --   The numbers must be separated by spaces or line breaks.

  procedure get ( n,n1,n2 : in natural; v : in out Link_to_VecMat );
  procedure get ( file : in file_type; n,n1,n2 : in natural;
                  v : in out Link_to_VecMat );

  -- DESCRIPTION :
  --   The vector on return will be of range 1..n and will be filled
  --   with matrices of ranges 1..n1,1..n2, with numbers read from standard
  --   input or from file.
  --   The numbers must be separated by spaces or line breaks.

  procedure put ( v : in VecMat );
  procedure put ( file : in file_type; v : in VecMat );
  procedure put ( v : in Link_to_VecMat );
  procedure put ( file : in file_type; v : in Link_to_VecMat );

  -- DESCRIPTION :
  --   The vector of matrices v is written on standard output or on file.
  --   The elements of v are written on separate lines, separated by 
  --   white lines.

  procedure put ( v : in VecMat; dp : in natural );
  procedure put ( file : in file_type; v : in VecMat; dp : in natural );
  procedure put ( v : in Link_to_VecMat; dp : in natural );
  procedure put ( file : in file_type;
                  v : in Link_to_VecMat; dp : in natural );

  -- DESCRIPTION :
  --   The vector of matrices v is written on standard output or on file.
  --   The elements of v are written on separate lines with dp decimal places.

end Generic_VecMats_io;