Return to m_homogeneous_start_systems.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/m_homogeneous_start_systems.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      2: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      3: with Partitions_of_Sets_of_Unknowns;     use Partitions_of_Sets_of_Unknowns;
                      4:
                      5: package m_Homogeneous_Start_Systems is
                      6:
                      7: -- DESCRIPTION :
                      8: --   the purpose of this package is to provide a routine
                      9: --   for the automatic construction of a m-homomogeneous
                     10: --   start system, given a partition of the set of unknowns.
                     11:
                     12:   procedure m_Homogeneous_Start_System
                     13:                  ( p : in Poly_Sys; z : in Partition;
                     14:                    q : out Poly_Sys; qsols : in out Solution_List );
                     15:
                     16:   -- ON ENTRY :
                     17:   --   p           polynomial system;
                     18:   --   z           partition of the set of unknowns.
                     19:
                     20:   -- ON RETURN :
                     21:   --   q           an m-homogeneous start system;
                     22:   --   qsols       the solutions of the start system q.
                     23:
                     24: end m_Homogeneous_Start_Systems;