Return to ts_drivroco.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Main

Annotation of OpenXM_contrib/PHC/Ada/Main/ts_drivroco.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Communications_with_User;           use Communications_with_User;
                      3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      4: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
                      5: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      6: with Driver_for_Root_Counts;
                      7:
                      8: procedure ts_drivroco is
                      9:
                     10: -- DESCRIPTION :
                     11: --   This procedure calls the driver to root counting.
                     12:
                     13:   lp,lq : Link_to_Poly_Sys;
                     14:   qsols : Solution_List;
                     15:   b : natural;
                     16:   file : file_type;
                     17:
                     18: begin
                     19:   new_line;
                     20:   put_line("Test on driver for root counting.");
                     21:   new_line;
                     22:   get(lp);
                     23:   new_line;
                     24:   put_line("Reading the name of the output file.");
                     25:   Read_Name_and_Create_File(file);
                     26:   lq := new Poly_Sys(lp'range);
                     27:   Driver_for_Root_Counts(file,lp.all,lq.all,false,qsols,b);
                     28: end ts_drivroco;