Return to bablroco.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Main |
File: [local] / OpenXM_contrib / PHC / Ada / Main / bablroco.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:23 2000 UTC (23 years, 8 months ago) by maekawa
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;