Return to ts_drivss.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/ts_drivss.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_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 Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      7: with Drivers_for_Set_Structures;         use Drivers_for_Set_Structures;
                      8:
                      9: procedure ts_drivss is
                     10:
                     11: -- DESCRIPTION :
                     12: --   Reads a polynomial system and calls the driver.
                     13:
                     14:   file,qfile : file_type;
                     15:   lp : Link_to_Poly_Sys;
                     16:   lpos : List;
                     17:   b : natural;
                     18:
                     19: begin
                     20:   get(lp);
                     21:   declare
                     22:     q : Poly_Sys(lp'range);
                     23:     qsols : Solution_List;
                     24:   begin
                     25:     put_line("Reading the output file.");
                     26:     Read_Name_and_Create_File(file);
                     27:     Driver_for_Set_Structure(file,lp.all,b,lpos,q,qsols);
                     28:   end;
                     29: end ts_drivss;