with text_io,integer_io; use text_io,integer_io;
with Communications_with_User; use Communications_with_User;
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 Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors;
with Drivers_for_Set_Structures; use Drivers_for_Set_Structures;
procedure ts_drivss is
-- DESCRIPTION :
-- Reads a polynomial system and calls the driver.
file,qfile : file_type;
lp : Link_to_Poly_Sys;
lpos : List;
b : natural;
begin
get(lp);
declare
q : Poly_Sys(lp'range);
qsols : Solution_List;
begin
put_line("Reading the output file.");
Read_Name_and_Create_File(file);
Driver_for_Set_Structure(file,lp.all,b,lpos,q,qsols);
end;
end ts_drivss;