Return to use_phc.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Main |
File: [local] / OpenXM_contrib / PHC / Ada / Main / use_phc.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:23 2000 UTC (23 years, 11 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; 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 PHCPACK; procedure use_phc is infile,outfile : file_type; -- input and output file p,q : Link_to_Poly_Sys; -- target and start system mixed_volume : natural; -- root count is mixed volume sols : Solution_List; -- list of solutions begin Open(infile,in_file,"test.in"); get(infile,p); Create(outfile,out_file,"test.out"); put(outfile,p.all); q := new Poly_Sys(p'range); PHCPACK.Static_Lifting(outfile,p.all,mixed_volume,q.all,sols); PHCPACK.Artificial_Parameter_Continuation(outfile,p.all,q.all,sols); PHCPACK.Refine_Roots(outfile,p.all,sols); end use_phc;