Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/generic_poly_system_functions.ads, Revision 1.1.1.1
1.1 maekawa 1: with Abstract_Ring;
2: with Generic_Vectors,Generic_VecVecs;
3: with Generic_Polynomials;
4: with Generic_Polynomial_Functions;
5: with Generic_Polynomial_Systems;
6:
7: generic
8:
9: with package Ring is new Abstract_Ring(<>);
10: with package Vectors is new Generic_Vectors(Ring);
11: with package VecVecs is new Generic_VecVecs(Ring,Vectors);
12: with package Polynomials is new Generic_Polynomials(Ring);
13: with package Poly_Functions is
14: new Generic_Polynomial_Functions(Ring,Vectors,Polynomials);
15: with package Poly_Systems is
16: new Generic_Polynomial_Systems(Ring,Polynomials);
17:
18: package Generic_Poly_System_Functions is
19:
20: -- DESCRIPTION :
21: -- This package provides data structures and evaluation functions for
22: -- systems of polynomials.
23:
24: use Ring,Vectors,VecVecs,Poly_Functions,Poly_Systems;
25:
26: -- FUNCTION TYPE :
27:
28: type Evaluator is access function ( x : Vector ) return Vector;
29:
30: -- DATA STRUCTURES :
31:
32: type Eval_Poly_Sys is array ( integer range <> ) of Eval_Poly;
33: type Eval_Coeff_Poly_Sys is array ( integer range <> ) of Eval_Coeff_Poly;
34:
35: -- CREATORS :
36:
37: function Create ( p : Poly_Sys ) return Eval_Poly_Sys;
38: function Create ( p : Poly_Sys ) return Eval_Coeff_Poly_Sys;
39:
40: -- EVALUATORS :
41:
42: function Eval ( p : Poly_Sys; x : number; i : natural ) return Poly_Sys;
43: function Eval ( p : Poly_Sys; x : Vector ) return Vector;
44: function Eval ( p : Eval_Poly_Sys; x : Vector ) return Vector;
45: function Eval ( p : Eval_Coeff_Poly_Sys; c : VecVec; x : Vector )
46: return Vector;
47:
48: -- DESTRUCTORS :
49:
50: procedure Clear ( p : in out Eval_Poly_Sys );
51: procedure Clear ( p : in out Eval_Coeff_Poly_Sys );
52:
53: end Generic_Poly_System_Functions;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>