![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials / generic_laur_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 Abstract_Ring.Field; with Generic_Vectors,Generic_VecVecs; with Generic_Laurent_Polynomials; with Generic_Laur_Poly_Functions; with Generic_Laur_Poly_Systems; generic with package Ring is new Abstract_Ring(<>); with package Field is new Ring.Field(<>); with package Vectors is new Generic_Vectors(Ring); with package VecVecs is new Generic_VecVecs(Ring,Vectors); with package Polynomials is new Generic_Laurent_Polynomials(Ring); with package Poly_Functions is new Generic_Laur_Poly_Functions(Ring,Field,Vectors,Polynomials); with package Poly_Systems is new Generic_Laur_Poly_Systems(Ring,Polynomials); package Generic_Laur_System_Functions is -- DESCRIPTION : -- This package provides data structures and evaluation functions for -- systems of Laurent polynomials. use Ring,Field,Vectors,VecVecs,Poly_Functions,Poly_Systems; -- FUNCTION TYPE : type Evaluator is access function ( x : Vector ) return Vector; -- DATA STRUCTURES : type Eval_Laur_Sys is array ( integer range <> ) of Eval_Poly; type Eval_Coeff_Laur_Sys is array ( integer range <> ) of Eval_Coeff_Poly; -- CREATORS : function Create ( p : Laur_Sys ) return Eval_Laur_Sys; function Create ( p : Laur_Sys ) return Eval_Coeff_Laur_Sys; -- EVALUATORS : function Eval ( p : Laur_Sys; x : number; i : natural ) return Laur_Sys; function Eval ( p : Laur_Sys; x : Vector ) return Vector; function Eval ( p : Eval_Laur_Sys; x : Vector ) return Vector; function Eval ( p : Eval_Coeff_Laur_Sys; c : VecVec; x : Vector ) return Vector; -- DESTRUCTORS : procedure Clear ( p : in out Eval_Laur_Sys ); procedure Clear ( p : in out Eval_Coeff_Laur_Sys ); end Generic_Laur_System_Functions;