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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>