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 Driver_for_Symmetric_Set_Structure; use Driver_for_Symmetric_Set_Structure;
procedure ts_drivsss 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_Symmetric_Random_Product_Systems(file,lp.all,q,qsols,b,lpos);
end;
end ts_drivsss;