Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/multi_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:
4: package Multi_Homogeneous_Start_Systems is
5:
6: -- DESCRIPTION :
7: -- This package contains a routine for the construction
8: -- of random product start systems.
9:
10: procedure RPQ ( p : in Poly_Sys; q : out Poly_Sys;
11: sols : in out Solution_List; nl : out natural );
12:
13: -- DESCRIPTION :
14: -- This routine constructs a start system q with the same structure
15: -- as the system p.
16: -- Solving q happens by factoring all possible linear systems.
17:
18: -- ON ENTRY :
19: -- p a polynomial system.
20:
21: -- ON RETURN :
22: -- q a suitable start system for p;
23: -- sols the solutions of the start system;
24: -- nl the number of matrices that are factored.
25:
26: procedure GBQ ( p : in Poly_Sys; q : out Poly_Sys;
27: sols : in out Solution_List );
28:
29: -- DESCRIPTION :
30: -- This routine constructs a start system q with the same structure
31: -- as the system p.
32: -- Solving q happens by factoring only these linear systems that
33: -- correspond to admissible products.
34:
35: -- ON ENTRY :
36: -- p a polynomial system.
37:
38: -- ON RETURN :
39: -- q a suitable start system for p;
40: -- sols the solutions of the start system.
41:
42: end Multi_Homogeneous_Start_Systems;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>