Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/random_product_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 Random_Product_Start_Systems is
5:
6: -- DESCRIPTION :
7: -- This package constructs a random product start
8: -- product system for a given polynomial system.
9:
10: procedure Build_Set_Structure ( p : in Poly_Sys );
11:
12: -- DESCRIPTION :
13: -- This is a heuristic procedure for constructing a supporting
14: -- set structure of the system p.
15:
16: procedure Build_Random_Product_System ( n : in natural );
17:
18: -- DESCRIPTION :
19: -- Based on the set structure, a random linear-product system
20: -- will be constructed. The result is stored in the internal
21: -- data manage by the package Random_Product_System.
22:
23: -- REQUIRED :
24: -- The set structure may not be empty.
25:
26: procedure Construct ( p : in Poly_Sys; q : in out Poly_Sys;
27: sols : in out Solution_List );
28:
29: -- DESCRIPTION :
30: -- Constructs a start system q, with more or less the same
31: -- structure as p. A heuristic procedure will be used for
32: -- constructing a supporting set structure.
33:
34: end Random_Product_Start_Systems;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>