Return to bablroco.adb CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                            use text_io;
with Communications_with_User;           use Communications_with_User;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
with Black_Box_Root_Counting;

procedure bablroco ( infilename,outfilename : in string ) is

  lp,lq : Link_to_Poly_Sys;
  infile,outfile : file_type;
  rc : natural;
  roco,poco : duration;
  qsols : Solution_List;

  procedure Read_System ( file : in out file_type; filename : in string ) is
  begin
    if filename /= ""
     then Open_Input_File(file,filename);
          get(file,lp);
    end if;
  exception
    when others => put_line("Something is wrong with argument file...");
                   lp := null; return;
  end Read_System;

begin
  Read_System(infile,infilename);
  if lp = null
   then new_line;
        get(lp);
  end if;
  Create_Output_File(outfile,outfilename);
  put(outfile,lp.all);
  lq := new Poly_Sys(lp'range);
  Black_Box_Root_Counting(outfile,lp.all,rc,lq.all,qsols,roco,poco);
end bablroco;