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     ! 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;