Return to bablroco.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/bablroco.adb, Revision 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 Black_Box_Root_Counting;
        !             7:
        !             8: procedure bablroco ( infilename,outfilename : in string ) is
        !             9:
        !            10:   lp,lq : Link_to_Poly_Sys;
        !            11:   infile,outfile : file_type;
        !            12:   rc : natural;
        !            13:   roco,poco : duration;
        !            14:   qsols : Solution_List;
        !            15:
        !            16:   procedure Read_System ( file : in out file_type; filename : in string ) is
        !            17:   begin
        !            18:     if filename /= ""
        !            19:      then Open_Input_File(file,filename);
        !            20:           get(file,lp);
        !            21:     end if;
        !            22:   exception
        !            23:     when others => put_line("Something is wrong with argument file...");
        !            24:                    lp := null; return;
        !            25:   end Read_System;
        !            26:
        !            27: begin
        !            28:   Read_System(infile,infilename);
        !            29:   if lp = null
        !            30:    then new_line;
        !            31:         get(lp);
        !            32:   end if;
        !            33:   Create_Output_File(outfile,outfilename);
        !            34:   put(outfile,lp.all);
        !            35:   lq := new Poly_Sys(lp'range);
        !            36:   Black_Box_Root_Counting(outfile,lp.all,rc,lq.all,qsols,roco,poco);
        !            37: end bablroco;