with text_io; use text_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 Driver_for_Root_Counts;
procedure ts_drivroco is
-- DESCRIPTION :
-- This procedure calls the driver to root counting.
lp,lq : Link_to_Poly_Sys;
qsols : Solution_List;
b : natural;
file : file_type;
begin
new_line;
put_line("Test on driver for root counting.");
new_line;
get(lp);
new_line;
put_line("Reading the name of the output file.");
Read_Name_and_Create_File(file);
lq := new Poly_Sys(lp'range);
Driver_for_Root_Counts(file,lp.all,lq.all,false,qsols,b);
end ts_drivroco;