Annotation of OpenXM_contrib/PHC/Ada/Homotopy/drivers_for_homotopy_creation.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Standard_Complex_Numbers; use Standard_Complex_Numbers;
3: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
4: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
5:
6: package Drivers_for_Homotopy_Creation is
7:
8: -- DESCRIPTION :
9: -- Menu-driven creation of an artificial-parameter polynomial homotopy.
10:
11: procedure Default_Homotopy_Settings
12: ( k : out positive; a,t : out Complex_Number );
13: procedure Default_Homotopy_Settings
14: ( k : out positive; a,t : out Complex_Number;
15: proj : out boolean );
16:
17: -- DESCRIPTION :
18: -- Sets the default settings of the homotopy parameters.
19:
20: -- ON RETURN :
21: -- k relaxation constant, by default equals 2;
22: -- a randomly chosen complex number of radius 1;
23: -- t 1 is default target value of the continuation parameter;
24: -- proj no projective transformation, proj = false.
25:
26: procedure Menu_for_Homotopy_Settings
27: ( file : in file_type; k : in out positive;
28: a,t : in out Complex_Number; proj : in out boolean );
29: procedure Menu_for_Homotopy_Settings
30: ( file : in file_type; k : in out positive;
31: a,t : in out Complex_Number );
32:
33: -- DESCRIPTION :
34: -- Interactive setting of the homotopy parameters.
35: -- If proj is left out, then no projective transformation is set.
36:
37: procedure Driver_for_Homotopy_Construction
38: ( file : in file_type; p,q : in out Poly_Sys;
39: qsols : in out Solution_List; target : out Complex_Number );
40:
41: -- DESCRIPTION :
42: -- This is an interactive driver for the construction of an artificial
43: -- parameter homotopy. The user can ask to homogenize the polynomial
44: -- system and can determine the homotopy parameters and the target
45: -- value for the continuation parameter.
46: -- This target value is returned as output.
47: -- Note that the starting value for the continuation parameter is stored
48: -- with the solutions.
49:
50: end Drivers_for_Homotopy_Creation;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>