with text_io,integer_io;                 use text_io,integer_io;
with Symbol_Table;
with Standard_Complex_Poly_Matrices;     use Standard_Complex_Poly_Matrices;
with Standard_Complex_Poly_Matrices_io;  use Standard_Complex_Poly_Matrices_io;

procedure ts_polmat is

  procedure Test_io ( n,m : in natural ) is

    pm : Matrix(1..n,1..m);

  begin
    put("Give "); put(n*m,1); put_line(" polynomials : ");
    get(pm);
    put_line("The matrix of polynomials : ");
    put(pm);
  end Test_io;

  procedure Main is

    n,m,nb : natural;

  begin
    put("Give number of rows : "); get(n);
    put("Give number of columns : "); get(m);
    put("Give number of symbols : "); get(nb);
    Symbol_Table.Init(nb);
    Test_io(n,m);
  end Main;

begin
  new_line;
  put_line("Testing input/output of matrices of polynomials.");
  new_line;
  Main;
end ts_polmat;