Return to drivers_for_m_homogenization.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/drivers_for_m_homogenization.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:
        !             5: package Drivers_for_m_Homogenization is
        !             6:
        !             7:   procedure m_Homogenization_Info;
        !             8:
        !             9:   -- DESCRIPTION :
        !            10:   --   Displays information about m-homogenization on screen.
        !            11:
        !            12:   procedure Driver_for_m_Homogenization
        !            13:                 ( file : in file_type; p : in Poly_Sys; b : in out natural;
        !            14:                   q : out Poly_Sys; qsols : out Solution_List );
        !            15:
        !            16:   -- DESCRIPTION :
        !            17:   --   Computation of an m-homogeneous Bezout number with the option
        !            18:   --   of constructing an m-homogeneous start system.
        !            19:
        !            20:   -- ON ENTRY :
        !            21:   --   file       output file;
        !            22:   --   p          a polynomial system.
        !            23:
        !            24:   -- ON RETURN :
        !            25:   --   b          m-homogeneous Bezout number;
        !            26:   --   q          m-homogeneous start system;
        !            27:   --   qsols      solutions of q.
        !            28:
        !            29: end Drivers_for_m_Homogenization;