Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_evaluator_packages.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
3:
4: package Standard_Evaluator_Packages is
5:
6: -- DESCRIPTION :
7: -- Provides creators of a package to evaluate a system and its Jacobian.
8:
9: -- PRIMITIVE OPERATIONS :
10:
11: procedure Replace_Symbols;
12:
13: -- DESCRIPTION :
14: -- Replaces all symbols in the symbol table with vector entries:
15: -- x(1), x(2), up to x(n).
16:
17: procedure Create_Inline_System_Evaluator
18: ( file : in file_type; funname : in String; p : in Poly_Sys );
19:
20: -- DESCRIPTION :
21: -- Writes the body of a function for an evaluator for p on file.
22: -- The name of the function is parametrized by "funname".
23:
24: procedure Create_Inline_Jacobian_Evaluator
25: ( file : in file_type; funname : in String; p : in Poly_Sys );
26:
27: -- DESCRIPTION :
28: -- Writes the body of a function to evaluate the Jacobian matrix of
29: -- p on file. The name of the function is parametrized by "funname".
30:
31: function Read_Package_Name return String;
32:
33: -- DESCRIPTION :
34: -- Reads the package name from standard input and returns the string.
35:
36: -- TARGET ROUTINES :
37:
38: procedure Create ( packname : in String; p : in Poly_Sys );
39:
40: -- DESCRIPTION :
41: -- Creates a package with name packname to evaluate p and its
42: -- Jacobian matrix.
43:
44: procedure Create ( p : in Poly_Sys );
45:
46: -- DESCRIPTION :
47: -- Creates a package to evaluate the system p and its Jacobian matrix.
48: -- The package name will be read and the file will be created.
49:
50: end Standard_Evaluator_Packages;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>