File: [local] / OpenXM_contrib / PHC / Ada / Continuation / mainpoco.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:22 2000 UTC (23 years, 10 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD Changes since 1.1: +0 -0
lines
Import the second public release of PHCpack.
OKed by Jan Verschelde.
|
with text_io,integer_io; use text_io,integer_io;
with Communications_with_User; use Communications_with_User;
with Standard_Floating_Numbers; use Standard_Floating_Numbers;
with Standard_Complex_Numbers; use Standard_Complex_Numbers;
with Numbers_io; use Numbers_io;
with Standard_Complex_Polynomials; use Standard_Complex_Polynomials;
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_Poly_SysFun; use Standard_Complex_Poly_SysFun;
with Homotopy;
with Standard_Complex_Solutions; use Standard_Complex_Solutions;
with Standard_Complex_Solutions_io; use Standard_Complex_Solutions_io;
with Projective_Transformations; use Projective_Transformations;
with Standard_Root_Refiners; use Standard_Root_Refiners;
with Drivers_for_Poly_Continuation; use Drivers_for_Poly_Continuation;
--with Bye_Bye_Message;
procedure mainpoco ( infilename,outfilename : in string ) is
solsft,outft : file_type;
lp : Link_to_Poly_Sys;
sols,refsols : Solution_List;
artificial,solsfile : boolean;
k,len : natural;
ans : character;
tarre,tarim : double_float;
target : Complex_Number;
procedure Read_System ( filename : in string ) is
file : file_type;
begin
if filename /= ""
then Open(file,in_file,filename);
get(file,lp);
Close(file);
end if;
exception
when others =>
new_line;
put("Could not open file with name "); put_line(filename);
lp := null; return;
end Read_System;
begin
Read_System(infilename);
if lp = null
then new_line; get(lp);
end if;
Create_Output_File(outft,outfilename);
put(outft,lp.all); new_line(outft);
new_line;
put("Do you want the solutions on separate file ? (y/n) ");
Ask_Yes_or_No(ans);
if ans = 'y'
then
put_line("Reading the name of the file to write the solutions on.");
Read_Name_and_Create_File(solsft);
solsfile := true;
else
solsfile := false;
end if;
artificial := (Number_of_Unknowns(lp(lp'first)) = lp'last);
if artificial
then Driver_for_Polynomial_Continuation(outft,lp.all,sols,target);
else new_line;
put("Give the index of the parameter : "); Read_Natural(k);
new_line;
put_line("Reading the target value of the continuation parameter.");
put("Give the real part of the target : "); Read_Double_Float(tarre);
put("Give the imaginary part of the target : ");
Read_Double_Float(tarim);
target := Create(tarre,tarim);
Driver_for_Polynomial_Continuation(outft,lp.all,k,target,sols);
end if;
if Length_Of(sols) > 0
then declare
epsxa,epsfa,tolsing : constant double_float := 10.0**(-8);
nb : natural := 0;
begin
if artificial
then
if not Is_Null(sols) and then Head_Of(sols).n > lp'last
then Affine_Transformation(sols);
end if;
if target = Create(1.0)
then
if solsfile
then Reporting_Root_Refiner
(outft,lp.all,sols,refsols,epsxa,epsfa,tolsing,
nb,5,false);
else Reporting_Root_Refiner
(outft,lp.all,sols,epsxa,epsfa,tolsing,nb,5,false);
end if;
else
declare
pt : Poly_Sys(lp'range);
begin
pt := Homotopy.Eval(target);
if solsfile
then Reporting_Root_Refiner
(outft,pt,sols,refsols,epsxa,epsfa,tolsing,
nb,5,false);
else Reporting_Root_Refiner
(outft,pt,sols,epsxa,epsfa,tolsing,nb,5,false);
end if;
Clear(pt);
end;
end if;
else
declare
pt : Poly_Sys(lp'range);
begin
pt := Eval(lp.all,target,k);
if solsfile
then Reporting_Root_Refiner
(outft,pt,sols,refsols,epsxa,epsfa,tolsing,nb,5,false);
else Reporting_Root_Refiner
(outft,pt,sols,epsxa,epsfa,tolsing,nb,5,false);
end if;
Clear(pt);
end;
end if;
end;
end if;
-- put(outft,Bye_Bye_Message);
Close(outft);
if solsfile
then len := Length_Of(refsols);
if len > 0
then put(solsft,len,Head_Of(refsols).n,refsols);
end if;
Close(solsft);
end if;
end mainpoco;