Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/drivers_for_lifting_functions.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Standard_Integer_VecVecs;
3: with Standard_Floating_VecVecs;
4: with Lists_of_Integer_Vectors;
5: with Lists_of_Floating_Vectors;
6: with Arrays_of_Integer_Vector_Lists;
7: with Arrays_of_Floating_Vector_Lists;
8: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
9:
10: package Drivers_for_Lifting_Functions is
11:
12: function Read_Integer_Lifting
13: ( l : Lists_of_Integer_Vectors.List )
14: return Lists_of_Integer_Vectors.List;
15:
16: -- DESCRIPTION : interactive point-wise lifting of a list.
17: -- Returns the list of lifted points.
18:
19: function Read_Float_Lifting
20: ( l : Lists_of_Floating_Vectors.List )
21: return Lists_of_Floating_Vectors.List;
22:
23: -- DESCRIPTION : interactive point-wise lifting of a list.
24: -- Returns the list of lifted points.
25:
26: procedure Driver_for_Lifting_Functions
27: ( file : in file_type; p : in Poly_Sys;
28: points : in Arrays_of_Integer_Vector_Lists.Array_of_Lists;
29: lifted : in out Arrays_of_Integer_Vector_Lists.Array_of_Lists;
30: lilifu : in out Standard_Integer_VecVecs.Link_to_VecVec );
31:
32: -- DESCRIPTION :
33: -- Displays the menu with the available lifting functions and
34: -- performs the selected integer lifting function.
35:
36: -- NOTE : it is assumed that different supports are submitted.
37:
38: -- ON ENTRY :
39: -- file file that must be opened for output;
40: -- p polynomial system;
41: -- points supports of the system p.
42:
43: -- ON RETURN :
44: -- lifted the lifted support sets;
45: -- lilifu vectors used for linear lifting, otherwise lilifu = null.
46:
47: procedure Driver_for_Lifting_Functions
48: ( file : in file_type; p : in Poly_Sys;
49: points : in Arrays_of_Floating_Vector_Lists.Array_of_Lists;
50: lifted : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
51: lilifu : in out Standard_Floating_VecVecs.Link_to_VecVec );
52:
53: -- DESCRIPTION :
54: -- Displays the menu with the available lifting functions and
55: -- performs the selected floating-point lifting function.
56:
57: -- NOTE : it is assumed that different supports are submitted.
58:
59: -- ON ENTRY :
60: -- file file that must be opened for output;
61: -- p polynomial system;
62: -- points supports of the system p.
63:
64: -- ON RETURN :
65: -- lifted the lifted support sets;
66: -- lilifu vectors used for linear lifting, otherwise lilifu = null.
67:
68: procedure Driver_for_Lifting_Functions
69: ( file : in file_type; p : in Poly_Sys;
70: ipoints : in Arrays_of_Integer_Vector_Lists.Array_of_Lists;
71: fltlif : out boolean;
72: fpoints : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
73: ilifted : in out Arrays_of_Integer_Vector_Lists.Array_of_Lists;
74: flifted : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
75: ililifu : in out Standard_Integer_VecVecs.Link_to_VecVec;
76: flilifu : in out Standard_Floating_VecVecs.Link_to_VecVec );
77:
78: -- DESCRIPTION :
79: -- The user has the choice for integer or floating-point lifting.
80: -- On return, output parameter fltlif is true if the user wants
81: -- floating-point lifting and false otherwise.
82: -- Depending on fltlif, the appropriate parameters are determined.
83:
84: end Drivers_for_Lifting_Functions;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>