Return to driver_for_root_refining.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/driver_for_root_refining.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Complex_Vectors;           use Standard_Complex_Vectors;
        !             3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             4: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
        !             5:
        !             6: procedure Driver_for_Root_Refining
        !             7:               ( file : in file_type; scalp,p : in Poly_Sys; basis : in natural;
        !             8:                 scalvec : in Link_to_Vector; sols : in out Solution_List);
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   This is the driver for root refining after the continuation.
        !            12:
        !            13: -- ON ENTRY :
        !            14: --   file       to write diagnostics on;
        !            15: --   scalp      the scaled system;
        !            16: --   p          the original polynomial system;
        !            17: --   basis      used for scaling;
        !            18: --   scalvec    vector of coefficients used for scaling;
        !            19: --   sols       a list of solutions of scalp.
        !            20:
        !            21: -- ON RETURN :
        !            22: --   sols       the refined solutions.