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 Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
with Arrays_of_Integer_Vector_Lists_io;  use Arrays_of_Integer_Vector_Lists_io;
with Power_Lists;                        use Power_Lists;
with Driver_for_Criterion;

procedure ts_drivcrit is

-- DESCRIPTION :
--   This procedure calls the driver for the criterion.

  lp : Link_to_Poly_Sys;
  file : file_type;

begin
  new_line;
  put_line("Interactive testing of driver for the criterion.");
  new_line;
  get(lp);
  new_line;
  put_line("Reading the name of the output file.");
  Read_Name_and_Create_File(file);
  declare
    supports : Array_of_Lists(lp'range) := Create(lp.all);
  begin
    put_line(file,"The supports of the system : "); put(file,supports);
    Driver_for_Criterion(file,supports);
    put_line(file,"The reduced supports : "); put(file,supports);
  end;
end ts_drivcrit;