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     ! 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;