Annotation of OpenXM_contrib/PHC/Ada/Homotopy/drivers_for_scaling.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Standard_Complex_Vectors; use Standard_Complex_Vectors;
3: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
4:
5: package Drivers_for_Scaling is
6:
7: -- DESCRIPTION :
8: -- This package provides driver routines to perform scaling.
9:
10: procedure Display_Info;
11:
12: -- DESCRIPTION :
13: -- Display information about the scaling procedures on screen.
14:
15: procedure Equation_Scaling
16: ( file : in file_type; p : in out Poly_Sys );
17:
18: -- DESCRIPTION :
19: -- Performs equation scaling on the the system p.
20: -- Writes timing information on file.
21:
22: procedure Variable_Scaling
23: ( file : in file_type; p : in out Poly_Sys;
24: basis : out natural; scvc : out Link_to_Vector );
25:
26: -- DESCRIPTION :
27: -- Performs variable scaling on the system p.
28: -- Writes timing information on file.
29:
30: procedure Write_Results ( file : in file_type; p : in Poly_Sys;
31: basis : in natural; scvc : in Link_to_Vector );
32:
33: -- DESCRIPTION :
34: -- Writes the results of the scaling procedure on file.
35: -- These results are the scaled system p, and in case basis /= 0,
36: -- the scaling coefficients in the vectors scvc.
37:
38: procedure Driver_for_Scaling
39: ( file : in file_type; p : in out Poly_Sys;
40: basis : out natural; scvc : out Link_to_Vector );
41:
42: -- DESCRIPTION :
43: -- This is an interactive driver for phc running in full mode.
44:
45: -- ON ENTRY :
46: -- file file to write intermediate results and diagnostics on;
47: -- p a polynomial system.
48:
49: -- ON RETURN :
50: -- p the scaled polynomial system;
51: -- basis number basis used for scaling, used as flag:
52: -- if basis /= 0, then variable scaling has been applied;
53: -- scvc scaling coefficients, only /= null when basis /= 0.
54:
55: end Drivers_for_Scaling;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>