Return to driver_for_winding_numbers.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Continuation/driver_for_winding_numbers.ads, 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_Solutions;         use Standard_Complex_Solutions;
                      4:
                      5: procedure Driver_for_Winding_Numbers
                      6:              ( file : in file_type; p : in Poly_Sys;
                      7:                sols : in out Solution_List );
                      8:
                      9: -- DESCRIPTION :
                     10: --   Interactive driver for the computation of winding numbers.
                     11: --   The user will be asked to define a homotopy.
                     12:
                     13: -- ON ENTRY :
                     14: --   file       file to write intermediate results on;
                     15: --   p          a polynomial system;
                     16: --   sols       solution list, with t < target value for continuation.
                     17:
                     18: -- ON RETURN :
                     19: --   sols       refined solution list with appropriate winding number.