Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/generic_poly_system_functions.ads, Revision 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>