with text_io;                            use text_io;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;

package Standard_Evaluator_Packages is

-- DESCRIPTION :
--   Provides creators of a package to evaluate a system and its Jacobian.

-- PRIMITIVE OPERATIONS :

  procedure Replace_Symbols;

  -- DESCRIPTION :
  --   Replaces all symbols in the symbol table with vector entries:
  --   x(1), x(2), up to x(n).

  procedure Create_Inline_System_Evaluator
               ( file : in file_type; funname : in String; p : in Poly_Sys );

  -- DESCRIPTION :
  --   Writes the body of a function for an evaluator for p on file.
  --   The name of the function is parametrized by "funname".

  procedure Create_Inline_Jacobian_Evaluator
               ( file : in file_type; funname : in String; p : in Poly_Sys );

  -- DESCRIPTION :
  --   Writes the body of a function to evaluate the Jacobian matrix of
  --   p on file.  The name of the function is parametrized by "funname".

  function Read_Package_Name return String;

  -- DESCRIPTION :
  --   Reads the package name from standard input and returns the string.

-- TARGET ROUTINES :

  procedure Create ( packname : in String; p : in Poly_Sys );

  -- DESCRIPTION :
  --   Creates a package with name packname to evaluate p and its
  --   Jacobian matrix.

  procedure Create ( p : in Poly_Sys );

  -- DESCRIPTION :
  --   Creates a package to evaluate the system p and its Jacobian matrix.
  --   The package name will be read and the file will be created.

end Standard_Evaluator_Packages;