![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials / generic_poly_system_functions.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:26 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Abstract_Ring; with Generic_Vectors,Generic_VecVecs; with Generic_Polynomials; with Generic_Polynomial_Functions; with Generic_Polynomial_Systems; generic with package Ring is new Abstract_Ring(<>); with package Vectors is new Generic_Vectors(Ring); with package VecVecs is new Generic_VecVecs(Ring,Vectors); with package Polynomials is new Generic_Polynomials(Ring); with package Poly_Functions is new Generic_Polynomial_Functions(Ring,Vectors,Polynomials); with package Poly_Systems is new Generic_Polynomial_Systems(Ring,Polynomials); package Generic_Poly_System_Functions is -- DESCRIPTION : -- This package provides data structures and evaluation functions for -- systems of polynomials. use Ring,Vectors,VecVecs,Poly_Functions,Poly_Systems; -- FUNCTION TYPE : type Evaluator is access function ( x : Vector ) return Vector; -- DATA STRUCTURES : type Eval_Poly_Sys is array ( integer range <> ) of Eval_Poly; type Eval_Coeff_Poly_Sys is array ( integer range <> ) of Eval_Coeff_Poly; -- CREATORS : function Create ( p : Poly_Sys ) return Eval_Poly_Sys; function Create ( p : Poly_Sys ) return Eval_Coeff_Poly_Sys; -- EVALUATORS : function Eval ( p : Poly_Sys; x : number; i : natural ) return Poly_Sys; function Eval ( p : Poly_Sys; x : Vector ) return Vector; function Eval ( p : Eval_Poly_Sys; x : Vector ) return Vector; function Eval ( p : Eval_Coeff_Poly_Sys; c : VecVec; x : Vector ) return Vector; -- DESTRUCTORS : procedure Clear ( p : in out Eval_Poly_Sys ); procedure Clear ( p : in out Eval_Coeff_Poly_Sys ); end Generic_Poly_System_Functions;