Return to standard_evaluator_packages.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials

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;