Return to mainred.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Homotopy/mainred.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 Drivers_for_Reduction;              use Drivers_for_Reduction;
        !             6:
        !             7: procedure mainred ( infilename,outfilename : in string ) is
        !             8:
        !             9:   lp : Link_to_Poly_Sys;
        !            10:   outfile : file_type;
        !            11:   d : natural;
        !            12:   ans : character;
        !            13:
        !            14:   procedure Read_System ( filename : in string ) is
        !            15:
        !            16:     file : file_type;
        !            17:
        !            18:   begin
        !            19:     if filename /= ""
        !            20:      then Open(file,in_file,filename);
        !            21:           get(file,lp);
        !            22:           Close(file);
        !            23:     end if;
        !            24:   exception
        !            25:     when others =>
        !            26:       new_line;
        !            27:       put("Could not open file with name "); put_line(filename);
        !            28:       lp := null; return;
        !            29:   end Read_System;
        !            30:
        !            31: begin
        !            32:   Read_System(infilename);
        !            33:   if lp = null
        !            34:    then new_line; get(lp);
        !            35:   end if;
        !            36:   Create_Output_File(outfile,outfilename);
        !            37:   put(outfile,lp.all); new_line(outfile);
        !            38:   Driver_for_Reduction(outfile,lp.all,d,false);
        !            39:   Close(outfile);
        !            40:   new_line;
        !            41:   put("Do you want the reduced system on separate file ? (y/n) ");
        !            42:   Ask_Yes_or_No(ans);
        !            43:   if ans = 'y'
        !            44:    then
        !            45:      declare
        !            46:        redfile : file_type;
        !            47:      begin
        !            48:        put_line("Reading the name of the output file.");
        !            49:        Read_Name_and_Create_File(redfile);
        !            50:        put(redfile,lp.all);
        !            51:        Close(redfile);
        !            52:      end;
        !            53:   end if;
        !            54: end mainred;