with text_io;                            use text_io;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
with Standard_Complex_Solutions;         use Standard_Complex_Solutions; 
with Standard_Complex_Solutions_io;      use Standard_Complex_Solutions_io; 

procedure ts_sols is

-- DESCRIPTION :
--   Test on input/output of solution lists.

  lp : Link_to_Poly_Sys;
  sols : Solution_List;

begin
  new_line; 
  put_line("Reading the polynomial system.");
  get(lp);
  new_line;
  Read(sols);
  new_line;
  put_line("The solutions : ");
  put(sols);
end ts_sols;