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 Drivers_for_Reduction; use Drivers_for_Reduction;
procedure ts_drivred is
-- DESCRIPTION :
-- Calls the driver routine to reducing a polynomial system.
file : file_type;
lp : Link_to_Poly_Sys;
d : natural;
begin
new_line;
put_line("Test on reducing polynomial systems.");
new_line;
get(lp);
new_line;
put_line("Reading the name of the output file.");
Read_Name_and_Create_File(file);
Driver_for_Reduction(file,lp.all,d,false);
end ts_drivred;