Return to interpolating_homotopies_driver.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/interpolating_homotopies_driver.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: with Partitions_of_Sets_of_Unknowns;     use Partitions_of_Sets_of_Unknowns;
                      5:
                      6: procedure Interpolating_Homotopies_Driver
                      7:               ( file : in file_type; p : in Poly_Sys; z : in Partition;
                      8:                 b : in out natural; q : out Poly_Sys;
                      9:                 qsols : in out Solution_List );
                     10:
                     11: -- DESCRIPTION :
                     12: --   This is an interactive driver for the construction of an interpolating
                     13: --   homotopy based on an m-homogeneous Bezout number.
                     14:
                     15: -- ON ENTRY :
                     16: --   file       to write diagnostics on;
                     17: --   p          the polynomial system;
                     18: --   z          partition of the set of unknowns of p;
                     19: --   b          an m-homogeneous Bezout number.
                     20:
                     21: -- ON RETURN :
                     22: --   b          number of interpolating roots;
                     23: --   q          an m-homogeneous start system;
                     24: --   qsols      solutions of q.