Return to generic_poly_system_functions.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials

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;