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