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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>