Return to ts_drivsss.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/ts_drivsss.adb, Revision 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 Driver_for_Symmetric_Set_Structure; use Driver_for_Symmetric_Set_Structure;
        !             8:
        !             9: procedure ts_drivsss 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_Symmetric_Random_Product_Systems(file,lp.all,q,qsols,b,lpos);
        !            28:   end;
        !            29: end ts_drivsss;