Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/total_degree_start_systems.ads, Revision 1.1.1.1
1.1 maekawa 1: with Standard_Complex_Vectors; use Standard_Complex_Vectors;
2: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
3: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
4:
5: package Total_Degree_Start_Systems is
6:
7: -- DESCRIPTION :
8: -- This package constructs the start system based on the total degree.
9:
10: procedure Total_Degree_Info;
11:
12: -- DESCRIPTION :
13: -- Displays information about the total degree on screen.
14:
15: procedure Start_System
16: ( p : in Poly_Sys; q : in out Poly_Sys; c : in Vector;
17: qsols : in out Solution_List);
18:
19: -- ON ENTRY :
20: -- p the polynomial system that has to be solved;
21: -- c a vector with constants.
22:
23: -- ON RETURN :
24: -- q the start system, with for i in q'range :
25: -- q(i) = x_i^Degree(p(i)) - c(i);
26: -- qsols the solutions of the start system.
27:
28: procedure Start_System
29: ( p : in Poly_Sys; q : in out Poly_Sys;
30: qsols : in out Solution_List );
31:
32: -- DESCRIPTION :
33: -- The meaning of the parameters is here the same, except that instead
34: -- of the vector c, a random number generator will be used for choosing
35: -- the c(i)'s on the unit circle.
36:
37: end Total_Degree_Start_Systems;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>