Return to drivers_for_multi_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_multi_homogenization.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: package Drivers_for_Multi_Homogenization is
                      6:
                      7:   procedure Multi_Homogenization_Info;
                      8:
                      9:   -- DESCRIPTION :
                     10:   --   Displays information about multi-homogenization on screen.
                     11:
                     12:   procedure Driver_for_Multi_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:   --   This is an interactive driver for multi-homogenization.
                     18:
                     19:   -- ON ENTRY :
                     20:   --   file      to write diagnostics on;
                     21:   --   p         a polynomial system.
                     22:
                     23:   -- ON RETURN :
                     24:   --   b         a bound based on the degree structure;
                     25:   --   q         a random product start system;
                     26:   --   qsols     the solutions of q.
                     27:
                     28: end Drivers_for_Multi_Homogenization;