Return to generic_laur_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_laur_system_functions.ads, Revision 1.1.1.1

1.1       maekawa     1: with Abstract_Ring;
                      2: with Abstract_Ring.Field;
                      3: with Generic_Vectors,Generic_VecVecs;
                      4: with Generic_Laurent_Polynomials;
                      5: with Generic_Laur_Poly_Functions;
                      6: with Generic_Laur_Poly_Systems;
                      7:
                      8: generic
                      9:
                     10:   with package Ring is new Abstract_Ring(<>);
                     11:   with package Field is new Ring.Field(<>);
                     12:   with package Vectors is new Generic_Vectors(Ring);
                     13:   with package VecVecs is new Generic_VecVecs(Ring,Vectors);
                     14:   with package Polynomials is new Generic_Laurent_Polynomials(Ring);
                     15:   with package Poly_Functions is
                     16:          new Generic_Laur_Poly_Functions(Ring,Field,Vectors,Polynomials);
                     17:   with package Poly_Systems is
                     18:          new Generic_Laur_Poly_Systems(Ring,Polynomials);
                     19:
                     20: package Generic_Laur_System_Functions is
                     21:
                     22: -- DESCRIPTION :
                     23: --   This package provides data structures and evaluation functions for
                     24: --   systems of Laurent polynomials.
                     25:
                     26:   use Ring,Field,Vectors,VecVecs,Poly_Functions,Poly_Systems;
                     27:
                     28: -- FUNCTION TYPE :
                     29:
                     30:   type Evaluator is access function ( x : Vector ) return Vector;
                     31:
                     32: -- DATA STRUCTURES :
                     33:
                     34:   type Eval_Laur_Sys is array ( integer range <> ) of Eval_Poly;
                     35:   type Eval_Coeff_Laur_Sys is array ( integer range <> ) of Eval_Coeff_Poly;
                     36:
                     37: -- CREATORS :
                     38:
                     39:   function Create ( p : Laur_Sys ) return Eval_Laur_Sys;
                     40:   function Create ( p : Laur_Sys ) return Eval_Coeff_Laur_Sys;
                     41:
                     42: -- EVALUATORS :
                     43:
                     44:   function Eval ( p : Laur_Sys; x : number; i : natural ) return Laur_Sys;
                     45:   function Eval ( p : Laur_Sys; x : Vector ) return Vector;
                     46:   function Eval ( p : Eval_Laur_Sys; x : Vector ) return Vector;
                     47:   function Eval ( p : Eval_Coeff_Laur_Sys; c : VecVec; x : Vector )
                     48:                 return Vector;
                     49:
                     50: -- DESTRUCTORS :
                     51:
                     52:   procedure Clear ( p : in out Eval_Laur_Sys );
                     53:   procedure Clear ( p : in out Eval_Coeff_Laur_Sys );
                     54:
                     55: end Generic_Laur_System_Functions;