Return to ts_drivred.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Homotopy/ts_drivred.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 Drivers_for_Reduction;              use Drivers_for_Reduction;
                      6:
                      7: procedure ts_drivred is
                      8:
                      9: -- DESCRIPTION :
                     10: --   Calls the driver routine to reducing a polynomial system.
                     11:
                     12:   file : file_type;
                     13:   lp : Link_to_Poly_Sys;
                     14:   d : natural;
                     15:
                     16: begin
                     17:   new_line;
                     18:   put_line("Test on reducing polynomial systems.");
                     19:   new_line;
                     20:   get(lp);
                     21:   new_line;
                     22:   put_line("Reading the name of the output file.");
                     23:   Read_Name_and_Create_File(file);
                     24:   Driver_for_Reduction(file,lp.all,d,false);
                     25: end ts_drivred;