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