Return to use_phc.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/use_phc.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      3: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
                      4: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      5: with PHCPACK;
                      6:
                      7: procedure use_phc is
                      8:
                      9:   infile,outfile : file_type;        -- input and output file
                     10:   p,q : Link_to_Poly_Sys;            -- target and start system
                     11:   mixed_volume : natural;            -- root count is mixed volume
                     12:   sols : Solution_List;              -- list of solutions
                     13:
                     14: begin
                     15:   Open(infile,in_file,"test.in");
                     16:   get(infile,p);
                     17:   Create(outfile,out_file,"test.out");
                     18:   put(outfile,p.all);
                     19:   q := new Poly_Sys(p'range);
                     20:   PHCPACK.Static_Lifting(outfile,p.all,mixed_volume,q.all,sols);
                     21:   PHCPACK.Artificial_Parameter_Continuation(outfile,p.all,q.all,sols);
                     22:   PHCPACK.Refine_Roots(outfile,p.all,sols);
                     23: end use_phc;